Emilio Tuosto

Available identifiers

zbMath Open tuosto.emilioWikidataQ56501858 ScholiaQ56501858MaRDI QIDQ1770361

List of research outcomes

Publication	Date of Publication	Type
On Composing Communicating Systems	2024-03-01	Paper
Data-driven choreographies à la Klaim	2024-02-23	Paper
Composition of synchronous communicating systems	2023-09-25	Paper
A Theory of Formal Choreographic Languages	2023-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q5057639	2022-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q5089279	2022-07-18	Paper
Towards refinable choreographies	2022-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q5019694	2022-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5019695	2022-01-10	Paper
An abstract framework for choreographic testing	2021-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4994124	2021-06-17	Paper
Composition and decomposition of multiparty sessions	2021-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q5129942	2020-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q5216330	2020-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q5216080	2020-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q5208776	2020-01-10	Paper
Realisability of pomsets	2019-11-28	Paper
Contract-Oriented Computing in CO2	2019-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q5270091	2017-06-22	Paper
Honesty by Typing	2017-04-11	Paper
From Communicating Machines to Graphical Choreographies	2016-09-29	Paper
Attribute-based transactions in service oriented computing	2016-07-27	Paper
Relating two automata-based models of orchestration and choreography	2016-04-20	Paper
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods	2016-01-08	Paper
Resolving Non-determinism in Choreographies	2014-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q2849570	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q2849847	2013-09-20	Paper
Synthesising Choreographies from Local Session Types	2012-09-25	Paper
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions	2012-09-21	Paper
On the Realizability of Contracts in Dishonest Systems	2012-08-21	Paper
On Nominal Regular Languages with Binders	2012-06-22	Paper
A Theory of Design-by-Contract for Distributed Multiparty Interactions	2010-08-31	Paper
Formal Methods at the Crossroads. From Panacea to Foundational Support	2010-03-30	Paper
Verification: Theory and Practice	2010-03-23	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q3396631	2009-09-19	Paper
Coordination Via Types in an Event-Based Framework	2009-03-10	Paper
Network Applications of Graph Bisimulation	2008-11-20	Paper
Event-Based Service Coordination	2008-06-19	Paper
History Dependent Automata for Service Compatibility	2008-06-19	Paper
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing	2007-09-11	Paper
Algebra and Coalgebra in Computer Science	2006-10-20	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types	2005-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4448354	2004-02-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Emilio Tuosto