The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Klaim with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1998-2003 (15) 2004-2006 (17) 2007-2023 (14)
Publication types (Num. hits)
article(8) inproceedings(38)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 31 occurrences of 22 keywords

Results
Found 46 publication records. Showing 46 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
104Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari 0002, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri The Klaim Project: Theory and Practice. Search on Bibsonomy Global Computing The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
104Rocco De Nicola, Gian-Luigi Ferrari 0002, Rosario Pugliese KLAIM: A Kernel Language for Agents Interaction and Mobility. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF mobile code languages, Programming languages, language design, coordination models, semantics of programming languages
94Rocco De Nicola, Daniele Gorla, Rosario Pugliese Pattern Matching over a Dynamic Network of Tuple Spaces. Search on Bibsonomy FMOODS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
85Rocco De Nicola, Gian-Luigi Ferrari 0002, Rosario Pugliese Programming Access Control: The KLAIM Experience. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
66Rocco De Nicola, Diego Latella, Mieke Massink Formal modeling and quantitative analysis of KLAIM-based mobile systems. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF formal modeling and validation, stochastic behavior, mobile systems, coordination languages
66Lorenzo Bettini, Rocco De Nicola Mobile Distributed Programming in X-Klaim. Search on Bibsonomy SFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
66Lorenzo Bettini, Viviana Bono, Betti Venneri O'Klaim: A Coordination Language with Mobile Mixins. Search on Bibsonomy COORDINATION The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
66Rocco De Nicola, Michele Loreti A Modal Logic for KLAIM. Search on Bibsonomy AMAST The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
56Rocco De Nicola Languages and Process Calculi for Network Aware Programming - Short Summary -. Search on Bibsonomy ICTAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
56Lorenzo Bettini, Rocco De Nicola, Michele Loreti Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF network aware programming, verification, concurrency, mobile agents, programming languages, modal logics
51Raymond R. Devillers, Hanna Klaudel, Maciej Koutny Modelling Mobility in High-level Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF KLAIM, compositional translation, behavioural consistency, mobility, Petri nets, process algebra
51Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander B. Romanovsky On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Klaim, fault tolerance, model checking, Petri nets, process algebra, locations, mobile systems, Linda
48Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Probabilistic KLAIM. Search on Bibsonomy COORDINATION The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Rocco De Nicola, Michele Loreti A modal logic for mobile agents. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Mobile Code Languages, Temporal Logics of Programs, Mobility, Logics, Proof Systems, Coordination Models
38Daniele Gorla, Rosario Pugliese Controlling data movement in global computing applications. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Rocco De Nicola, Michele Loreti MoMo: A Modal Logic for Reasoning About Mobility. Search on Bibsonomy FMCO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Gian-Luigi Ferrari 0002, Eugenio Moggi, Rosario Pugliese MetaKlaim: Meta-programming for Global Computing. Search on Bibsonomy SAIG The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi 0001 Coordinating and programming multiple ROS-based robots with X-KLAIM. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
29 From Diagram to Deployment: Translating BPMN Collaborations into X-Klaim for Efficient Multi-Robot System Programming. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
29Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi 0001 Programming Multi-robot Systems with X-KLAIM. Search on Bibsonomy ISoLA (3) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi 0001 Writing Robotics Applications with X-Klaim. Search on Bibsonomy ISoLA (2) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
29Lorenzo Bettini, Emanuela Merelli, Francesco Tiezzi 0001 X-Klaim Is Back. Search on Bibsonomy Models, Languages, and Tools for Concurrent and Distributed Programming The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
29Roberto Bruni, Andrea Corradini 0001, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto Data-Driven Choreographies à la Klaim. Search on Bibsonomy Models, Languages, and Tools for Concurrent and Distributed Programming The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
29Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta Revealing the Trajectories of KLAIM Tuples, Statically. Search on Bibsonomy Models, Languages, and Tools for Concurrent and Distributed Programming The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
29Jonas Eckhardt, Tobias Mühlbauer, José Meseguer 0001, Martin Wirsing Semantics, distributed implementation, and formal analysis of KLAIM models in Maude. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
29Xi Wu 0005, Ximeng Li 0001, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson Klaim-DB: A Modeling Language for Distributed Database Applications. Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
29Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer 0001 Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. Search on Bibsonomy WRLA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Francesco Calzolai, Michele Loreti Simulation and Analysis of Distributed Systems in Klaim. Search on Bibsonomy COORDINATION The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
29Rocco De Nicola, Daniele Gorla, Rosario Pugliese On the expressive power of KLAIM-based calculi. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Lorenzo Bettini, Rocco De Nicola, Michele Loreti Implementing Mobile and Distributed Applications in X-Klaim. Search on Bibsonomy Scalable Comput. Pract. Exp. The full citation details ... 2006 DBLP  BibTeX  RDF
29Rocco De Nicola From Process Calculi to Klaim and Back. Search on Bibsonomy APC 25 The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Continuous-Time Probabilistic KLAIM. Search on Bibsonomy SecCo The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Rocco De Nicola, Daniele Gorla, Rosario Pugliese On the Expressive Power of Klaim-based Calculi. Search on Bibsonomy EXPRESS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Lorenzo Bettini, Viviana Bono, Betti Venneri Towards Object-Oriented Klaim. Search on Bibsonomy TOSCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Lorenzo Bettini, Michele Loreti, Rosario Pugliese Structured Nets in KLAIM. Search on Bibsonomy SAC (1) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
29Lorenzo Bettini, Rocco De Nicola, Gian-Luigi Ferrari 0002, Rosario Pugliese Mobile Applications in X-KLAIM. Search on Bibsonomy WOA The full citation details ... 2000 DBLP  BibTeX  RDF
29Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian-Luigi Ferrari 0002 Interactive Mobile Agents in X-Klaim. Search on Bibsonomy WETICE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. Search on Bibsonomy TGC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese From Flow Logic to Static Type Systems for Coordination Languages. Search on Bibsonomy COORDINATION The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Rocco De Nicola, Daniele Gorla, Rosario Pugliese Global Computing in a Dynamic Network of Tuple Spaces. Search on Bibsonomy COORDINATION The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Lorenzo Bettini A Java Package for Class and Mixin Mobility in a Distributed Setting. Search on Bibsonomy FIDJI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Lorenzo Bettini, Rocco De Nicola, Michele Loreti Software update via mobile agent based programming. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF distributed software update, mobile agents, mobile code
19Lorenzo Bettini, Michele Loreti, Rosario Pugliese An infrastructure language for open nets. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF open nets, mobility, distributed applications, coordination languages
19Lorenzo Bettini, Rocco De Nicola, Michele Loreti Formalizing Properties of Mobile Agent Systems. Search on Bibsonomy COORDINATION The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19Lorenzo Bettini, Rocco De Nicola Translating Strong Mobility into Weak Mobility. Search on Bibsonomy Mobile Agents The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Emilio Tuosto An Ada95 Implementation of a Network Coordination Language with Code Mobility. Search on Bibsonomy Ada-Europe The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Ada Language and Tools, Ada Experience Reports, Case Studies and Experiments, Ada and other Languages, Distributed Systems
Displaying result #1 - #46 of 46 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license