| 2025 | SYNASC | Metric Continuation-Passing Semantics for Multiparty Interactions. | Eneia Nicolae Todoran, Gabriel Ciobanu |
| 2024 | SYNASC | Abstract Continuation Semantics for a Biologically-Inspired Formalism. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2023 | SYNASC | Quantitative Programming and Continuous-Time Markov Chains. | Eneia Nicolae Todoran |
| 2022 | SYNASC | Quantitative Programming and Markov Decision Processes. | Eneia Nicolae Todoran |
| 2021 | SYNASC | Equivalence Classes in Performance Evaluation Programming. | Eneia Nicolae Todoran |
| 2020 | SYNASC | A Study of Multiparty Interactions in Continuation Semantics. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2018 | SYNASC | On the Abstractness of Continuation Semantics. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2018 | SYNASC | Towards Performance Evaluation Programming. | Eneia Nicolae Todoran |
| 2017 | SYNASC | Abstract Continuation Semantics for Asynchronous Concurrency. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2017 | SYNASC | An Approach to Performance Evaluation Programming. | Eneia Nicolae Todoran |
| 2016 | SYNASC | Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2015 | ICFEM | Continuation Semantics for Concurrency with Multiple Channels Communication. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2015 | SYNASC | Continuation Semantics for Dynamic Hierarchical Systems. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2014 | SYNASC | Correct Metric Semantics for a Biologically-Inspired Formalism. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2012 | SYNASC | Relating Two Metric Semantics for Parallel Rewriting of Multisets. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2011 | ISPDC | Mobile Objects Security Protocols. | Dorin Simina, Eneia Nicolae Todoran |
| 2011 | ISPDC | Mobile Objects and Modern Communication Abstractions: Design Issues and Denotational Semantics. | Eneia Nicolae Todoran, Claudiu Adam, Mirel Balc, Radu Pop, Razvan Radu, Dorin Simina, Emanuel Varga, Dan Andrei Zaharia |
| 2011 | SYNASC | Metric Denotational Semantics for Parallel Rewriting of Multisets. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2010 | SYNASC | Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2009 | SYNASC | A Methodology for Concurrent Languages Development Based on Denotational Semantics. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2008 | SYNASC | Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented Programming. | Eneia Nicolae Todoran, Nicolae Gherman |