E-LIB Suche - Ergebnisse für: Liquori, L

1

Design and Evaluation of a Prototype of Dual Channel Electr..:

, In: Smart Technologies, Systems and Applications; Communications in Computer and Information Science,

Molina-Vidal, D. A. ; Cevallos Larrea, P. ; Guambaña Calle, L... - p. 342-355 , 2023

Link: https://doi.org/10.1007/..

2

Correction to: Design and Evaluation of a Prototype of Dual..:

, In: Smart Technologies, Systems and Applications; Communications in Computer and Information Science,

Molina-Vidal, D. A. ; Cevallos Larrea, P. ; Guambaña Calle, L... - p. C1-C1 , 2023

Link: https://doi.org/10.1007/..

3

A Network Aware Resource Discovery Service:

, In: Computer Performance Engineering; Lecture Notes in Computer Science,

Liquori, Luigi ; Gaeta, Rossano ; Sereno, Matteo - p. 84-99 , 2020

Link: https://doi.org/10.1007/..

4

Towards a Logical Framework with Intersection and Union Typ..:

, In: Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice,

Stolze, Claude ; Liquori, Luigi ; Honsell, Furio. - p. 1-9 , 2017

Link: https://dl.acm.org/doi/1..

5

A backward-compatible protocol for inter-routing over heter..:

, In: Proceedings of the 28th Annual ACM Symposium on Applied Computing,

Hoang, Giang Ngo ; Liquori, Luigi ; Ciancaglini, Vincenzo.. - p. 649-651 , 2013

Link: https://dl.acm.org/doi/1..

6

LFP : a logical framework with external predicates:

, In: Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice,

Honsell, Furio ; Lenisa, Marina ; Liquori, Luigi.. - p. 13-22 , 2012

Link: https://dl.acm.org/doi/1..

7

iRho : an imperative rewriting calculus:

, In: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming,

Liquori, Luigi ; Serpette, Bernard Paul - p. 167-178 , 2004

Link: https://dl.acm.org/doi/1..

8

Pure patterns type systems:

, In: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Barthe, Gilles ; Cirstea, Horatiu ; Kirchner, Claude. - p. 250-261 , 2003

Link: https://dl.acm.org/doi/1..

9

Reasoning on an imperative object-based calculus in Higher ..:

, In: Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding,

Ciaffaglione, Alberto ; Liquori, Luigi ; Miculan, Marino - p. 1-10 , 2003

Link: https://dl.acm.org/doi/1..

10

A lambda calculus of objects with self-inflicted extension:

, In: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications,

Di Gianantonio, Pietro ; Honsell, Furio ; Liquori, Luigi - p. 166-178 , 1998

Link: https://dl.acm.org/doi/1..

11

Vector DNF for Datasets Classifications: Application to the..:

, In: Mathematical Methods for Knowledge Discovery and Data Mining,

Liquori, Massimo ; Scozzari, Andrea ,

Link: https://doi.org/10.4018/..