Eneia Todoran

CoRR, 2024

2023

Variants of spiking neural P systems and their operational semantics in Haskell.

[BibT_eX]

[DOI]

J. Membr. Comput., June, 2023

Spiking neural P systems and their semantics in Haskell.

[BibT_eX]

[DOI]

Nat. Comput., March, 2023

Quantitative Programming and Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2023

2022

A process calculus for spiking neural P systems.

[BibT_eX]

[DOI]

Inf. Sci., 2022

Quantitative Programming and Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022

2021

Equivalence Classes in Performance Evaluation Programming.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021

Continuation Semantics for Interaction and Concurrency.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Intelligent Computer Communication and Processing, 2021

2020

A Study of Multiparty Interactions in Continuation Semantics.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2020

Metric Semantics for Concurrent Languages Designed in Continuation-Passing Style.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Intelligent Computer Communication and Processing, 2020

2019

Continuation-Based Metric Semantics for Concurrency.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Intelligent Computer Communication and Processing, 2019

2018

Towards Performance Evaluation Programming.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

On the Abstractness of Continuation Semantics.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

A Semantic Investigation of Spiking Neural P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2018

Immune System Modeling and Analysis using CARMA.

[BibT_eX]

[DOI]

Daniela Paula Petrinca

Proceedings of the 14th IEEE International Conference on Intelligent Computer Communication and Processing, 2018

2017

Denotational semantics of membrane systems by using complete metric spaces.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Concurrency Semantics in Continuation-Passing Style.

[BibT_eX]

[DOI]

Nikolaos Papaspyrou

Fundam. Informaticae, 2017

An Approach to Performance Evaluation Programming.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

Abstract Continuation Semantics for Asynchronous Concurrency.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

2016

Correct metric semantics for a language inspired by DNA computing.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2016

Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions.

[BibT_eX]

[DOI]

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

Continuation Passing Semantics for Membrane Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

2015

Continuation Semantics for Dynamic Hierarchical Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Continuation Semantics for Concurrency with Multiple Channels Communication.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2015

Semantic investigation of a control-flow subset of BPMN 2.0.

[BibT_eX]

[DOI]

Paulina Mitrea

Proceedings of the IEEE International Conference on Intelligent Computer Communication and Processing, 2015

Immune system modeling and analysis using Bio-PEPA.

[BibT_eX]

[DOI]

Roxana Dorina Moldovan

Proceedings of the IEEE International Conference on Intelligent Computer Communication and Processing, 2015

2014

Continuation Semantics for Asynchronous Concurrency.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

Correct Metric Semantics for a Biologically-Inspired Formalism.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

2013

Compilation to Quantum Circuits for a Language with Quantum Data and Control.

[BibT_eX]

[DOI]

Yannis Rouselakis

Nikolaos S. Papaspyrou

Yiannis Tsiouris

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

2012

Relating Two Metric Semantics for Parallel Rewriting of Multisets.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

2011

Metric Denotational Semantics for Parallel Rewriting of Multisets.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

Mobile Objects and Modern Communication Abstractions: Design Issues and Denotational Semantics.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

Mobile Objects Security Protocols.

[BibT_eX]

[DOI]

Dorin Simina

Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

2010

Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

2009

A Methodology for Concurrent Languages Development Based on Denotational Semantics.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

2008

Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented Programming.

[BibT_eX]

[DOI]

Nicolae Gherman

Proceedings of the SYNASC 2008, 2008

2000

Continuations for parallel logic programming.

[BibT_eX]

[DOI]

Nikolaos Papaspyrou

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

1999

Metric semantics for synchronous and asynchronous communication: a continuation-based approach.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Distributed Systems, 1999

1997

Comparative Metric Semantics for Commit in OR-Parallel Logic Programming.

[BibT_eX]