| 2024 | SEFM | Behavioural Equivalences over Reconfigurable Systems. | Bogdan Aman, Gabriel Ciobanu |
| 2022 | MCU | From Networks of Reaction Systems to Communicating Reaction Systems and Back. | Bogdan Aman |
| 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 |
| 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 |
| 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 |
| 2015 | FMICS | Timed Mobility and Timed Communication for Critical Systems. | Bogdan Aman, 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 | VECoS | Verification of Bounded Real-Time Distributed Systems With Mobility. | Bogdan Aman, Gabriel Ciobanu |
| 2013 | ICDCIT | Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility. | Bogdan Aman, Gabriel Ciobanu, Shankara Narayanan Krishna |
| 2013 | ICTAC | Mobile Membranes: Computability and Complexity. | Bogdan Aman, Gabriel Ciobanu |
| 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 | 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 | SYNASC | Timed Catalytic Petri Nets. | Bogdan Aman, Gabriel Ciobanu, G. Michele Pinna |
| 2010 | UC | Formalizing the Behavior of Biological Processes with Mobility. | Bogdan Aman, Gabriel Ciobanu |
| 2009 | UC | Turing Completeness Using Three Mobile Membranes. | Bogdan Aman, Gabriel Ciobanu |
| 2008 | FORTE | Timed Mobile Ambients for Network Protocols. | Bogdan Aman, Gabriel Ciobanu |
| 2008 | SYNASC | Resource Competition and Synchronization in Membranes. | Bogdan Aman, 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 | SYNASC | Structural Properties and Observability in Membrane Systems. | Bogdan Aman, Gabriel Ciobanu |