|
|
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 |
128 | Johann Eder, Marek Lehmann, Amirreza Tahamtan |
Choreographies as Federations of Choreographies and Orchestrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Advances in Conceptual Modeling - Theory and Practice, ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, 2006, Proceedings, pp. 183-192, 2006, Springer, 3-540-47703-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
110 | Birgit Hofreiter |
Registering UML models for global and local choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 10th International Conference on Electronic Commerce 2008, Innsbruck, Austria, August 19-22, 2008, pp. 37:1-37:10, 2008, ACM, 978-1-60558-075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
B2B standardization, UN/CEFACT's modeling methodology, inter-organizational business process modeling, business process modeling, inter-organizational systems |
64 | Alin Stefanescu, Sebastian Wieczorek, Andrei Kirshin |
MBT4Chor: A Model-Based Testing Approach for Service Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings, pp. 313-324, 2009, Springer, 978-3-642-02673-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Choreography Modeling, SOA, Model Transformation, Domain Specific Language, Model-Based Testing, Service Integration |
64 | Gero Decker, Alistair Barros, Frank Michael Kraft, Niels Lohmann |
Non-desynchronizable Service Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings, pp. 331-346, 2008, 978-3-540-89647-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
61 | Chao Cai, Zongyan Qiu |
An Approach to Check Choreography with Channel Passing in WS-CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China, pp. 700-707, 2008, IEEE Computer Society, 978-0-7695-3310-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
61 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Test and Analysis of Web Services ![In: Test and Analysis of Web Services, pp. 87-119, 2007, Springer, 978-3-540-72912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
61 | Gero Decker, Alistair Barros |
Interaction Modeling Using BPMN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers, pp. 208-219, 2007, Springer, 978-3-540-78237-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
60 | Johann Eder, Amirreza Tahamtan |
Temporal Conformance of Federated Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 19th International Conference, DEXA 2008, Turin, Italy, September 1-5, 2008. Proceedings, pp. 668-675, 2008, Springer, 978-3-540-85653-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Temporal Conformance, Web Services, Composition, Orchestration, Choreographies |
60 | Niels Lohmann |
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings, pp. 132-147, 2008, Springer, 978-3-540-85757-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
graph correction, correction of services, verification of services, service automata, BPEL, Choreographies, operating guidelines |
57 | Marco 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](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 39-50, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
web services, formal verification, constraints, choreographies, abduction |
49 | Milan Milanovic, Dragan Gasevic, Gerd Wagner 0001, Marek Hatala |
Rule-Enhanced Business Process Modeling Language for Service Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 337-341, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
R2ML, processes, metamodels, rules, MDE, BPMN |
49 | Michael Von Riegen, Norbert Ritter |
Reliable Monitoring for Runtime Validation of Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Fourth International Conference on Internet and Web Applications and Services, ICIW 2009, 24-28 May 2009, Venice/Mestre, Italy, pp. 310-315, 2009, IEEE Computer Society, 978-0-7695-3613-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Gero Decker, Oliver Kopp, Frank Leymann, Kerstin Pfitzner, Mathias Weske |
Modeling Service Choreographies Using BPMN and BPEL4Chor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 20th International Conference, CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings, pp. 79-93, 2008, Springer, 978-3-540-69533-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Gero Decker, Oliver Kopp, Frank Leymann, Mathias Weske |
BPEL4Chor: Extending BPEL for Modeling Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, pp. 296-303, 2007, IEEE Computer Society, 0-7695-2924-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Christian Huemer, Marco Zapletal, Philipp Liegl, Rainer Schuster |
Modeling Business Entity State Centric Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC/EEE ![In: 9th IEEE International Conference on E-Commerce Technology (CEC 2007) / 4th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (EEE 2007), 23-26 July 2007, National Center of Sciences, Tokyo, Japan, pp. 393-400, 2007, IEEE Computer Society, 0-7695-2913-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Stefanie Rinderle, Andreas Wombacher, Manfred Reichert |
Evolution of Process Choreographies in DYCHOR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I, pp. 273-290, 2006, Springer, 3-540-48287-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
49 | Gero Decker, Johannes Maria Zaha, Marlon Dumas |
Execution Semantics for Service Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 163-177, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Sebastian 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](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings, pp. 179-194, 2009, Springer, 978-3-642-05030-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Service Choreography Models, Model Checking, Formal Methods, Model-based Testing, Integration Testing |
46 | Asako Soga, Bin Umino, Takami Yasuda, Shigeki Yokoi |
Automatic composition and simulation system for ballet sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 23(5), pp. 309-316, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Simulation, Dance, Human animation, Automatic composition |
46 | Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig |
Analyzing BPEL4Chor: Verification and Participant Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings, pp. 46-60, 2007, Springer, 978-3-540-79229-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
BPEL4Chor, participant generation, service-oriented analysis and design, Petri nets, choreography |
46 | Asako Soga, Bin Umino, Takami Yasuda, Shigeki Yokoi |
Automatic Composition and Simulation System for Ballet Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 5th International Conference on Cyberworlds (CW 2006), 28-29 November 2006, Lausanne, Switzerland, pp. 43-49, 2006, IEEE Computer Society, 0-7695-2671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Loïc Hélouët, Albert Benveniste |
Document Based Modeling of Web Services Choreographies Using Active XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA, July 5-10, 2010, pp. 291-298, 2010, IEEE Computer Society, 978-0-7695-4128-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Active XML, Web services, composition, choreographies |
45 | Matteo 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](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 843-850, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
web services, interoperability, choreographies, interaction protocols, conformance |
42 | Sinuhé Arroyo, Miguel-Ángel Sicilia |
Modeling Learning Technology Interaction Using SOPHIE: Main Mappings and Example Usage Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSKS (1) ![In: Visioning and Engineering the Knowledge Society. A Web Science Perspective, Second World Summit on the Knowledge Society, WSKS 2009, Chania, Crete, Greece, September 16-18, 2009. Proceedings, pp. 128-136, 2009, Springer, 978-3-642-04753-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
OKI, OSID, SOPHIE, ontologies, Choreographies, learning technology |
37 | Andreas Weiß, Vasilios Andrikopoulos, Michael Hahn 0002, Dimka Karastoyanova |
Model-as-You-Go for Choreographies: Rewinding and Repeating Scientific Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 13(5), pp. 901-914, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
37 | Adriatik Nikaj, Mathias Weske, Jan Mendling |
Semi-automatic derivation of RESTful choreographies from business process choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 18(2), pp. 1195-1208, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Dieter Drobny, Jan O. Borchers |
Learning basic dance choreographies with different augmented feedback modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 3793-3798, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
motor skill learning, wireless sensor system, tactile feedback, dancing |
34 | Sebastian 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](Pics/bibsonomy.png) |
WICSA/ECSA ![In: Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, WICSA/ECSA 2009, Cambridge, UK, 14-17 September 2009, pp. 11-20, 2009, IEEE Computer Society, 978-1-4244-4984-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Gregorio Díaz 0001, Ismael Rodríguez |
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS/FORTE ![In: Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, pp. 231-236, 2009, Springer, 978-3-642-02137-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni |
Verification of Choreographies During Execution Using the Reactive Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers, pp. 55-72, 2008, Springer, 978-3-642-01363-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Jianwen Su, Tevfik Bultan, Xiang Fu 0001, Xiangpeng Zhao |
Towards a Theory of Web Service Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings, pp. 1-16, 2007, Springer, 978-3-540-79229-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Stefanie Rinderle, Andreas Wombacher, Manfred Reichert |
On the Controlled Evolution of Process Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 22nd International Conference on Data Engineering, ICDE 2006, 3-8 April 2006, Atlanta, GA, USA, pp. 124, 2006, IEEE Computer Society, 0-7695-2570-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Lihui Lei, Zhenhua Duan, Bin Yu |
Semantic Matching of Web Services Based on Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 10th International Conference on CSCW in Design, CSCWD 2006, May 3-5, 2006, Southeast University, Nanjing, China, pp. 751-756, 2006, IEEE, 1-4244-0165-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Marco 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](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 58-72, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Emilia Cimpian, Adrian Mocan |
WSMX Process Mediation Based on Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005, Revised Selected Papers, pp. 130-143, 2005, 3-540-32595-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Adam Barker, Christopher D. Walton, David Robertson |
Choreographing Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 2(2), pp. 152-166, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Armin Haller, Mateusz Marmolowski, Walid Gaaloul, Eyal Oren, Brahmananda Sapkota, Manfred Hauswirth |
From Workflow Models to Executable Web Service Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, pp. 131-140, 2009, IEEE Computer Society, 978-0-7695-3709-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Irfan Ul Haq, Altaf Ahmad Huqqani, Erich Schikuta |
Aggregating Hierarchical Service Level Agreements in Business Value Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management, 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009. Proceedings, pp. 176-192, 2009, Springer, 978-3-642-03847-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Business Value Networks, SLA Management, Service Level Agreements, Value Chains |
30 | Thomas Hettel, Christian Flender, Alistair Barros |
Scaling Choreography Modelling for B2B Value-Chain Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings, pp. 294-309, 2008, Springer, 978-3-540-85757-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Kerstin Pfitzner, Gero Decker, Oliver Kopp, Frank Leymann |
Web Service Choreography Configurations for BPMN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC Workshops ![In: Service-Oriented Computing - ICSOC 2007 Workshops, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers, pp. 401-412, 2007, Springer, 978-3-540-93850-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Birgit Hofreiter, Christian Huemer, Philipp Liegl, Rainer Schuster, Marco Zapletal |
Deriving executable BPEL from UMM Business Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2007 IEEE International Conference on Services Computing (SCC 2007), 9-13 July 2007, Salt Lake City, Utah, USA, pp. 178-186, 2007, IEEE Computer Society, 0-7695-2925-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Marí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](Pics/bibsonomy.png) |
SCW ![In: Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 131-139, 2006, IEEE Computer Society, 0-7695-2681-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Pablo David Villarreal, Enrique Salomone, Omar Chiotti |
Transforming Collaborative Business Process Models into Web Services Choreography Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEECS ![In: Data Engineering Issues in E-Commerce and Services, Second International Workshop, DEECS 2006, San Francisco, CA, USA, June 26, 2006, Proceedings, pp. 50-65, 2006, Springer, 3-540-35440-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Carlo Montangero, Laura Semini |
A Logical View of Choreography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings, pp. 179-193, 2006, Springer, 3-540-34694-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro |
Towards a formal framework for Choreography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 13-15 June 2005, Linköping, Sweden, pp. 107-112, 2005, IEEE Computer Society, 0-7695-2362-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Choreography languages, Web services, Service Oriented Computing |
30 | Asako 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](Pics/bibsonomy.png) |
AMDO ![In: Articulated Motion and Deformable Objects, Third International Workshop, AMDO 2004, Palma de Mallorca, Spain, September 22-24, 2004, Proceedings, pp. 227-238, 2004, Springer, 3-540-22958-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Laura Daniele, Luís Ferreira Pires, Marten van Sinderen |
Process-Oriented Behavior Generation Using Interaction Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOCW ![In: Workshops Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, EDOCW 2010, Vitória, Brazil, 25-29 October 2010, pp. 15-20, 2010, IEEE Computer Society, 978-0-7695-4164-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
MDA, model transformations, behavior modeling, orchestrations, choreographies, BPMN, interaction patterns |
18 | Dan Plyukhin, Marco Peressotti, Fabrizio Montesi |
Ozone: Fully Out-of-Order Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.17403, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani |
Branching pomsets: Design, expressiveness and applications to choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 136, pp. 100919, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi |
Alice or Bob?: Process polymorphism in choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 34, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Luca Spalazzi, Francesco Spegni, Alessandra Corneli, Berardo Naticchia |
Blockchain based choreographies: The construction industry case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 35(16), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Sasko Ristov, Stefan Pedratscher, Thomas Fahringer |
$xAFCL$xAFCL: Run Scalable Function Choreographies Across Multiple FaaS Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 16(1), pp. 711-723, January - February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi |
Certified Compilation of Choreographies with hacc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.03972, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi |
Alice or Bob?: Process Polymorphism in Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.04678, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Kyle Dingenouts, Mitchell Klijs, Jan Martijn E. M. van der Werf |
Modeling Interaction-Oriented Architectures using Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), June 27, 2023, Lisbon, Portugal., pp. 126-142, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
18 | Francesco Donini, Alessandro Marcelletti, Andrea Morichetta 0001, Andrea Polini |
RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pp. 245-248, 2023, ACM, 978-1-4503-9517-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Keli Shen, Jun-Ichiro Hirayama |
Kinematic Motor Synergy Analysis to Understand Lock Dance Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2023, Sydney, Australia, July 24-27, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2447-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jesú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](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings, pp. 296-313, 2023, Springer, 978-3-031-47261-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jesús Ortiz 0002 |
Dealing with the evolution of event-based choreographies of BPMN fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Companion) ![In: Companion Proceedings of the 42nd International Conference on Conceptual Modeling: ER Forum, 7th SCME, Project Exhibitions, Posters and Demos, and Doctoral Consortium co-located with ER 2023, Lisbon, Portugal, November 06-09, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
18 | Tom Lichtenstein, Mathias Weske |
Execution Semantics for Process Choreographies with Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM (Forum) ![In: Business Process Management Forum - BPM 2023 Forum, Utrecht, The Netherlands, September 11-15, 2023, Proceedings, pp. 90-106, 2023, Springer, 978-3-031-41622-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Thomas T. Hildebrandt, Hugo A. López 0001, Tijs Slaats |
Declarative Choreographies with Time and Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM (Forum) ![In: Business Process Management Forum - BPM 2023 Forum, Utrecht, The Netherlands, September 11-15, 2023, Proceedings, pp. 73-89, 2023, Springer, 978-3-031-41622-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti |
Modular Compilation for Higher-Order Functional Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 7:1-7:37, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi |
Certified Compilation of Choreographies with hacc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, pp. 29-36, 2023, Springer, 978-3-031-35354-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Eric 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](Pics/bibsonomy.png) |
ETFA ![In: 28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023, Sinaia, Romania, September 12-15, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-3991-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Stutz, Alexander Fay, Mike Barth, Mathias Maurmaier |
Automation Service Choreographies using Decentralized Orchestration to Integrate Non-Choreography-Enabled Equipment Assemblies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 21st IEEE International Conference on Industrial Informatics, INDIN 2023, Lemgo, Germany, July 18-20, 2023, pp. 1-8, 2023, IEEE, 978-1-6654-9313-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Andrew K. Hirsch, Deepak Garg 0001 |
Pirouette: higher-order typed functional choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(POPL), pp. 1-27, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Gianluca Filippone, Marco Autili, Massimo Tivoli |
Synthesis of context-aware business-to-business processes for location-based services through choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Evol. Process. ![In: J. Softw. Evol. Process. 34(10), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sasko Ristov, Dragi Kimovski, Thomas Fahringer |
FaaScinating Resilience for Serverless Function Choreographies in Federated Clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Netw. Serv. Manag. ![In: IEEE Trans. Netw. Serv. Manag. 19(3), pp. 2440-2452, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou |
Branching Pomsets for Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE ![In: Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022., pp. 37-52, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi |
From Infinity to Choreographies: Extraction for Unbounded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.08884, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Ivan 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.00594, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Walid Fdhila, David Knuplesch, Stefanie Rinderle-Ma, Manfred Reichert |
Verifying compliance in process choreographies: Foundations, algorithms, and implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 108, pp. 101983, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto |
Towards refinable choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 127, pp. 100776, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Kitty Zijlmans |
Intra-performance: the choreographies of K.G. Guttman. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adapt. Behav. ![In: Adapt. Behav. 30(6), pp. 547-550, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sasko Ristov, Stefan Pedratscher, Thomas Fahringer |
xAFCL: Run Scalable Function Choreographies Across Multiple FaaS Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERVICES ![In: IEEE World Congress on Services, SERVICES 2022, Barcelona, Spain, July 10-16, 2022, pp. 32, 2022, IEEE, 978-1-6654-8131-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Piotr Wisniewski 0003, Krzysztof Kluza, Anna Suchenia, Leszek Szala, Antoni Ligeza |
Recomposition of Process Choreographies Using a Graph-Based Model Repository. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM (1) ![In: Knowledge Science, Engineering and Management - 15th International Conference, KSEM 2022, Singapore, August 6-8, 2022, Proceedings, Part I, pp. 478-488, 2022, Springer, 978-3-031-10982-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sung-Shik Jongmans, Petra van den Bos |
A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, pp. 520-547, 2022, Springer, 978-3-030-99335-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Tom Lichtenstein |
Preserving Data Consistency in Process Choreographies by Design (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZEUS ![In: Proceedings of the 14th Central European Workshop on Services and their Composition (ZEUS 2022), Bamberg, Germany, February 24-25, 2022., pp. 51-55, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
18 | Flavio 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](Pics/bibsonomy.png) |
BPM (PhD/Demos) ![In: Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2022 co-located with 20th International Conference on Business Process Management (BPM 2022), Münster, Germany, September 11th to 16th, 2022., pp. 132-136, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
18 | Amina 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](Pics/bibsonomy.png) |
BPM ![In: Business Process Management - 20th International Conference, BPM 2022, Münster, Germany, September 11-16, 2022, Proceedings, pp. 418-435, 2022, Springer, 978-3-031-16102-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Olivier 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](Pics/bibsonomy.png) |
ROBOT (2) ![In: ROBOT 2022: Fifth Iberian Robotics Conference - Advances in Robotics, Volume 2, Zaragoza, Spain, 23-25 November 2022, pp. 514-527, 2022, Springer, 978-3-031-21061-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Michelle Blumenstein, Andreas Stutz, Alexander Fay, Mike Barth, Mathias Maurmaier |
Coordination of Modular Packaging Lines Using Automation Service Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 27th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2022, Stuttgart, Germany, September 6-9, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-9996-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Mei Zhang, Hui Li, Zuyuan Huang, Yudou Huang, Fu Bao |
Analyzing Realizability of BPMN Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASC/PiCom/CBDCom/CyberSciTech ![In: IEEE Intl. Conf. on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2022, Falerna, Italy, September 12-15, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-6297-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Ivan 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](Pics/bibsonomy.png) |
NMA ![In: Numerical Methods and Applications - 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22-26, 2022, Proceedings, pp. 171-180, 2022, Springer, 978-3-031-32411-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi |
From Infinity to Choreographies - Extraction for Unbounded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings, pp. 103-120, 2022, Springer, 978-3-031-16766-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Stephan Haarmann, Tom Lichtenstein, Mathias Weske |
Fragment-Based Service Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCC ![In: IEEE International Conference on Services Computing, SCC 2022, Barcelona, Spain, July 10-16, 2022, pp. 164-173, 2022, IEEE, 978-1-6654-8146-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, Marco Peressotti |
Modular Choreographies: Bridging Alice and Bob Notation to Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microservices ![In: Joint Post-proceedings of the Third and Fourth International Conference on Microservices, Microservices 2020/2022, May 10-12, 2022, Paris, France, pp. 3:1-3:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-306-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Walid Fdhila, David Knuplesch, Stefanie Rinderle-Ma, Manfred Reichert |
Verifying Compliance in Process Choreographies: Foundations, Algorithms, and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.09399, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti |
Choreographies as Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.03701, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Andrew K. Hirsch, Deepak Garg 0001 |
Pirouette: Higher-Order Typed Functional Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.03484, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Ioannis 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](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 37(1), pp. 47-62, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Tiphaine 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](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - 19th International Conference, ICSOC 2021, Virtual Event, November 22-25, 2021, Proceedings, pp. 81-96, 2021, Springer, 978-3-030-91430-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann 0001 |
Security Protocols as Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocols, Strands, and Logic ![In: Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday, pp. 98-111, 2021, Springer, 978-3-030-91630-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub |
Realisability of Control-State Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings, pp. 87-100, 2021, Springer, 978-3-030-78427-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Stutz, Alexander Fay, Mike Barth, Mathias Maurmaier |
Software Patterns for the Realization of Automation Service Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021, Vasteras, Sweden, September 7-10, 2021, pp. 1-8, 2021, IEEE, 978-1-7281-2989-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Rupak Majumdar, Nobuko Yoshida, Damien Zufferey |
Multiparty motion coordination: from choreographies to robotics programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(OOPSLA), pp. 134:1-134:30, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto |
Towards Refinable Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE ![In: Proceedings 13th Interaction and Concurrency Experience, ICE 2020, Online, 19 June 2020., pp. 61-77, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti |
Choreographies as Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.09520, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Rupak Majumdar, Nobuko Yoshida, Damien Zufferey |
Multiparty Motion Coordination: From Choreographies to Robotics Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.05484, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub |
Realisability of Control-State Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.03623, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 385 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|