Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Eneia Todoran

Eneia Nicolae Todoran

> Home > Persons

Person information

affiliation: Technical University of Cluj-Napoca, Romania

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jmemcom/CiobanuT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jmemcom/CiobanuT23
Gabriel Ciobanu, Eneia Nicolae Todoran:
Variants of spiking neural P systems and their operational semantics in Haskell. J. Membr. Comput. 5(2): 81-99 (2023)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/nc/CiobanuT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/nc/CiobanuT23
Gabriel Ciobanu, Eneia Nicolae Todoran:
Spiking neural P systems and their semantics in Haskell. Nat. Comput. 22(1): 41-54 (2023)
2022
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/isci/CiobanuT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/CiobanuT22
Gabriel Ciobanu, Eneia Nicolae Todoran:
A process calculus for spiking neural P systems. Inf. Sci. 604: 298-319 (2022)
2017
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/TodoranP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/TodoranP17
Eneia Nicolae Todoran, Nikolaos Papaspyrou:
Concurrency Semantics in Continuation-Passing Style. Fundam. Informaticae 153(1-2): 125-146 (2017)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CiobanuT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CiobanuT17
Gabriel Ciobanu, Eneia Nicolae Todoran:
Denotational semantics of membrane systems by using complete metric spaces. Theor. Comput. Sci. 701: 85-108 (2017)
2016
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/CiobanuT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/CiobanuT16
Gabriel Ciobanu, Eneia Nicolae Todoran:
Correct metric semantics for a language inspired by DNA computing. Concurr. Comput. Pract. Exp. 28(11): 3042-3060 (2016)
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CiobanuT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CiobanuT14
Gabriel Ciobanu, Eneia Nicolae Todoran:
Continuation Semantics for Asynchronous Concurrency. Fundam. Informaticae 131(3-4): 373-388 (2014)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/Todoran22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/Todoran22
Eneia Nicolae Todoran:
Quantitative Programming and Markov Decision Processes. SYNASC 2022: 117-124
2021
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/iccp2/Todoran21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccp2/Todoran21
Eneia Nicolae Todoran:
Continuation Semantics for Interaction and Concurrency. ICCP 2021: 189-197
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/Todoran21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/Todoran21
Eneia Nicolae Todoran:
Equivalence Classes in Performance Evaluation Programming. SYNASC 2021: 194-199
2020
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/iccp2/Todoran20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccp2/Todoran20
Eneia Nicolae Todoran:
Metric Semantics for Concurrent Languages Designed in Continuation-Passing Style. ICCP 2020: 521-528
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/CiobanuT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/CiobanuT20
Gabriel Ciobanu, Eneia Nicolae Todoran:
A Study of Multiparty Interactions in Continuation Semantics. SYNASC 2020: 117-124
2019
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/iccp2/Todoran19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccp2/Todoran19
Eneia Nicolae Todoran:
Continuation-Based Metric Semantics for Concurrency. ICCP 2019: 551-559
2018
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/iccp2/PetrincaT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccp2/PetrincaT18
Daniela Paula Petrinca, Eneia Nicolae Todoran:
Immune System Modeling and Analysis using CARMA. ICCP 2018: 409-416
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/membrane/CiobanuT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/membrane/CiobanuT18
Gabriel Ciobanu, Eneia Nicolae Todoran:
A Semantic Investigation of Spiking Neural P Systems. Int. Conf. on Membrane Computing 2018: 108-130
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/CiobanuT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/CiobanuT18
Gabriel Ciobanu, Eneia Nicolae Todoran:
On the Abstractness of Continuation Semantics. SYNASC 2018: 167-174
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/Todoran18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/Todoran18
Eneia Nicolae Todoran:
Towards Performance Evaluation Programming. SYNASC 2018: 302-309
2017
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/CiobanuT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/CiobanuT17
Gabriel Ciobanu, Eneia Nicolae Todoran:
Abstract Continuation Semantics for Asynchronous Concurrency. SYNASC 2017: 296-303
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/Todoran17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/Todoran17
Eneia Nicolae Todoran:
An Approach to Performance Evaluation Programming. SYNASC 2017: 320-329
2016
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/membrane/CiobanuT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/membrane/CiobanuT16
Gabriel Ciobanu, Eneia Nicolae Todoran:
Continuation Passing Semantics for Membrane Systems. Int. Conf. on Membrane Computing 2016: 165-176
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/CiobanuT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/CiobanuT16
Gabriel Ciobanu, Eneia Nicolae Todoran:
Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions. SYNASC 2016: 335-342
2015
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/iccp2/MoldovanT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccp2/MoldovanT15
Roxana Dorina Moldovan, Eneia Nicolae Todoran:
Immune system modeling and analysis using Bio-PEPA. ICCP 2015: 475-482
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/iccp2/TodoranM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccp2/TodoranM15
Eneia Nicolae Todoran, Paulina Mitrea:
Semantic investigation of a control-flow subset of BPMN 2.0. ICCP 2015: 483-490
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/CiobanuT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/CiobanuT15
Gabriel Ciobanu, Eneia Nicolae Todoran:
Continuation Semantics for Concurrency with Multiple Channels Communication. ICFEM 2015: 400-416
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/CiobanuT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/CiobanuT15
Gabriel Ciobanu, Eneia Nicolae Todoran:
Continuation Semantics for Dynamic Hierarchical Systems. SYNASC 2015: 281-288
2014
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/CiobanuT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/CiobanuT14
Gabriel Ciobanu, Eneia Nicolae Todoran:
Correct Metric Semantics for a Biologically-Inspired Formalism. SYNASC 2014: 317-324
2013
[c11]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fedcsis/RouselakisPTT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fedcsis/RouselakisPTT13
Yannis Rouselakis, Nikolaos S. Papaspyrou, Yiannis Tsiouris, Eneia Todoran:
Compilation to Quantum Circuits for a Language with Quantum Data and Control. FedCSIS 2013: 1537-1544
2012
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/CiobanuT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/CiobanuT12
Gabriel Ciobanu, Eneia Nicolae Todoran:
Relating Two Metric Semantics for Parallel Rewriting of Multisets. SYNASC 2012: 273-280
2011
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ispdc/DorinT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispdc/DorinT11
Dorin Simina, Eneia Nicolae Todoran:
Mobile Objects Security Protocols. ISPDC 2011: 186-190
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ispdc/TodoranABPRSVZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispdc/TodoranABPRSVZ11
Eneia Nicolae Todoran, Claudiu Adam, Mirel Balc, Radu Pop, Razvan Radu, Dorin Simina, Emanuel Varga, Dan Andrei Zaharia:
Mobile Objects and Modern Communication Abstractions: Design Issues and Denotational Semantics. ISPDC 2011: 191-198
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/CiobanuT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/CiobanuT11
Gabriel Ciobanu, Eneia Nicolae Todoran:
Metric Denotational Semantics for Parallel Rewriting of Multisets. SYNASC 2011: 276-283
2010
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/CiobanuT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/CiobanuT10
Gabriel Ciobanu, Eneia Nicolae Todoran:
Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets. SYNASC 2010: 387-391
2009
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/CiobanuT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/CiobanuT09
Gabriel Ciobanu, Eneia Nicolae Todoran:
A Methodology for Concurrent Languages Development Based on Denotational Semantics. SYNASC 2009: 290-298
2008
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/TodoranG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/TodoranG08
Eneia Nicolae Todoran, Nicolae Gherman:
Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented Programming. SYNASC 2008: 289-294
2000
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/TodoranP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/TodoranP00
Eneia Todoran, Nikolaos Papaspyrou:
Continuations for parallel logic programming. PPDP 2000: 257-267
1999
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Todoran99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Todoran99
Eneia Todoran:
Metric semantics for synchronous and asynchronous communication: a continuation-based approach. WDS@FCT 1999: 101-127
1997
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/slp/TodoranHV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slp/TodoranHV97
Eneia Todoran, Jerry den Hartog, Erik P. de Vink:
Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. ILPS 1997: 101-115

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.