Filter your results
- 62
- 19
- 15
- 9
- 7
- 3
- 1
- 1
- 117
- 15
- 12
- 10
- 10
- 10
- 8
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 117
- 5
- 3
- 1
- 116
- 42
- 23
- 18
- 18
- 15
- 9
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 117
- 117
- 117
- 117
- 116
- 116
- 68
- 54
- 42
- 42
- 42
- 30
- 29
- 28
- 18
- 18
- 18
- 16
- 16
- 16
- 16
- 15
- 14
- 14
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 113
- 2
- 2
- 112
- 5
- 1
- 2
- 5
- 3
- 2
- 3
- 5
- 2
- 3
- 3
- 8
- 5
- 2
- 6
- 2
- 6
- 7
- 7
- 4
- 6
- 7
- 3
- 4
- 4
- 3
- 3
- 4
- 4
- 3
|
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⟩
Conference papers
inria-00099586v1
|
||
|
A Realizability Interpretation for Intersection and Union Types14th Asian Symposium on Programming Languages and Systems, Nov 2016, Hanoi, Vietnam
Conference papers
hal-01317213v2
|
||
|
Bounded Polymorphism for Extensible ObjectsTYPES, Mar 1999, Kloster Irsee, Germany. pp.149-165, ⟨10.1007/3-540-48167-2_11⟩
Conference papers
hal-01153827v1
|
||
|
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⟩
Conference papers
hal-01152644v1
|
||
|
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
Conference papers
hal-01156598v1
|
||
|
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⟩
Conference papers
hal-00909477v1
|
||
|
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⟩
Conference papers
hal-00909486v1
|
||
|
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⟩
Conference papers
hal-00909531v1
|
||
|
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⟩
Conference papers
hal-00909544v1
|
||
|
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⟩
Book sections
hal-00908783v1
|
||
|
Peter, the Language that does not Exist...Computation and Language [cs.CL]. INPL - INP de LORRAINE, 2007
Habilitation à diriger des recherches
tel-01148503v1
|
||
|
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⟩
Conference papers
hal-01148880v1
|
||
|
Plugging-in Proof Development Environments using Locks in LFMathematical Structures in Computer Science, 2018, 28 (9), pp.1578--1605
Journal articles
hal-01272647v1
|
||
|
ETSI SmartM2M Technical Report 103714: Study for oneM2M Discovery and Query use cases and requirements2021
Other publications
hal-03115482v1
|
||
|
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⟩
Conference papers
hal-01701934v2
|
||
|
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⟩
Conference papers
hal-00909550v1
|
||
|
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⟩
Conference papers
hal-01148439v1
|
||
|
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⟩
Conference papers
hal-01149845v1
|
||
|
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⟩
Conference papers
hal-00908800v1
|
||
|
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⟩
Conference papers
hal-00909585v1
|
||
|
An extended Theory of Primitive Objects: First order systemECOOP, Jun 1997, Jyvaskyla, Finland. pp.146-169, ⟨10.1007/BFb0053378⟩
Conference papers
hal-01154568v1
|
||
|
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⟩
Conference papers
inria-00107876v2
|
||
|
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⟩
Conference papers
hal-00906798v1
|
||
|
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⟩
Conference papers
inria-00107877v1
|
||
|
Action Miró/Mirho2001
Other publications
hal-01151339v1
|
||
|
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⟩
Conference papers
hal-01156555v1
|
||
|
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⟩
Conference papers
hal-00909574v1
|
||
|
A Scalable Communication Architecture for AMI in SmartGrid[Technical Report] RR-8410, INRIA. 2013
Reports
hal-00913352v1
|
||
|
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⟩
Book sections
hal-00906475v1
|
||
|
iRho: An Imperative Rewriting-calculusMathematical Structures in Computer Science, 2008, 18 (03), pp.467-500. ⟨10.1017/S0960129508006750⟩
Journal articles
hal-01147678v1
|