|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7468 occurrences of 3075 keywords
|
|
|
Results
Found 17405 publication records. Showing 17405 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
31 | Leandro Galrinho, João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Håkon Normann, Tijs Slaats |
ReGraDa: Reactive Graph Data. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Riccardo Bianchini, Francesco Dagnino |
Asynchronous Global Types in Co-logic Programming. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Simon Bliudze, Laura Bocchi (eds.) |
Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Anthony M. Jarc, Ilana Nisky |
Application and Exploration of Sensorimotor Coordination Strategies in Surgical Robotics. |
Metrics of Sensory Motor Coordination and Integration in Robots and Animals |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Fabio Bonsignorio |
Entropy Based Metrics of Sensory Motor Coordination - A Short Survey. |
Metrics of Sensory Motor Coordination and Integration in Robots and Animals |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Alex Coto, Roberto Guanciale, Emilio Tuosto |
Choreographic Development of Message-Passing Applications - A Tutorial. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Espen Tønnessen Nordli, Phu Hong Nguyen, Franck Chauvel, Hui Song |
Event-Based Customization of Multi-tenant SaaS Using Microservices. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Nicolas Gast, Diego Latella, Mieke Massink |
Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Leonardo Frittelli, Facundo Maldonado, Hernán C. Melgratti, Emilio Tuosto |
A Choreography-Driven Approach to APIs: The OpenDXL Case Study. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino |
Renegotiation and Recursion in Bitcoin Contracts. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Agustín Eloy Martinez Suñé, Carlos Gustavo López Pombo |
Quality of Service Ranking by Quantifying Partial Compliance of Requirements. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Massimo Bartoletti, Letterio Galletta, Maurizio Murgia 0001 |
A True Concurrent Model of Smart Contracts Executions. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn |
Team Automata@Work: On Safe Communication. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | José Proença, Guillermina Cledou |
ARx: Reactive Programming for Synchronous Connectors. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Luca Di Stefano 0001, Frédéric Lang, Wendelin Serwe |
Combining SLiVER with CADP to Analyze Multi-agent Systems. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Adrian Francalanza, Jasmine Xuereb |
On Implementing Symbolic Controllability. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Xiyue Zhang, Yi Li, Meng Sun 0002 |
Towards a Formally Verified EVM in Production Environment. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Maria Pittou, George Rahonis |
Architecture Modelling of Parametric Component-Based Systems. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli |
Resilient Distributed Collection Through Information Speed Thresholds. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli |
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida |
Implementing Multiparty Session Types in Rust. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Marco Giunti |
GoPi: Compiling Linear and Static Channels in Go. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | G. Michele Pinna |
Operational Representation of Dependencies in Context-Dependent Event Structures. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani |
Formal Modeling and Analysis of Medical Systems. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
Choreography Automata. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Artem Usov, Ornela Dardha |
SFJ: An Implementation of Semantic Featherweight Java. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Vagia Karyoti, Paulina Paraponiari |
Weighted PCL over Product Valuation Monoids. |
COORDINATION |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Hanne Riis Nielson, Emilio Tuosto (eds.) |
Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Agustín E. Martinez Suñé, Carlos Gustavo López Pombo |
Automatic Quality-of-Service Evaluation in Service-Oriented Computing. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
31 | G. Michele Pinna |
Representing Dependencies in Event Structures. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli |
CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski |
Reversing P/T Nets. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Roberto Guanciale |
DiRPOMS: Automatic Checker of Distributed Realizability of POMSets. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Wen Kokke, J. Garrett Morris, Philip Wadler |
Towards Races in Linear Logic. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro |
No More, No Less - A Formal Model for Serverless Computing. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Simon Bliudze, Ludovic Henrio, Eric Madelaine |
Verification of Concurrent Design Patterns with Data. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani |
Aggregate Processes in Field Calculus. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Rocco De Nicola, Tan Duong, Michele Loreti |
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. |
COORDINATION |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Giovanna Di Marzo Serugendo, Michele Loreti (eds.) |
Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Leendert W. N. van der Torre, Tjitze Rienstra, Dov M. Gabbay |
Argumentation as Exogenous Coordination. |
It's All About Coordination |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein 0001, Sascha Klüppelholz |
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination. |
It's All About Coordination |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes |
On the Relation Between Control-Based and Data-Based Coordination Languages. |
It's All About Coordination |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Kiko Fernandez-Reyes, Dave Clarke 0001, Elias Castegren, Huu-Phuc Vo |
Forward to a Promising Future. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Gaétan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen |
Active Objects for Coordinating BSP Computations (Short Paper). |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Linas Kaminskas, Alberto Lluch-Lafuente |
Aggregation Policies for Tuple Spaces. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Pierre Sutra, Patrick Marlier, Valerio Schiavoni, François Trahay |
Boosting Transactional Memory with Stricter Serializability. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Kasper Dokter, Farhad Arbab |
Rule-Based Form for Stream Constraints. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Rocco De Nicola, Gian-Luigi Ferrari 0002, Rosario Pugliese, Francesco Tiezzi 0001 |
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli |
Space-Time Universality of Field Calculus. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Jean-Marie Jacquet, Mieke Massink (eds.) |
Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Simon Bliudze, Alena Simalatsar, Alina Zolotukhina |
Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente |
Many-to-Many Information Flow Policies. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Francisco Durán 0001, Gwen Salaün |
Verifying Timed BPMN Processes Using Maude. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Antonio Brogi, Andrea Canciani, Jacopo Soldani |
Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Giovanni Bernardi 0001, Adrian Francalanza |
Full-Abstraction for Must Testing Preorders - (Extended Abstract). |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Keigo Imai, Nobuko Yoshida, Shoji Yuen |
Session-ocaml: A Session-Based Library with Polarities and Lenses. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani |
AErlang: Empowering Erlang with Attribute-Based Communication. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Franco Barbanera, Ivan Lanese, Ugo de'Liguoro |
Retractable and Speculative Contracts. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Fabio Gadducci, Hernán C. Melgratti, Christian Roldán |
A Denotational View of Replicated Data Types. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Maurice H. ter Beek, Josep Carmona 0001, Rolf Hennicker, Jetty Kleijn |
Communication Requirements for Team Automata. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Giorgio Audrito, Ferruccio Damiani, Mirko Viroli |
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Alberto Lluch-Lafuente, José Proença (eds.) |
Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Trevor Sarratt, Arnav Jhala |
Policy Communication for Coordination with Unknown Teammates. |
AAAI Workshop: Multiagent Interaction without Prior Coordination |
2016 |
DBLP BibTeX RDF |
|
31 | Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini |
On Sessions and Infinite Data. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta |
Where Do Your IoT Ingredients Come From? |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Paolo Baldan, Alessandro Beggiato |
Multilevel Transitive and Intransitive Non-interference, Causally. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina |
Tuple Spaces Implementations and Their Efficiency. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Hernán C. Melgratti, Christian Roldán |
A Formal Analysis of the Global Sequence Protocol. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Ruggero Lanotte, Massimo Merro |
A Semantic Theory of the Internet of Things - (Extended Abstract). |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Kiko Fernandez-Reyes, Dave Clarke 0001, Daniel S. McCain |
ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Herbert Wiklicky |
On Dynamical Probabilities, or: How to Learn to Shoot Straight. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Vashti Galpin |
Modelling Ambulance Deployment with CarmaCARMA. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Danilo Pianini, Jacob Beal, Mirko Viroli |
Improving Gossip Dynamics Through Overlapping Replicates. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Franco Barbanera, Ugo de'Liguoro |
A Game Interpretation of Retractable Contracts. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab |
Scheduling Games for Concurrent Systems. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Ludovic Henrio, Justine Rochas |
From Modelling to Systematic Deployment of Distributed Active Objects. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Mischael Schill, Christopher M. Poskitt, Bertrand Meyer 0001 |
An Interference-Free Programming Model for Network Objects. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Rolf Hennicker, Michel Bidoit, Thanh-Son Dang |
On Synchronous and Asynchronous Compatibility of Communicating Components. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Tom Holvoet, Mirko Viroli (eds.) |
Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Malinda Kumarasinghe, Geeth Tharanga, Lasitha Weerasinghe, Ujitha Wickramarathna, Surangika Ranathunga |
VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Diego Latella, Michele Loreti, Mieke Massink |
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari |
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente |
Replica-Based High-Performance Tuple Space Computing. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Francisco Cruz-Mencia, Jesús Cerquides, Antonio Espinosa, Juan Carlos Moure, Juan Antonio Rodríguez-Aguilar |
Parallelisation and Application of AD 3 as a Method for Solving Large Scale Combinatorial Auctions. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Xi Wu 0005, Ximeng Li 0001, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson |
Klaim-DB: A Modeling Language for Distributed Database Applications. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Sung-Shik T. Q. Jongmans, Farhad Arbab |
Take Command of Your Constraints! |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Fabio Gadducci, Francesco Santini 0001, Luis Fernando Pino, Frank D. Valencia |
A Labelled Semantics for Soft Concurrent Constraint Programming. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Edmund Soon Lee Lam, Iliano Cervesato, Nabeeha Fatima |
Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro |
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Luca Padovani, Tzu-Chun Chen, Andrea Tosatto |
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Stephen Cranefield, Surangika Ranathunga |
Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Marino Miculan, Marco Peressotti, Andrea Toneguzzo |
Open Transactions on Shared Memory. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Eva Kühn, Rosario Pugliese (eds.) |
Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Kebin Zeng, Flemming Nielson, Hanne Riis Nielson |
The Stochastic Quality Calculus. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Lenz Belzner |
Verifiable Decisions in Autonomous Concurrent Systems. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Mirko Viroli, Ferruccio Damiani |
A Calculus of Self-stabilising Computational Fields. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab |
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Rumyana Neykova, Nobuko Yoshida |
Multiparty Session Actors. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
Encoding Synchronous Interactions Using Labelled Petri Nets. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Benjamin Morandi, Sebastian Nanz, Bertrand Meyer 0001 |
Safe and Efficient Data Sharing for Message-Passing Concurrency. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 17405 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|