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

1

Federating digital contact tracing using structured overlay..:

Ghilezan, Silvia ; Kasterovic, Simona ; Liquori, Luigi...
Computer Science and Information Systems. 19 (2022) 3 - p. 1261-1282 , 2022

Link: https://doi.org/10.2298/..

2

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/..

3

Plugging-in proof development environments usingLocksinLF:

HONSELL, FURIO ; LIQUORI, LUIGI ; MAKSIMOVIĆ, PETAR.
Mathematical Structures in Computer Science. 28 (2018) 9 - p. 1578-1605 , 2018

Link: https://doi.org/10.1017/..

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

Analyzing the exhaustiveness of the Synapse protocol:

Marinković, Bojan ; Ciancaglini, Vincenzo ; Ognjanović, Zoran...
Peer-to-Peer Networking and Applications. 8 (2014) 5 - p. 793-806 , 2014

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

6

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..

7

An open logical framework:

Honsell, Furio ; Lenisa, Marina ; Scagnetto, Ivan..
Journal of Logic and Computation. 26 (2013) 1 - p. 293-335 , 2013

Link: https://doi.org/10.1093/..

8

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..

9

FeatherTrait : A modest extension of Featherweight Java:

Liquori, Luigi ; Spiwack, Arnaud
ACM Transactions on Programming Languages and Systems (TOPLAS). 30 (2008) 2 - p. 1-32 , 2008

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

10

Extending FeatherTrait Java with Interfaces:

Liquori, Luigi ; Spiwack, Arnaud
Theoretical Computer Science. 398 (2008) 1-3 - p. 243-260 , 2008

Link: https://doi.org/10.1016/..

11

Powerful resource discovery for Arigatoni overlay network:

Chand, Raphael ; Cosnard, Michel ; Liquori, Luigi
Future Generation Computer Systems. 24 (2008) 1 - p. 31-38 , 2008

Link: https://doi.org/10.1016/..

12

iRho: an imperative rewriting calculus:

LIQUORI, LUIGI ; SERPETTE, BERNARD PAUL
Mathematical Structures in Computer Science. 18 (2008) 3 - p. 467-500 , 2008

Link: https://doi.org/10.1017/..

13

FeatherTrait: A modest extension of Featherweight Java:

Liquori, Luigi ; Spiwack, Arnaud
ACM Transactions on Programming Languages and Systems. 30 (2008) 2 - p. 1-32 , 2008

Link: https://doi.org/10.1145/..

14

A Framework for Defining Logical Frameworks:

Honsell, Furio ; Lenisa, Marina ; Liquori, Luigi
Electronic Notes in Theoretical Computer Science. 172 (2007) - p. 399-436 , 2007

Link: https://doi.org/10.1016/..

15

Reasoning about Object-based Calculi in (Co)Inductive Type ..:

Ciaffaglione, Alberto ; Liquori, Luigi ; Miculan, Marino
Journal of Automated Reasoning. 39 (2007) 1 - p. 1-47 , 2007

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