
Luigi Liquori
126
Documents
Publications
Publications
|
How Research meets Standardization: the Asynchronous Contact Tracing ETSI Standard and the PANDESYS Research ActivityEnjoy ! the ETSI Mag, 2023, janvier
Article dans une revue
hal-03940889
v1
|
|
Federating Digital Contact Tracing using Structured Overlay NetworksComputer Science and Information Systems, 2022, Special Issue on Compilers, Languages, Related Technologies, and Applications, 19 (3), pp.1261-1282. ⟨10.2298/CSIS210825029G⟩
Article dans une revue
hal-03127890
v4
|
|
A prototype-based approach to object evolutionThe Journal of Object Technology, 2021, 20 (2), pp.2:1--24. ⟨10.5381/jot.2021.20.2.a4⟩
Article dans une revue
hal-01646168
v6
|
|
Plugging-in Proof Development Environments using Locks in LFMathematical Structures in Computer Science, 2018, 28 (9), pp.1578--1605
Article dans une revue
hal-01272647
v1
|
|
LLFP : A Logical Framework for modeling External Evidence, Side Conditions, and Proof Irrelevance using MonadsLogical Methods in Computer Science, 2017, Special Issue in honor of Pierre Louis Curien
Article dans une revue
hal-01146059
v2
|
|
Analyzing the exhaustiveness of the synapse protocolPeer-to-Peer Networking and Applications, 2015, Includes a Special Issue on Cloud, Grid, P2P, and Internet Computing, 8 (5), pp.793--806. ⟨10.1007/s12083-014-0293-z⟩
Article dans une revue
hal-01146050
v1
|
|
An Open Logical FrameworkJournal of Logic and Computation, 2013, 25 (2), 43 p. ⟨10.1093/logcom/ext028⟩
Article dans une revue
hal-00906391
v1
|
|
FeatherTrait: A Modest Extension of Featherweight JavaACM Transactions on Programming Languages and Systems (TOPLAS), 2008, ACM Transactions on Programming Languages and Systems (TOPLAS), 30 (2), pp.11:1--11:32. ⟨10.1145/1330017.1330022⟩
Article dans une revue
inria-00432538
v1
|
|
Powerful Resource Discovery for Arigatoni Overlay NetworkFuture Generation Computer Systems, 2008, Future Generation Computer Systems, FGCS, 24 (1), pp.31-48. ⟨10.1016/j.future.2007.02.009⟩
Article dans une revue
hal-00909630
v1
|
|
iRho: An Imperative Rewriting-calculusMathematical Structures in Computer Science, 2008, 18 (03), pp.467-500. ⟨10.1017/S0960129508006750⟩
Article dans une revue
hal-01147678
v1
|
|
Extending FeatherTrait Java with InterfacesTheoretical Computer Science, 2008, Theoretical Computer Science, 30 (1-3), pp.243-260. ⟨10.1016/j.tcs.2008.01.051⟩
Article dans une revue
inria-00432540
v1
|
|
A Framework for Defining Logical FrameworksElectronic Notes in Theoretical Computer Science, 2007, In Computation, Meaning and Logic. ENTCS, Special issue, dedicated to Gordon D. Plotkin, on the occasion of his 60th birthday, 172, pp.399-436. ⟨10.1016/j.entcs.2007.02.014⟩
Article dans une revue
hal-01148312
v1
|
|
Intersection-types à la ChurchInformation and Computation, 2007, 205 (9), pp.1371-1386. ⟨10.1016/j.ic.2007.03.005⟩
Article dans une revue
hal-01148282
v1
|
|
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of ContextsJournal of Automated Reasoning, 2007, Journal of Automated Reasoning, 39 (1), pp.1-47. ⟨10.1007/s10817-006-9061-y⟩
Article dans une revue
hal-01148347
v1
|
|
Addressed term rewriting systems: application to a typed object calculusMathematical Structures in Computer Science, 2006, 16 (issue 4), pp.667-709. ⟨10.1017/S096012950600541X⟩
Article dans une revue
hal-01148846
v1
|
|
Review: Formal Methods for Open Object-Based Distributed Systems VThe Computer Journal, 2003, 46 (6), pp.661. ⟨10.1093/comjnl/46.6.661⟩
Article dans une revue
hal-01149616
v1
|
|
Object calculi in linear logicJournal of Logic and Computation, 2000, 10 (1), pp.75-104. ⟨10.1093/logcom/10.1.75⟩
Article dans une revue
istex
hal-01152636
v1
|
|
A Subtyping for Extensible, Incomplete ObjectsFundamenta Informaticae, 1999, 38 (4), pp.325--364
Article dans une revue
hal-01153734
v1
|
|
Comparing cubes of typed and type assignment systemsAnnals of Pure and Applied Logic, 1997, 86 Issue 3, pp.267-303. ⟨10.1016/S0168-0072(96)00036-X⟩
Article dans une revue
hal-01154638
v1
|
|
Multi-layered Model for Performance Evaluation of oneM2M-based IoT SolutionIFIP-IoT Conference 2024 - 7th IFIP WG 5.5 International Cross-Domain Conference on Internet of Things, Université Côte d'Azur; IFIP, Nov 2024, Nice, France. ⟨10.1007/978-3-031-81900-1_5⟩
Communication dans un congrès
hal-04749511
v1
|
|
A Type Checker for a Logical Framework with Union and Intersection TypesFSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. ⟨10.4230/LIPIcs.FSCD.2020⟩
Communication dans un congrès
hal-02573605
v1
|
|
The Delta-calculus: syntax and typesFSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. ⟨10.1007/978-3-030-44411-2\_6⟩
Communication dans un congrès
hal-01963662
v1
|
|
A Network Aware Resource Discovery ServiceEPEW 2019 - 16th European Performance Engineering Workshop, Nov 2019, Milano, Italy. ⟨10.1007/978-3-030-44411-2\_6⟩
Communication dans un congrès
hal-01895452
v3
|
|
The Delta-framework38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2018, Dec 2018, Ahmedabad, India. pp.37:1--37:21, ⟨10.4230/LIPIcs.FSTTCS.2018.37⟩
Communication dans un congrès
hal-01701934
v2
|
|
A Decidable Subtyping Logic for Intersection and Union TypesTTCS 2017 - 2nd International Conference on Topics in Theoretical Computer Science, Sep 2017, Tehran, Iran. pp.74-90, ⟨10.1007/978-3-319-68953-1_7⟩
Communication dans un congrès
hal-01760641
v1
|
|
Towards a Logical Framework with Intersection and Union Types11th International Workshop on Logical Frameworks and Meta-languages, LFMTP, Sep 2017, Oxford, United Kingdom. pp.1 - 9
Communication dans un congrès
hal-01534035
v2
|
|
A Realizability Interpretation for Intersection and Union Types14th Asian Symposium on Programming Languages and Systems, Nov 2016, Hanoi, Vietnam
Communication dans un congrès
hal-01317213
v2
|
|
Implementing Cantor's Paradise14th Asian Symposium on Programming Languages and Systems, Nov 2016, Hanoi, Vietnam
Communication dans un congrès
hal-01362819
v1
|
|
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring LocksLFMTP'15. 9th International Workshop on Logical Frameworks and Meta-languages, Berlin, Germany, Aug 2015, Berlin, Germany. ⟨10.4204/EPTCS.185.1⟩
Communication dans un congrès
hal-01170029
v1
|
|
Backward-Compatible Cooperation of Heterogeneous P2P Systems15th International Conference on Distributed Computing and Networking - ICDCN 2014, Coimbatore, India, January 4-7, 2014, Jan 2014, Coimbatore, India. pp.287-301, ⟨10.1007/978-3-642-45249-9_19⟩
Communication dans un congrès
hal-00906798
v1
|
|
LaxLF: Side Conditions and External Evidence as MonadsMathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I., Aug 2014, Budapest, Hungary. pp.327-339, ⟨10.1007/978-3-662-44522-8_28⟩
Communication dans un congrès
hal-01146023
v1
|
|
LFP – A Logical Framework with External Predicates (Announcement and survey)Logic: Between Semantics and Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday, Nov 2013, Tel Aviv, Israel
Communication dans un congrès
hal-00906807
v2
|
|
Interconnection of large scale unstructured P2P networks: modeling and analysisASMTA - 20th International Conference on Analytical and Stochastic Modelling and Applications - 2013, Jul 2013, Gent, Belgium. pp.183-197, ⟨10.1007/978-3-642-39408-9_14⟩
Communication dans un congrès
hal-00906823
v2
|
|
LFP – A Logical Framework with External Predicates7th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - LFMTP 2012. Copenhagen, Denmark - September 9, 2012, Sep 2012, Copenhagen, Denmark. pp.13-22, ⟨10.1145/2364406.2364409⟩
Communication dans un congrès
hal-01146691
v1
|
|
CCN-TV: a data-centric approach to real-time video services27th International Conference on Advanced Information Networking and Applications Workshops, AINA 2013, Barcelona, Spain, March 25-28, 2013, Mar 2013, Barcelona, Spain. pp.982-989, ⟨10.1109/WAINA.2013.19⟩
Communication dans un congrès
hal-00906830
v1
|
|
A Backward-Compatible Protocol for Inter-routing over Heterogeneous Overlay Networks28th Annual ACM Symposium on Applied Computing, SAC 13, Coimbra, Portugal, ACM press, 2013., Mar 2013, coimbra, Portugal. pp.649-651, ⟨10.1145/2480362.2480485⟩
Communication dans un congrès
hal-00906835
v1
|
|
Towards a Trust and Reputation Framework for Social Web PlatformsConfederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings, Sep 2012, Rome, Italy. pp.13-22, ⟨10.1007/978-3-642-33618-8_3⟩
Communication dans un congrès
hal-00908805
v1
|
|
An Extension and Cooperation Mechanism for Heterogeneous Overlay NetworksHets-Nets. Future Heterogeneous Networks, May 2012, Prague, Czech Republic. pp.10-18, ⟨10.1007/978-3-642-30039-4_2⟩
Communication dans un congrès
hal-00909486
v1
|
|
Modeling and Analysis of Large Scale Interconnected Unstructured P2P NetworksIEEE 18th International Conference on Parallel and Distributed Systems, ICPADS, 2012, Singapore, Dec 2012, Singapore, Singapore. pp.710-711, ⟨10.1109/ICPADS.2012.107⟩
Communication dans un congrès
hal-00908800
v1
|
|
Towards a common architecture to interconnect heterogeneous overlay networksIEEE 17th International Conference on Parallel and Distributed Systems (ICPADS), 2011 & HotPOST 2011 : The Third International Workshop on Hot Topics in Peer-to-peer computing and Online Social neTworking, Dec 2011, Tainan, Taiwan. pp.817 - 822, ⟨10.1109/ICPADS.2011.139⟩
Communication dans un congrès
hal-00909477
v1
|
|
Logic and computation in a lambda calculus with intersection and union types16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers, Apr 2010, Dakar, Senegal. pp.173-191, ⟨10.1007/978-3-642-17511-4_11⟩
Communication dans un congrès
hal-00909535
v1
|
|
CarPal: interconnecting overlay networks for a community-driven shared mobilityTrustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers, Feb 2010, München, Germany. pp.301-317, ⟨10.1007/978-3-642-15640-3_20⟩
Communication dans un congrès
hal-00909531
v1
|
|
Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay NetworksNetworking 2010 - 9th International IFIP TC 6 Networking Conference, May 2010, Chennai, India. pp.67-82, ⟨10.1007/978-3-642-12963-6_6⟩
Communication dans un congrès
hal-00909544
v1
|
|
Resource Discovery in the Arigatoni Overlay Network10th International Conference on Innovative Internet Community Services (I2CS), Jubilee Edition 2010, June 3-5, 2010, Bangkok, Thailand, Jun 2010, Bangkok, Thailand. pp.437-449
Communication dans un congrès
hal-00910965
v1
|
|
Babelchord: a Social Tower of DHT-Based Overlay NetworksIEEE Symposium on Computers and Communications, 2009. ISCC 2009, Jul 2009, Sousse, Tunisia. pp.307 - 312, ⟨10.1109/ISCC.2009.5202345⟩
Communication dans un congrès
hal-00909550
v1
|
|
An Overlay Architecture for Vehicular NetworksNETWORKING 2008. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedings, May 2008, Singapore, Singapore. pp.60-71, ⟨10.1007/978-3-540-79549-0_6⟩
Communication dans un congrès
hal-00909585
v1
|
|
A Conditional Logical FrameworkLogic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, Nov 2008, Doha, Qatar. pp.143-157, ⟨10.1007/978-3-540-89439-1_10⟩
Communication dans un congrès
hal-00909574
v1
|
|
Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing SystemsTrustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, Nov 2007, Sophia-Antipolis, France. pp.90-107, ⟨10.1007/978-3-540-78663-4_8⟩
Communication dans un congrès
hal-00909592
v1
|
|
Improving Resource Discovery in the Arigatoni Overlay NetworkArchitecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings, Mar 2007, Zurich, Switzerland. pp.98-111, ⟨10.1007/978-3-540-71270-1_8⟩
Communication dans un congrès
hal-01148439
v1
|
|
Virtual Organizations in ArigatoniProceedings of the Second International Workshop on Developments in Computational Models (DCM 2006), Jul 2006, Venice, Italy. pp.55-75, ⟨10.1016/j.entcs.2006.11.035⟩
Communication dans un congrès
hal-00911535
v1
|
|
Weaving Arigatoni with a graph topology1sr International Conference on Advanced Engineering Computing and Applications in Sciences ADVCOMP 2007, Nov 2007, Papeete, French Polynesia. pp.55 - 59, ⟨10.1109/ADVCOMP.2007.11⟩
Communication dans un congrès
hal-01148523
v1
|
|
A Language for Verification and Manipulation of Web DocumentsProceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), May 2005, Valencia, Spain. pp.67-78, ⟨10.1016/j.entcs.2005.12.046⟩
Communication dans un congrès
hal-01148880
v1
|
|
Decidable Type Inference for the Polymorphic Rewriting Calculus17è Journées Francophones des Langages Applicatifs - JFLA 2006, Jan 2006, Pauillac, France. pp.57-69
Communication dans un congrès
inria-00000817
v1
|
|
Arigatoni: A Simple Programmable Overlay NetworkModern Computing, 2006. JVA '06. IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing, Oct 2006, Sofia, Bulgaria. pp.82-91, ⟨10.1109/JVA.2006.7⟩
Communication dans un congrès
hal-00911632
v1
|
|
A Lambda Calculus of incomplete objectsMathematical Foundations of Computer Science 1996. 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings, Sep 1996, Cracow, Poland. pp.218-229, ⟨10.1007/3-540-61550-4_150⟩
Communication dans un congrès
hal-01156555
v1
|
|
The Polymorphic Rewriting Calculus: Type checking vs. Type inferenceProceedings of the Fifth International Workshop on Rewriting Logic and Its Applications (WRLA 2004) Rewriting Logic and Its Applications 2004, Narciso Marti-Oliet, Mar 2004, Barcelona, Spain. pp.89-111, ⟨10.1016/j.entcs.2004.06.027⟩
Communication dans un congrès
inria-00099910
v1
|
|
iRho: the Software [System Description]Proceedings of the First International Workshop on Developments in Computational Models (DCM 2005), Developments in Computational Models 2005, Jul 2005, Lisbon, Portugal. pp.85-94, ⟨10.1016/j.entcs.2005.09.023⟩
Communication dans un congrès
hal-01148883
v1
|
|
Towards an Intersection Typed System à la ChurchProceedings of the Third International Workshop on Intersection Types and Related Systems (ITRS 2004) Intersection Types and Related Systems 2004, Jul 2004, Turku, Finland. pp.43-56, ⟨10.1016/j.entcs.2005.06.015⟩
Communication dans un congrès
hal-01149611
v1
|
|
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics [Extended Abstract]Proceedings of the 2nd International Workshop on Term Graph Rewriting (TERMGRAPH 2004), Oct 2004, Rome, Italy. pp.57-82, ⟨10.1016/j.entcs.2004.12.042⟩
Communication dans un congrès
hal-01149607
v1
|
|
iRho: An Imperative Rewriting Calculus [Extended Abstract]Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP), Aug 2004, Verona, Italy. pp.167-178, ⟨10.1145/1013963.1013983⟩
Communication dans un congrès
hal-01149659
v1
|
|
Imperative Object-Based Calculi in Co-inductive Type TheoriesLogic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings, Sep 2003, Almaty, Kazakhstan. pp.59-77, ⟨10.1007/978-3-540-39813-4_4⟩
Communication dans un congrès
hal-01149867
v1
|
|
Rewrite Strategies in the Rewriting CalculusWRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings, Jun 2003, Valencia, Spain. pp.593-624, ⟨10.1016/S1571-0661(05)82613-1⟩
Communication dans un congrès
inria-00099586
v1
|
|
Reasoning on an imperative object-based calculus in Higher Order Abstract SyntaxMERLIN '03. Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding, Aug 2003, Uppsala, Sweden. pp.1-10, ⟨10.1145/976571.976574⟩
Communication dans un congrès
hal-01149845
v1
|
|
Rewriting Calculus with Fixpoints: Untyped and First-order SystemsTypes for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers, Apr 2003, Turin, Italy. pp.147-161, ⟨10.1007/978-3-540-24849-1_10⟩
Communication dans un congrès
inria-00100113
v1
|
|
Pure Patterns Type SystemsProceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003, Jan 2003, New Orleans, United States. pp.250 - 261, ⟨10.1145/604131.604152⟩
Communication dans un congrès
inria-00099463
v2
|
|
The rho cube : some results, some problemsFirst International Workshop on Higher-Order Rewriting Copenhagen, Denmark, July 21st, 2002 Affiliated with RTA 2002, D. Kesner, T. Nipkow and F. van Raamsdonk, Jul 2002, Copenhague, Denmark
Communication dans un congrès
inria-00099411
v1
|
|
Rewriting Calculus with(out) TypesWRLA 2002, 4th International Workshop on Rewriting Logic and Its Applications, Pisa, Italy 19–21 September 2002, Sep 2002, Pisa, Italy. pp.3-19, ⟨10.1016/S1571-0661(05)82526-5⟩
Communication dans un congrès
inria-00100858
v1
|
|
Matching Power12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings, May 2001, Utrecht, Netherlands. pp.77-92, ⟨10.1007/3-540-45127-7_8⟩
Communication dans un congrès
inria-00107876
v2
|
|
The Rho Cube4th International Conference on Foundations of Software Science and Computation Structures - FOSSACS 2001, Apr 2001, Genova, Italy. 15 p, ⟨10.1007/3-540-45315-6_11⟩
Communication dans un congrès
inria-00107877
v1
|
|
A Generic Object-Calculus Based on Addressed Term Rewriting SystemsProceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. pp.6-25
Communication dans un congrès
hal-01152576
v1
|
|
Match-O, a dialect of Eiffel with match-types37th International Conference on Technology of Object-Oriented Languages and Systems, 2000. TOOLS-Pacific 2000. Proceedings., Nov 2000, Sydney, Australia. pp.190 - 201, ⟨10.1109/TOOLS.2000.891369⟩
Communication dans un congrès
hal-01152644
v1
|
|
A framework for defining Object-Calculi [extended abstract]FM’99 — Formal Methods World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II, Sep 1999, Toulouse, France. pp.963-982, ⟨10.1007/3-540-48118-4⟩
Communication dans un congrès
hal-01153772
v1
|
|
Bounded Polymorphism for Extensible ObjectsTYPES, Mar 1999, Kloster Irsee, Germany. pp.149-165, ⟨10.1007/3-540-48167-2_11⟩
Communication dans un congrès
hal-01153827
v1
|
|
On object extensionECOOP, Jul 1998, Brussels, Belgium. pp.498-522, ⟨10.1007/BFb0054105⟩
Communication dans un congrès
hal-01154560
v1
|
|
A Lambda Calculus of Objects with Self-Inflicted ExtensionProceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, OOPSLA '98, Vancouver, BC, Canada, Oct 1998, Vancouver, BC, Canada. pp.166--178, ⟨10.1145/286936.286955⟩
Communication dans un congrès
hal-01154180
v1
|
|
Subtyping Constraints for Incomplete ObjectsTAPSOFT '97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings, Apr 1997, Lille, France. pp.465-477, ⟨10.1007/BFb0030619⟩
Communication dans un congrès
hal-01154622
v1
|
|
An extended Theory of Primitive Objects: First order systemECOOP, Jun 1997, Jyvaskyla, Finland. pp.146-169, ⟨10.1007/BFb0053378⟩
Communication dans un congrès
hal-01154568
v1
|
|
A Linear Logic Calculus of ObjectsJICSLP’96. Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming. September 2-6, 1996, Bonn, Germany, Sep 1996, Bonn, Germany. pp.79-94
Communication dans un congrès
hal-01156598
v1
|
|
A Typed Lambda Calculus of ObjectsConcurrency and Parallelism, Programming, Networking, and Security. Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings, Dec 1996, Singapore, Singapore. pp.129-141, ⟨10.1007/BFb0027786⟩
Communication dans un congrès
hal-01156547
v1
|
|
Dealing with Explicit Exceptions in Prolog1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peniscola, Spain, September 19-22, 1994, Sep 1994, Peniscola, Spain. pp.296-308
Communication dans un congrès
hal-01157221
v1
|
|
Comparing CubesLogical Foundations of Computer Science. Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings, Jul 1994, St. Petersburg, Russia. pp.353-365, ⟨10.1007/3-540-58140-5_33⟩
Communication dans un congrès
hal-01157211
v1
|
|
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of ObjectsComputer Science Logic. 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers, Sep 1994, Kazimierz, Poland. pp.16-30, ⟨10.1007/BFb0022244⟩
Communication dans un congrès
hal-01157171
v1
|
|
Providing crowd-sourced and real-time media services through a NDN-based platformFatos Xhafa. MODELLING AND PROCESSING FOR NEXT GENERATION BIG DATA TECHNOLOGIES AND APPLICATIONS, Springer, pp.405-441, 2015, Modeling and Processing for Next-Generation Big-Data Technologies, With Applications and Case Studies, ⟨10.1007/978-3-319-09177-8⟩
Chapitre d'ouvrage
hal-00906475
v1
|
|
A Distributed Catalog for Digitized Cultural HeritageGusev, Mitrewsky. Communications in Computer and Information Science, 83, Springer, pp.176-186, 2011, Communications in Computer and Information Science, ⟨10.1007/978-3-642-19325-5_18⟩
Chapitre d'ouvrage
hal-00908783
v1
|
|
Content Discovery in Heterogeneous Mobile NetworksE. Hossain. Heterogeneous Wireless Access Networks: Architectures and Protocols, Springer, pp.419-441, 2009, ⟨10.1007/978-0-387-09777-0_15⟩
Chapitre d'ouvrage
hal-00909620
v1
|
|
Coherence and Determinacy with Priorities and Clocks2024
Pré-publication, Document de travail
hal-04753507
v1
|
|
The Delta-calculus: syntax and types2018
Pré-publication, Document de travail
hal-02190691
v1
|
|
LogNet: Extending Internet with a Network Aware Discovery Service2017
Pré-publication, Document de travail
hal-01323974
v3
|
|
myMed: an ad hoc Framework for Executing Homogeneous Open Social Networks2014
Pré-publication, Document de travail
hal-01146061
v1
|
|
A Scalable Communication Architecture for Advanced Metering Infrastructure2013
Pré-publication, Document de travail
hal-00909699
v1
|
|
Mini-Foc A Kernel Calculus for Certified Computer Algebra [Ongoing work]2005
Pré-publication, Document de travail
hal-01148949
v1
|
|
Inferring types for functional methods (where method calls come for free)2004
Pré-publication, Document de travail
hal-01149745
v1
|
|
Strong Priority and Determinacy in Timed CCSInria; University of Bamberg. 2023
Rapport
hal-04367635
v2
|
|
Asynchronous Contact Tracing, Fighting Pandemics with Internet of Things. Set up of the of oneM2M infrastructure, mobile and web applicationsInria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France. 2022
Rapport
(rapport technique)
hal-03935906
v1
|
|
Asynchronous Contact TracingCentre Inria d'Université Côte d'Azur. 2020
Rapport
hal-02989404
v3
|
|
A Decidable Subtyping Logic for Intersection and Union Types (full version)[Research Report] Inria. 2017
Rapport
(rapport de recherche)
hal-01488428
v1
|
|
A Scalable Communication Architecture for AMI in SmartGrid[Technical Report] RR-8410, INRIA. 2013
Rapport
(rapport technique)
hal-00913352
v1
|
A Secure Protocol for Tracking Customer Flow[Contract] INRIA Sophia-Antipolis Méditerranée, équipe LOGNET. 2012, (rapport final) 60 p. + (appendix) 15 p
Rapport
(rapport contrat/projet)
hal-00909692
v1
|
|
|
Synapse: a Scalable Protocol for Interconnecting Heterogeneous Overlay Networks[Research Report] RR-7255, INRIA Sophia Antipolis - Méditerranée; INRIA Rennes - Bretagne Atlantique; INRIA. 2010, pp.16
Rapport
(rapport de recherche)
inria-00474529
v1
|
|
A Framework for Defining Logical Frameworks[Research Report] RR-5963, INRIA. 2006, pp.56
Rapport
(rapport de recherche)
inria-00088809
v2
|
|
Arigatoni: Overlaying Internet via Low Level Network Protocols[Research Report] RR-5805, INRIA Sophia Antipolis - Méditerranée; INRIA. 2006, pp.27
Rapport
(rapport de recherche)
inria-00070219
v1
|
|
Resource Discovery in the Arigatoni Model.[Research Report] RR-5924, INRIA Sophia Antipolis - Méditerranée; INRIA. 2006
Rapport
(rapport de recherche)
inria-00071016
v2
|
|
Featherweight-Trait Java : A Trait-based Extension for FJ[Research Report] RR-5247, INRIA Sophia Antipolis - Méditerranée; INRIA. 2004, pp.27
Rapport
(rapport de recherche)
inria-00070751
v1
|
|
On the Formalization of Imperative Object-based Calculiin (Co)Inductive Type Theories[Research Report] RR-4812, INRIA Nancy; LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; INRIA. 2003, pp.37
Rapport
(rapport de recherche)
inria-00071774
v1
|
|
A Generic Object-Calculus Based on Addressed Term Rewriting Systems[Research Report] RR-4549, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; INRIA. 2002, pp.49
Rapport
(rapport de recherche)
inria-00072039
v1
|
A Rho Cube[Intern report] A00-R-344 || cirstea00d, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
Rapport
inria-00099309
v1
|
|
Matching Power[Intern report] A00-R-363 || cirstea00c, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
Rapport
inria-00099308
v1
|
|
Ipotesi evolutive del Sistema MOMIX per la Specifica e Qualificazione di Sistemi TMN. In Italian[Technical Report] DTR 98.0089, CSELT, Centro Studi e Laboratori Telecomunicazioni, Turin, Italy. 1998, pp.27
Rapport
(rapport technique)
hal-01154663
v1
|
|
MOMIX-emSDH2. Simulatore di Agent di Element Manager SDH2.0[Technical Report] DTR 97.0413, CSELT, Centro Studi e Laboratori Telecomunicazioni, Turin, Italy. 1997, pp.99
Rapport
(rapport technique)
hal-01154656
v1
|
|
Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of ObjectsComputation and Language [cs.CL]. Ministère de l'Education Nationale, de la Recherche et de Technologie, Rome, Italy, 1996. English. ⟨NNT : ⟩
Thèse
tel-01157160
v1
|
|
Peter, the Language that does not Exist...Computation and Language [cs.CL]. INPL - INP de LORRAINE, 2007
HDR
tel-01148503
v1
|
Chargement...
Chargement...