The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2003-2006 (40) 2007 (20) 2008 (18) 2009 (30) 2010 (20) 2011 (20) 2012 (33) 2013 (17) 2014 (21) 2015 (17) 2016 (22) 2017 (17) 2018 (25) 2019 (18) 2020 (19) 2021-2022 (30) 2023 (15) 2024 (3)
Publication types (Num. hits)
article(99) book(1) incollection(2) inproceedings(270) phdthesis(13)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 94 occurrences of 63 keywords

Results
Found 385 publication records. Showing 385 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
128Johann Eder, Marek Lehmann, Amirreza Tahamtan Choreographies as Federations of Choreographies and Orchestrations. Search on Bibsonomy ER (Workshops) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
110Birgit Hofreiter Registering UML models for global and local choreographies. Search on Bibsonomy ICEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF B2B standardization, UN/CEFACT's modeling methodology, inter-organizational business process modeling, business process modeling, inter-organizational systems
64Alin Stefanescu, Sebastian Wieczorek, Andrei Kirshin MBT4Chor: A Model-Based Testing Approach for Service Choreographies. Search on Bibsonomy ECMDA-FA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Choreography Modeling, SOA, Model Transformation, Domain Specific Language, Model-Based Testing, Service Integration
64Gero Decker, Alistair Barros, Frank Michael Kraft, Niels Lohmann Non-desynchronizable Service Choreographies. Search on Bibsonomy ICSOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
61Chao Cai, Zongyan Qiu An Approach to Check Choreography with Channel Passing in WS-CDL. Search on Bibsonomy ICWS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
61Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. Search on Bibsonomy Test and Analysis of Web Services The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
61Gero Decker, Alistair Barros Interaction Modeling Using BPMN. Search on Bibsonomy Business Process Management Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
60Johann Eder, Amirreza Tahamtan Temporal Conformance of Federated Choreographies. Search on Bibsonomy DEXA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Temporal Conformance, Web Services, Composition, Orchestration, Choreographies
60Niels Lohmann Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. Search on Bibsonomy BPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF graph correction, correction of services, verification of services, service automata, BPEL, Choreographies, operating guidelines
57Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali An abductive framework for a-priori verification of web services. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF web services, formal verification, constraints, choreographies, abduction
49Milan Milanovic, Dragan Gasevic, Gerd Wagner 0001, Marek Hatala Rule-Enhanced Business Process Modeling Language for Service Choreographies. Search on Bibsonomy MoDELS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF R2ML, processes, metamodels, rules, MDE, BPMN
49Michael Von Riegen, Norbert Ritter Reliable Monitoring for Runtime Validation of Choreographies. Search on Bibsonomy ICIW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Gero Decker, Oliver Kopp, Frank Leymann, Kerstin Pfitzner, Mathias Weske Modeling Service Choreographies Using BPMN and BPEL4Chor. Search on Bibsonomy CAiSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
49Gero Decker, Oliver Kopp, Frank Leymann, Mathias Weske BPEL4Chor: Extending BPEL for Modeling Choreographies. Search on Bibsonomy ICWS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Christian Huemer, Marco Zapletal, Philipp Liegl, Rainer Schuster Modeling Business Entity State Centric Choreographies. Search on Bibsonomy CEC/EEE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Stefanie Rinderle, Andreas Wombacher, Manfred Reichert Evolution of Process Choreographies in DYCHOR. Search on Bibsonomy OTM Conferences (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
49Gero Decker, Johannes Maria Zaha, Marlon Dumas Execution Semantics for Service Choreographies. Search on Bibsonomy WS-FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
46Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth 0001, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. Search on Bibsonomy TestCom/FATES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Service Choreography Models, Model Checking, Formal Methods, Model-based Testing, Integration Testing
46Asako Soga, Bin Umino, Takami Yasuda, Shigeki Yokoi Automatic composition and simulation system for ballet sequences. Search on Bibsonomy Vis. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Simulation, Dance, Human animation, Automatic composition
46Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig Analyzing BPEL4Chor: Verification and Participant Synthesis. Search on Bibsonomy WS-FM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF BPEL4Chor, participant generation, service-oriented analysis and design, Petri nets, choreography
46Asako Soga, Bin Umino, Takami Yasuda, Shigeki Yokoi Automatic Composition and Simulation System for Ballet Sequences. Search on Bibsonomy CW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Loïc Hélouët, Albert Benveniste Document Based Modeling of Web Services Choreographies Using Active XML. Search on Bibsonomy ICWS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Active XML, Web services, composition, choreographies
45Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Nirmit Desai, Viviana Patti, Munindar P. Singh Choice, interoperability, and conformance in interaction protocols and service choreographies. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF web services, interoperability, choreographies, interaction protocols, conformance
42Sinuhé Arroyo, Miguel-Ángel Sicilia Modeling Learning Technology Interaction Using SOPHIE: Main Mappings and Example Usage Scenarios. Search on Bibsonomy WSKS (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF OKI, OSID, SOPHIE, ontologies, Choreographies, learning technology
37Andreas Weiß, Vasilios Andrikopoulos, Michael Hahn 0002, Dimka Karastoyanova Model-as-You-Go for Choreographies: Rewinding and Repeating Scientific Choreographies. Search on Bibsonomy IEEE Trans. Serv. Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
37Adriatik Nikaj, Mathias Weske, Jan Mendling Semi-automatic derivation of RESTful choreographies from business process choreographies. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
34Dieter Drobny, Jan O. Borchers Learning basic dance choreographies with different augmented feedback modalities. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2010 DBLP  DOI  BibTeX  RDF motor skill learning, wireless sensor system, tactile feedback, dancing
34Sebastian Wieczorek, Andreas Roth 0001, Alin Stefanescu, Vitaly Kozyura, Anis Charfi, Frank Michael Kraft, Ina Schieferdecker Viewpoints for modeling choreographies in service-oriented architectures. Search on Bibsonomy WICSA/ECSA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Gregorio Díaz 0001, Ismael Rodríguez Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Verification of Choreographies During Execution Using the Reactive Event Calculus. Search on Bibsonomy WS-FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Jianwen Su, Tevfik Bultan, Xiang Fu 0001, Xiangpeng Zhao Towards a Theory of Web Service Choreographies. Search on Bibsonomy WS-FM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Stefanie Rinderle, Andreas Wombacher, Manfred Reichert On the Controlled Evolution of Process Choreographies. Search on Bibsonomy ICDE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Lihui Lei, Zhenhua Duan, Bin Yu Semantic Matching of Web Services Based on Choreographies. Search on Bibsonomy CSCWD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. Search on Bibsonomy WS-FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Emilia Cimpian, Adrian Mocan WSMX Process Mediation Based on Choreographies. Search on Bibsonomy Business Process Management Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Adam Barker, Christopher D. Walton, David Robertson Choreographing Web Services. Search on Bibsonomy IEEE Trans. Serv. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Armin Haller, Mateusz Marmolowski, Walid Gaaloul, Eyal Oren, Brahmananda Sapkota, Manfred Hauswirth From Workflow Models to Executable Web Service Interfaces. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Irfan Ul Haq, Altaf Ahmad Huqqani, Erich Schikuta Aggregating Hierarchical Service Level Agreements in Business Value Networks. Search on Bibsonomy BPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Business Value Networks, SLA Management, Service Level Agreements, Value Chains
30Thomas Hettel, Christian Flender, Alistair Barros Scaling Choreography Modelling for B2B Value-Chain Analysis. Search on Bibsonomy BPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Kerstin Pfitzner, Gero Decker, Oliver Kopp, Frank Leymann Web Service Choreography Configurations for BPMN. Search on Bibsonomy ICSOC Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Birgit Hofreiter, Christian Huemer, Philipp Liegl, Rainer Schuster, Marco Zapletal Deriving executable BPEL from UMM Business Transactions. Search on Bibsonomy IEEE SCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30María-Emilia Cambronero, Gregorio Díaz 0001, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo RT-UML for modeling Real-Time Web Services. Search on Bibsonomy SCW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Pablo David Villarreal, Enrique Salomone, Omar Chiotti Transforming Collaborative Business Process Models into Web Services Choreography Specifications. Search on Bibsonomy DEECS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Carlo Montangero, Laura Semini A Logical View of Choreography. Search on Bibsonomy COORDINATION The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro Towards a formal framework for Choreography. Search on Bibsonomy WETICE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Choreography languages, Web services, Service Oriented Computing
30Asako Soga, Bin Umino, Takami Yasuda, Shigeki Yokoi A System for Choreographic Simulation of Ballet Using a 3D Motion Archive on the Web. Search on Bibsonomy AMDO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Laura Daniele, Luís Ferreira Pires, Marten van Sinderen Process-Oriented Behavior Generation Using Interaction Patterns. Search on Bibsonomy EDOCW The full citation details ... 2010 DBLP  DOI  BibTeX  RDF MDA, model transformations, behavior modeling, orchestrations, choreographies, BPMN, interaction patterns
18Dan Plyukhin, Marco Peressotti, Fabrizio Montesi Ozone: Fully Out-of-Order Choreographies. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
18Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani Branching pomsets: Design, expressiveness and applications to choreographies. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
18Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi Alice or Bob?: Process polymorphism in choreographies. Search on Bibsonomy J. Funct. Program. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
18Luca Spalazzi, Francesco Spegni, Alessandra Corneli, Berardo Naticchia Blockchain based choreographies: The construction industry case study. Search on Bibsonomy Concurr. Comput. Pract. Exp. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Sasko Ristov, Stefan Pedratscher, Thomas Fahringer $xAFCL$xAFCL: Run Scalable Function Choreographies Across Multiple FaaS Systems. Search on Bibsonomy IEEE Trans. Serv. Comput. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi Certified Compilation of Choreographies with hacc. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi Alice or Bob?: Process Polymorphism in Choreographies. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Kyle Dingenouts, Mitchell Klijs, Jan Martijn E. M. van der Werf Modeling Interaction-Oriented Architectures using Choreographies. Search on Bibsonomy PNSE@Petri Nets The full citation details ... 2023 DBLP  BibTeX  RDF
18Francesco Donini, Alessandro Marcelletti, Andrea Morichetta 0001, Andrea Polini RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies. Search on Bibsonomy SAC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Keli Shen, Jun-Ichiro Hirayama Kinematic Motor Synergy Analysis to Understand Lock Dance Choreographies. Search on Bibsonomy EMBC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Jesús Ortiz 0002, Victoria Torres, Pedro Valderas Dealing with the Evolution of Event-Based Choreographies of BPMN Fragments: Definition and Proof of Concept. Search on Bibsonomy ER The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Jesús Ortiz 0002 Dealing with the evolution of event-based choreographies of BPMN fragments. Search on Bibsonomy ER (Companion) The full citation details ... 2023 DBLP  BibTeX  RDF
18Tom Lichtenstein, Mathias Weske Execution Semantics for Process Choreographies with Data. Search on Bibsonomy BPM (Forum) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Thomas T. Hildebrandt, Hugo A. López 0001, Tijs Slaats Declarative Choreographies with Time and Data. Search on Bibsonomy BPM (Forum) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti Modular Compilation for Higher-Order Functional Choreographies. Search on Bibsonomy ECOOP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi Certified Compilation of Choreographies with hacc. Search on Bibsonomy FORTE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Eric Wete, Joel Greenyer, Andreas Wortmann 0001, Daniel Kudenko, Wolfgang Nejdl MDE and Learning for flexible Planning and optimized Execution of Multi-Robot Choreographies. Search on Bibsonomy ETFA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Andreas Stutz, Alexander Fay, Mike Barth, Mathias Maurmaier Automation Service Choreographies using Decentralized Orchestration to Integrate Non-Choreography-Enabled Equipment Assemblies. Search on Bibsonomy INDIN The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Andrew K. Hirsch, Deepak Garg 0001 Pirouette: higher-order typed functional choreographies. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Gianluca Filippone, Marco Autili, Massimo Tivoli Synthesis of context-aware business-to-business processes for location-based services through choreographies. Search on Bibsonomy J. Softw. Evol. Process. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Sasko Ristov, Dragi Kimovski, Thomas Fahringer FaaScinating Resilience for Serverless Function Choreographies in Federated Clouds. Search on Bibsonomy IEEE Trans. Netw. Serv. Manag. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou Branching Pomsets for Choreographies. Search on Bibsonomy ICE The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi From Infinity to Choreographies: Extraction for Unbounded Systems. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Ivan Hristov, Radoslava Hristova, Igor V. Puzynin, Taisia P. Puzynina, Zarif Sharipov, Zafar Tukhliev A database of high precision trivial choreographies for the planar three-body problem. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Walid Fdhila, David Knuplesch, Stefanie Rinderle-Ma, Manfred Reichert Verifying compliance in process choreographies: Foundations, algorithms, and implementation. Search on Bibsonomy Inf. Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto Towards refinable choreographies. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Kitty Zijlmans Intra-performance: the choreographies of K.G. Guttman. Search on Bibsonomy Adapt. Behav. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Sasko Ristov, Stefan Pedratscher, Thomas Fahringer xAFCL: Run Scalable Function Choreographies Across Multiple FaaS Systems. Search on Bibsonomy SERVICES The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Piotr Wisniewski 0003, Krzysztof Kluza, Anna Suchenia, Leszek Szala, Antoni Ligeza Recomposition of Process Choreographies Using a Graph-Based Model Repository. Search on Bibsonomy KSEM (1) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Sung-Shik Jongmans, Petra van den Bos A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. Search on Bibsonomy ESOP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Tom Lichtenstein Preserving Data Consistency in Process Choreographies by Design (short paper). Search on Bibsonomy ZEUS The full citation details ... 2022 DBLP  BibTeX  RDF
18Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta 0001, Andrea Polini, Barbara Re 0001, Francesco Tiezzi 0001 ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies. Search on Bibsonomy BPM (PhD/Demos) The full citation details ... 2022 DBLP  BibTeX  RDF
18Amina Brahem, Tiphaine Henry, Sami Bhiri, Thomas Devogele, Nassim Laga, Nizar Messai, Yacine Sam, Walid Gaaloul, Boualem Benatallah A Trustworthy decentralized Change Propagation Mechanism for Declarative Choreographies. Search on Bibsonomy BPM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Olivier Hauterville, Camino Fernández 0001, Phani-Teja Singamaneni, Anthony Favier, Vicente Matellán, Rachid Alami Interactive Social Agents Simulation Tool for Designing Choreographies for Human-Robot-Interaction Research. Search on Bibsonomy ROBOT (2) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Michelle Blumenstein, Andreas Stutz, Alexander Fay, Mike Barth, Mathias Maurmaier Coordination of Modular Packaging Lines Using Automation Service Choreographies. Search on Bibsonomy ETFA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Mei Zhang, Hui Li, Zuyuan Huang, Yudou Huang, Fu Bao Analyzing Realizability of BPMN Choreographies. Search on Bibsonomy DASC/PiCom/CBDCom/CyberSciTech The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Ivan Hristov, Radoslava Hristova, Igor V. Puzynin, Taisia P. Puzynina, Zarif Sharipov, Zafar Tukhliev A Database of High Precision Trivial Choreographies for the Planar Three-Body Problem. Search on Bibsonomy NMA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi From Infinity to Choreographies - Extraction for Unbounded Systems. Search on Bibsonomy LOPSTR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Stephan Haarmann, Tom Lichtenstein, Mathias Weske Fragment-Based Service Choreographies. Search on Bibsonomy SCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, Marco Peressotti Modular Choreographies: Bridging Alice and Bob Notation to Java. Search on Bibsonomy Microservices The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Walid Fdhila, David Knuplesch, Stefanie Rinderle-Ma, Manfred Reichert Verifying Compliance in Process Choreographies: Foundations, Algorithms, and Implementation. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
18Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti Choreographies as Functions. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
18Andrew K. Hirsch, Deepak Garg 0001 Pirouette: Higher-Order Typed Functional Choreographies. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
18Ioannis Rallis, Nikolaos Bakalos, Nikolaos Doulamis, Anastasios D. Doulamis, Athanasios Voulodimos Bidirectional long short-term memory networks and sparse hierarchical modeling for scalable educational learning of dance choreographies. Search on Bibsonomy Vis. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
18Tiphaine Henry, Amina Brahem, Nassim Laga, Julien Hatin, Walid Gaaloul, Boualem Benatallah Trustworthy Cross-Organizational Collaborations with Hybrid On/Off-Chain Declarative Choreographies. Search on Bibsonomy ICSOC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
18Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann 0001 Security Protocols as Choreographies. Search on Bibsonomy Protocols, Strands, and Logic The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
18Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub Realisability of Control-State Choreographies. Search on Bibsonomy MEDI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
18Andreas Stutz, Alexander Fay, Mike Barth, Mathias Maurmaier Software Patterns for the Realization of Automation Service Choreographies. Search on Bibsonomy ETFA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
18Rupak Majumdar, Nobuko Yoshida, Damien Zufferey Multiparty motion coordination: from choreographies to robotics programs. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
18Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto Towards Refinable Choreographies. Search on Bibsonomy ICE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
18Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti Choreographies as Objects. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
18Rupak Majumdar, Nobuko Yoshida, Damien Zufferey Multiparty Motion Coordination: From Choreographies to Robotics Programs. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
18Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub Realisability of Control-State Choreographies. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 385 (100 per page; Change: )
Pages: [1][2][3][4][>>]
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