Eneia Nicolae Todoran

36 papers B 6C 3Misc 17Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2024 — conf
Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS.
FROM
Eneia Nicolae Todoran, Gabriel Ciobanu
2024 Misc conf
Abstract Continuation Semantics for a Biologically-Inspired Formalism.
SYNASC
Gabriel Ciobanu, Eneia Nicolae Todoran
2023 Misc conf
Quantitative Programming and Continuous-Time Markov Chains.
SYNASC
Eneia Nicolae Todoran
2023 J jnl
Spiking neural P systems and their semantics in Haskell.
Nat. Comput.
Gabriel Ciobanu, Eneia Nicolae Todoran
2023 J jnl
Variants of spiking neural P systems and their operational semantics in Haskell.
J. Membr. Comput.
Gabriel Ciobanu, Eneia Nicolae Todoran
2022 J jnl
A process calculus for spiking neural P systems.
Inf. Sci.
Gabriel Ciobanu, Eneia Nicolae Todoran
2022 Misc conf
Quantitative Programming and Markov Decision Processes.
SYNASC
Eneia Nicolae Todoran
2021 B conf
Continuation Semantics for Interaction and Concurrency.
ICCP
Eneia Nicolae Todoran
2021 Misc conf
Equivalence Classes in Performance Evaluation Programming.
SYNASC
Eneia Nicolae Todoran
2020 Misc conf
A Study of Multiparty Interactions in Continuation Semantics.
SYNASC
Gabriel Ciobanu, Eneia Nicolae Todoran
2020 B conf
Metric Semantics for Concurrent Languages Designed in Continuation-Passing Style.
ICCP
Eneia Nicolae Todoran
2019 B conf
Continuation-Based Metric Semantics for Concurrency.
ICCP
Eneia Nicolae Todoran
2018 — conf
A Semantic Investigation of Spiking Neural P Systems.
Int. Conf. on Membrane Computing
Gabriel Ciobanu, Eneia Nicolae Todoran
2018 B conf
Immune System Modeling and Analysis using CARMA.
ICCP
Daniela Paula Petrinca, Eneia Nicolae Todoran
2018 Misc conf
On the Abstractness of Continuation Semantics.
SYNASC
Gabriel Ciobanu, Eneia Nicolae Todoran
2018 Misc conf
Towards Performance Evaluation Programming.
SYNASC
Eneia Nicolae Todoran
2017 Misc conf
Abstract Continuation Semantics for Asynchronous Concurrency.
SYNASC
Gabriel Ciobanu, Eneia Nicolae Todoran
2017 Misc conf
An Approach to Performance Evaluation Programming.
SYNASC
Eneia Nicolae Todoran
2017 J jnl
Concurrency Semantics in Continuation-Passing Style.
Fundam. Informaticae
Eneia Nicolae Todoran, Nikolaos Papaspyrou
2017 J jnl
Denotational semantics of membrane systems by using complete metric spaces.
Theor. Comput. Sci.
Gabriel Ciobanu, Eneia Nicolae Todoran
2016 — conf
Continuation Passing Semantics for Membrane Systems.
Int. Conf. on Membrane Computing
Gabriel Ciobanu, Eneia Nicolae Todoran
2016 Misc conf
Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions.
SYNASC
Gabriel Ciobanu, Eneia Nicolae Todoran
2016 J jnl
Correct metric semantics for a language inspired by DNA computing.
Concurr. Comput. Pract. Exp.
Gabriel Ciobanu, Eneia Nicolae Todoran
2015 C conf
Continuation Semantics for Concurrency with Multiple Channels Communication.
ICFEM
Gabriel Ciobanu, Eneia Nicolae Todoran
2015 Misc conf
Continuation Semantics for Dynamic Hierarchical Systems.
SYNASC
Gabriel Ciobanu, Eneia Nicolae Todoran
2015 B conf
Immune system modeling and analysis using Bio-PEPA.
ICCP
Roxana Dorina Moldovan, Eneia Nicolae Todoran
2015 B conf
Semantic investigation of a control-flow subset of BPMN 2.0.
ICCP
Eneia Nicolae Todoran, Paulina Mitrea
2014 J jnl
Continuation Semantics for Asynchronous Concurrency.
Fundam. Informaticae
Gabriel Ciobanu, Eneia Nicolae Todoran
2014 Misc conf
Correct Metric Semantics for a Biologically-Inspired Formalism.
SYNASC
Gabriel Ciobanu, Eneia Nicolae Todoran
2012 Misc conf
Relating Two Metric Semantics for Parallel Rewriting of Multisets.
SYNASC
Gabriel Ciobanu, Eneia Nicolae Todoran
2011 Misc conf
Metric Denotational Semantics for Parallel Rewriting of Multisets.
SYNASC
Gabriel Ciobanu, Eneia Nicolae Todoran
2011 C conf
Mobile Objects Security Protocols.
ISPDC
Dorin Simina, Eneia Nicolae Todoran
2011 C conf
Mobile Objects and Modern Communication Abstractions: Design Issues and Denotational Semantics.
ISPDC
Eneia Nicolae Todoran, Claudiu Adam, Mirel Balc, Radu Pop, Razvan Radu, Dorin Simina, Emanuel Varga, Dan Andrei Zaharia
2010 Misc conf
Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets.
SYNASC
Gabriel Ciobanu, Eneia Nicolae Todoran
2009 Misc conf
A Methodology for Concurrent Languages Development Based on Denotational Semantics.
SYNASC
Gabriel Ciobanu, Eneia Nicolae Todoran
2008 Misc conf
Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented Programming.
SYNASC
Eneia Nicolae Todoran, Nicolae Gherman