Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. - Eneia Todoran; Jerry den Hartog; Erik P. de Vink (ILPS, 1997)

Metric semantics for synchronous and asynchronous communication: a continuation-based approach. - Eneia Todoran (WDS@FCT, 1999)

Continuations for parallel logic programming. - Eneia Todoran; Nikolaos Papaspyrou (PPDP, 2000)

Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented Programming. - Eneia Nicolae Todoran; Nicolae Gherman (SYNASC, 2008)

A Methodology for Concurrent Languages Development Based on Denotational Semantics. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2009)

Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2010)

Mobile Objects Security Protocols. - Dorin Simina; Eneia Nicolae Todoran (ISPDC, 2011)

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 (ISPDC, 2011)

Metric Denotational Semantics for Parallel Rewriting of Multisets. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2011)

Relating Two Metric Semantics for Parallel Rewriting of Multisets. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2012)

Compilation to Quantum Circuits for a Language with Quantum Data and Control. - Yannis Rouselakis; Nikolaos S. Papaspyrou; Yiannis Tsiouris; Eneia Todoran (FedCSIS, 2013)

Correct Metric Semantics for a Biologically-Inspired Formalism. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2014)

Continuation Semantics for Asynchronous Concurrency. - Gabriel Ciobanu; Eneia Nicolae Todoran (Fundam. Informaticae, 2014)

Immune system modeling and analysis using Bio-PEPA. - Roxana Dorina Moldovan; Eneia Nicolae Todoran (ICCP, 2015)

Semantic investigation of a control-flow subset of BPMN 2.0. - Eneia Nicolae Todoran; Paulina Mitrea (ICCP, 2015)

Continuation Semantics for Concurrency with Multiple Channels Communication. - Gabriel Ciobanu; Eneia Nicolae Todoran (ICFEM, 2015)

Continuation Semantics for Dynamic Hierarchical Systems. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2015)

Continuation Passing Semantics for Membrane Systems. - Gabriel Ciobanu; Eneia Nicolae Todoran (Int. Conf. on Membrane Computing, 2016)

Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2016)

Correct metric semantics for a language inspired by DNA computing. - Gabriel Ciobanu; Eneia Nicolae Todoran (Concurr. Comput. Pract. Exp., 2016)

Abstract Continuation Semantics for Asynchronous Concurrency. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2017)

An Approach to Performance Evaluation Programming. - Eneia Nicolae Todoran (SYNASC, 2017)

Concurrency Semantics in Continuation-Passing Style. - Eneia Nicolae Todoran; Nikolaos Papaspyrou (Fundam. Informaticae, 2017)

Denotational semantics of membrane systems by using complete metric spaces. - Gabriel Ciobanu; Eneia Nicolae Todoran (Theor. Comput. Sci., 2017)

Immune System Modeling and Analysis using CARMA. - Daniela Paula Petrinca; Eneia Nicolae Todoran (ICCP, 2018)

A Semantic Investigation of Spiking Neural P Systems. - Gabriel Ciobanu; Eneia Nicolae Todoran (Int. Conf. on Membrane Computing, 2018)

On the Abstractness of Continuation Semantics. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2018)

Towards Performance Evaluation Programming. - Eneia Nicolae Todoran (SYNASC, 2018)

Continuation-Based Metric Semantics for Concurrency. - Eneia Nicolae Todoran (ICCP, 2019)

Metric Semantics for Concurrent Languages Designed in Continuation-Passing Style. - Eneia Nicolae Todoran (ICCP, 2020)

A Study of Multiparty Interactions in Continuation Semantics. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2020)

Continuation Semantics for Interaction and Concurrency. - Eneia Nicolae Todoran (ICCP, 2021)

Equivalence Classes in Performance Evaluation Programming. - Eneia Nicolae Todoran (SYNASC, 2021)

Quantitative Programming and Markov Decision Processes. - Eneia Nicolae Todoran (SYNASC, 2022)

A process calculus for spiking neural P systems. - Gabriel Ciobanu; Eneia Nicolae Todoran (Inf. Sci., 2022)

Quantitative Programming and Continuous-Time Markov Chains. - Eneia Nicolae Todoran (SYNASC, 2023)

Spiking neural P systems and their semantics in Haskell. - Gabriel Ciobanu; Eneia Nicolae Todoran (Nat. Comput., 2023)

Variants of spiking neural P systems and their operational semantics in Haskell. - Gabriel Ciobanu; Eneia Nicolae Todoran (J. Membr. Comput., 2023)

Abstract Continuation Semantics for a Biologically-Inspired Formalism. - Gabriel Ciobanu; Eneia Nicolae Todoran (SYNASC, 2024)

Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS. - Eneia Nicolae Todoran; Gabriel Ciobanu (FROM, 2024)