| 2025 | SYNASC | Metric Continuation-Passing Semantics for Multiparty Interactions. | Eneia Nicolae Todoran, Gabriel Ciobanu |
| 2024 | SEFM | Behavioural Equivalences over Reconfigurable Systems. | Bogdan Aman, Gabriel Ciobanu |
| 2024 | SYNASC | Generalized Multisets Over Infinite Alphabets with Atoms. | Andrei Alexandru, Gabriel Ciobanu |
| 2024 | SYNASC | Abstract Continuation Semantics for a Biologically-Inspired Formalism. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2022 | SAC | Synchronization operator for communication privacy. | Bogdan Aman, Gabriel Ciobanu |
| 2022 | WoLLIC | Interval Probability for Sessions Types. | Bogdan Aman, Gabriel Ciobanu |
| 2021 | SAC | Computation with cells enhanced by costs. | Bogdan Aman, Gabriel Ciobanu |
| 2020 | SOFSEM | Employing Costs in Multiagent Systems with Timed Migration and Timed Communication. | Bogdan Aman, Gabriel Ciobanu |
| 2020 | SYNASC | A Study of Multiparty Interactions in Continuation Semantics. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2019 | ICTAC | Verification of Multi-agent Systems with Timeouts for Migration and Communication. | Bogdan Aman, Gabriel Ciobanu |
| 2018 | EDCC | Analyzing the Shared Information in Social Networks. | Bogdan Aman, Gabriel Ciobanu |
| 2018 | SYNASC | Order Relations Over Finitely Supported Structures. | Andrei Alexandru, Gabriel Ciobanu |
| 2018 | SYNASC | On the Abstractness of Continuation Semantics. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2017 | SYNASC | Abstract Continuation Semantics for Asynchronous Concurrency. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2017 | VECoS | Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude. | Bogdan Aman, Gabriel Ciobanu |
| 2016 | CONCUR | Private Names in Non-Commutative Logic. | Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu |
| 2016 | SYNASC | Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2015 | FMICS | Timed Mobility and Timed Communication for Critical Systems. | Bogdan Aman, Gabriel Ciobanu |
| 2015 | ICFEM | Continuation Semantics for Concurrency with Multiple Channels Communication. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2015 | ICTERI | Dening Finitely Supported Mathematics over Sets with Atoms. | Andrei Alexandru, Gabriel Ciobanu |
| 2015 | ICTERI | Main Steps in Defining Finitely Supported Mathematics. | Andrei Alexandru, Gabriel Ciobanu |
| 2015 | ICTERI | Natural Computing Modelling of the Polynomial Space Turing Machines. | Bogdan Aman, Gabriel Ciobanu |
| 2015 | ICTERI | Solving NP-complete Problems in Polynomial Time by Using a Natural Computing Model. | Bogdan Aman, Gabriel Ciobanu |
| 2015 | SYNASC | Static Analysis in Finitely Supported Mathematics. | Andrei Alexandru, Gabriel Ciobanu |
| 2015 | SYNASC | Continuation Semantics for Dynamic Hierarchical Systems. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2015 | VECoS | Verification of Bounded Real-Time Distributed Systems With Mobility. | Bogdan Aman, Gabriel Ciobanu |
| 2015 | VECoS | Timeout Interaction and Migration in Distributed Systems. | Gabriel Ciobanu |
| 2014 | ICCS | Extracting Threshold Conceptual Structures from Web Documents. | Gabriel Ciobanu, Ross Horne, Cristian Vaideanu |
| 2014 | ICCS | A Formal Topology of Web Classification. | Gabriel Ciobanu, Danut Rusu |
| 2014 | ICECCS | From TiMo to Event-B: Event-Driven Timed Mobility. | Gabriel Ciobanu, Thai Son Hoang, Alin Stefanescu |
| 2014 | ICFEM | PHASE: A Stochastic Formalism for Phase-Type Distributions. | Gabriel Ciobanu, Armand Stefan Rotaru |
| 2014 | SEFM | Phase-Type Approximations for Non-Markovian Systems: A Case Study. | Gabriel Ciobanu, Armand Stefan Rotaru |
| 2014 | SYNASC | Expressing BBUFs Lookup Using the π-Calculus. | Gabriel Ciobanu, Dan Cojocar |
| 2014 | SYNASC | Correct Metric Semantics for a Biologically-Inspired Formalism. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2013 | ICDCIT | Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility. | Bogdan Aman, Gabriel Ciobanu, Shankara Narayanan Krishna |
| 2013 | ICECCS | Automatic Analysis of TiMo Systems in PAT. | Gabriel Ciobanu, Manchun Zheng |
| 2013 | ICTAC | Mobile Membranes: Computability and Complexity. | Bogdan Aman, Gabriel Ciobanu |
| 2013 | ICTAC | A Probabilistic Logic for pTiMo. | Gabriel Ciobanu, Armand Stefan Rotaru |
| 2013 | SEFM | Real-Time Migration Properties of rTiMo Verified in Uppaal. | Bogdan Aman, Gabriel Ciobanu |
| 2013 | SEFM | Behavioural Types Inspired by Cellular Thresholds. | Bogdan Aman, Gabriel Ciobanu |
| 2013 | SYNASC | Algebraic Properties of Generalized Multisets. | Andrei Alexandru, Gabriel Ciobanu |
| 2013 | SYNASC | TiMo: Timed Mobility in Distributed Systems. | Gabriel Ciobanu |
| 2013 | SYNASC | Non-interleaving Operational Semantics for Geographically Replicated Databases. | Gabriel Ciobanu, Ross Horne |
| 2013 | UC | Computational Power of Protein Interaction Networks. | Bogdan Aman, Gabriel Ciobanu |
| 2012 | CiE | On the Computability Power of Membrane Systems with Controlled Mobility. | Shankara Narayanan Krishna, Bogdan Aman, Gabriel Ciobanu |
| 2012 | Coordination | Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps. | Bogdan Aman, Gabriel Ciobanu |
| 2012 | FORTE | Behavioural Equivalences over Migrating Processes with Timers. | Bogdan Aman, Gabriel Ciobanu, Maciej Koutny |
| 2012 | LATA | Catalytic Petri Nets Are Turing Complete. | Gabriel Ciobanu, G. Michele Pinna |
| 2012 | SEFM | A Timed Mobility Semantics Based on Rewriting Strategies. | Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles |
| 2012 | SYNASC | Nominal Fusion Calculus. | Andrei Alexandru, Gabriel Ciobanu |
| 2012 | SYNASC | Timed Catalytic Petri Nets. | Bogdan Aman, Gabriel Ciobanu, G. Michele Pinna |
| 2012 | SYNASC | Relating Two Metric Semantics for Parallel Rewriting of Multisets. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2011 | CiE | Computability Power of Mobility in Enhanced Mobile Membranes. | Shankara Narayanan Krishna, Gabriel Ciobanu |
| 2011 | FM | Timed Migration and Interaction with Access Permissions. | Gabriel Ciobanu, Maciej Koutny |
| 2011 | SYNASC | Nominal Semantics of the pi I-calculus. | Andrei Alexandru, Gabriel Ciobanu |
| 2011 | SYNASC | Metric Denotational Semantics for Parallel Rewriting of Multisets. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2010 | IDC | Finding Network Resources by Using Mobile Agents. | Gabriel Ciobanu |
| 2010 | IDC | Mobile Agents with Timers, and Their Implementation. | Gabriel Ciobanu, Calin Juravle |
| 2010 | SYNASC | Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2010 | UC | Formalizing the Behavior of Biological Processes with Mobility. | Bogdan Aman, Gabriel Ciobanu |
| 2009 | FORTE | A Software Platform for Timed Mobility and Timed Interaction. | Gabriel Ciobanu, Calin Juravle |
| 2009 | SYNASC | A Methodology for Concurrent Languages Development Based on Denotational Semantics. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2009 | UC | Turing Completeness Using Three Mobile Membranes. | Bogdan Aman, Gabriel Ciobanu |
| 2008 | CiE | On the Computational Power of Enhanced Mobile Membranes. | Shankara Narayanan Krishna, Gabriel Ciobanu |
| 2008 | FASE | Modelling and Verification of Timed Interaction and Migration. | Gabriel Ciobanu, Maciej Koutny |
| 2008 | FORTE | Timed Mobile Ambients for Network Protocols. | Bogdan Aman, Gabriel Ciobanu |
| 2008 | ICTAC | Non-interleaving Semantics with Causality for Nondeterministic Dataflow. | Oana Agrigoroaiei, Gabriel Ciobanu |
| 2008 | SYNASC | Resource Competition and Synchronization in Membranes. | Bogdan Aman, Gabriel Ciobanu |
| 2008 | SYNASC | Data Compression on Multisets. Submultiset-Free Codes. | Cosmin Bonchis, Gabriel Ciobanu, Graiela Ghergu, Cornel Izbasa |
| 2008 | UC | From Gene Regulation to Stochastic Fusion. | Gabriel Ciobanu |
| 2007 | CSR | Timers and Proximities for Mobile Ambients. | Bogdan Aman, Gabriel Ciobanu |
| 2007 | ICTAC | Mobile Ambients with Timers and Types. | Bogdan Aman, Gabriel Ciobanu |
| 2007 | IDC | Time and Space Coordination of Mobile Agents. | Gabriel Ciobanu |
| 2007 | SYNASC | Structural Properties and Observability in Membrane Systems. | Bogdan Aman, Gabriel Ciobanu |
| 2006 | ICTAC | A Topological Approach of the Web Classification. | Gabriel Ciobanu, Danut Rusu |
| 2006 | ISDA | Coordination and Self-Organization in MultiAgent Systems. | Gabriel Ciobanu |
| 2006 | SYNASC | Number Encodings and Arithmetics over Multisets. | Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu |
| 2006 | SYNASC | Collaborative Agents Interaction Using Message Passing Interface. | Gabriel Ciobanu |
| 2006 | TAMC | Encodings and Arithmetic Operations in Membrane Computing. | Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa |
| 2005 | WWW | Topological spaces of the web. | Gabriel Ciobanu, Danut Rusu |
| 2005 | SYNASC | Theory and Practice of Programming Applied to Membrane Systems. | Gabriel Ciobanu |
| 2005 | SYNASC | Specifications and Verification of Network Protocols by Process Algebra. | Gabriel Ciobanu, K. N. Sridhar |
| 2005 | SYNASC | Specification of Coordinated Objects and Verification of Their Temporal Properties. | Mihai Danes, Dorel Lucanu, Gabriel Ciobanu |
| 2005 | UC | A Web-Based P Systems Simulator and Its Parallelization. | Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa, Dana Petcu |
| 2004 | FORTE | Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra. | K. N. Sridhar, Gabriel Ciobanu |
| 2004 | ICECCS | Relating pi-calculus to Object-Z. | Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu |
| 2004 | IFM | Specification and Verification of Synchronizing Concurrent Objects. | Gabriel Ciobanu, Dorel Lucanu |
| 2004 | VMCAI | Model Checking for Object Specifications in Hidden Algebra. | Dorel Lucanu, Gabriel Ciobanu |
| 2003 | WWW | Space and Time over the Web. | Gabriel Ciobanu, Daniel Dumitriu |
| 2003 | SNPD | A Formalism for Distributed Systems with an Accurate Graphical Representation. | Gabriel Ciobanu, Mihai Rotaru |
| 2002 | WISE | A RDF-based Model for Expressing Spatio-Temporal Relations Between Web Sites. | Sabin C. Buraga, Gabriel Ciobanu |
| 2001 | MCU | JC-Nets. | Gabriel Ciobanu, Mihai Rotaru |