[J1] A. Alexandru, G. Ciobanu. Nominal Event Structures. Romanian Journal of Information Science and Technlogy. vol. 15(2), 79-90, 2012.
[J2] A. Alexandru, G. Ciobanu. Nominal Semantics of Mobility. Romanian Journal of Information Science and Technlogy. vol. 15(3), 171-214, 2012.
[J3] A. Alexandru, G. Ciobanu. Nominal Groups and their Homomorphism Theorems, Fundamenta Informaticae, vol. 131(3-4), 279-298, 2014.
[J4] A. Alexandru, G. Ciobanu. A Nominal Approach for Fusion Calculus. Romanian Journal of Information Science and Technology, vol. 17(3), 265-288, 2014.
[J5] A. Alexandru, G. Ciobanu. Generalized Multisets: From ZF to FSM. Computing and Informatics, vol. 34(5), 1133-1150, 2015.
[J6] A. Alexandru, G. Ciobanu. Abstract Interpretations in the Framework of Invariant Sets. Fundamenta Informaticae, vol. 144(1), 1-22, 2016.
[J7] A. Alexandru, G. Ciobanu. Finitely Supported Subgroups of a Nominal Group. Mathematical Reports, vol. 18/68(2), 233-246, 2016.
[J8] O. Agrigoroaiei, G. Ciobanu. Rewriting Systems Over Indexed Multisets. The Computer Journal, vol. 57(1), 165-179, 2014.
[J9] B. Aman, G. Ciobanu. Solving a Weak NP-complete Problem in Polynomial Time by Using Mutual Mobile Membrane Systems. Acta Informatica, vol. 48(7-8), 409-415, 2011.
[J10] B. Aman, G. Ciobanu. Properties of Enhanced Mobile Membranes Via Coloured Petri Nets. Information Processing Letters, vol. 112, 243-248, 2012.
[J11] B. Aman, G. Ciobanu. Expressing Mobile Ambients in Temporal Logic of Actions, Proceedings of the Romanian Academy - Series A: Mathematics, Physics, Technical Sciences, Information Science, vol. 15(1), 95-104, 2014.
[J12] B. Aman, G. Ciobanu. Verification of Membrane Systems With Delays via Petri Nets With Delays. Theoretical Computer Science, vol.598, 87-101, 2015.
[J13] B. Aman, P. Battyanyi, G. Ciobanu, G. Vaszil. Simulating P Systems With Membrane Dissolution in a Chemical Calculus. Natural Computing, 1–12, 2016. doi:10.1007/s11047-016-9570-5.
[J14] B. Aman, G. Ciobanu. Modelling and Verification of Weighted Spiking Neural Systems. Theoretical Computer Science, vol. 623, 92-102, 2016. doi: 10.1016/j.tcs.2015.11.005.
[J15] B. Aman, G. Ciobanu. Efficiently Solving the Bin Packing Problem Through Bio-Inspired Mobility. Acta Informatica, 1-11, 2016. doi:10.1007/s00236-016-0264-3.
[J16] G. Ciobanu. General Patterns of Interaction in Stochastic Fusion. Natural Computing, vol. 12(3), 429-439, 2013.
[J17] G. Ciobanu, R Horne, V. Sassone. Minimal Type Inference for Linked Data Consumers. Journal of Logical and Algebraic Methods in Programming, vol. 84(4), 485-504, 2015.
[J18] G. Ciobanu, M. Koutny. Modelling and Analysis of Biological Systems. Theoretical Computer Science, vol. 431, 2-3, 2012.
[J19] G. Ciobanu, M. Koutny. PerTiMo: A Model of Spatial Migration with Safe Access Permissions. The Computer Journal, vol. 58(5), 1041-1060, 2015.
[J20] G. Ciobanu, M. Koutny, L.J. Steggles. Strategy Based Semantics for Mobility With Time and Access Permissions. Formal Aspects of Computing vol. 27(3), 525-549, 2015.
[J21] G. Ciobanu, S.N. Krishna. Enhanced Mobile Membranes: Computability Results. Theory of Computing Systems, vol. 48, 715-729, 2011.
[J22] G. Ciobanu, C. Juravle. Flexible Software Architecture and Language for Mobile Agents. Concurrency and Computation: Practice and Experience, vol. 24, 559-571, 2012.
[J23] G. Ciobanu, A.S. Rotaru. Verifying Vehicle Control Systems by Using Process Calculi. International Journal of Ad Hoc and Ubiquitous Computing, vol. 21(1), 41-49, 2016. doi: 10.1504/IJAHUC.2016.074388.
[J24] G. Ciobanu, D. Sburlan. Scenario Based P Systems. International Journal of Unconventional Computing, vol. 9(5-6), 351-366, 2013.
[J25] G. Ciobanu, E.N. Todoran. Correct Metric Semantics for a Language Inspired by DNA Computing. Concurrency and Computation: Practice and Experience, vol. 28(11), 3042-3060, 2016.
[J26] G. Ciobanu, C. Vaideanu. Similarity Relations in Fuzzy Attribute-Oriented Concept Lattices. Fuzzy Sets and Systems, vol.275, 88-109, 2015.

[W1] A. Alexandru, G. Ciobanu. Nominal Fusion Calculus. SYNASC 2012, IEEE Computer Society, 376-384, 2012.
[W2] A. Alexandru, G. Ciobanu. Algebraic Properties of Generalized Multisets. SYNASC 2013, IEEE Computer Society Press, 369-377, 2013.
[W3] A. Alexandru, G. Ciobanu. Static Analysis in Finitely Supported Mathematics. SYNASC 2015, IEEE Computer Society Press, 312-319, 2015.
[W4] A. Alexandru, G. Ciobanu. Defining Finitely Supported Mathematics over Sets with Atoms. SMSV 2015, CEUR-WS, vol. 1356, 382-395, 2015.
[W5] O. Agrigoroaiei, G. Ciobanu. Quantitative Causality in Membrane Systems. Lecture Notes in Computer Science, vol. 7184, 62-72, 2012.
[W6] B. Aman, G. Ciobanu. Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps. Lecture Notes in Computer Science, vol. 7274, 122-136, 2012.
[W7] B. Aman, G. Ciobanu. Mobile Membranes with Objects on Surface as Colored Petri Nets. Lecture Notes in Computer Science, vol. 7762, 128-144, 2013.
[W8] B. Aman, G. Ciobanu. Mobile Membranes: Computability and Complexity. Lecture Notes in Computer Science, vol. 8049, 59-75, 2013.
[W9] B. Aman, G. Ciobanu. Real-Time Migration Properties of rTiMo Verified in Uppaal. Lecture Notes in Computer Science, vol. 8137, 31-45, 2013.
[W10] B. Aman, G. Ciobanu, S.N. Krishna. Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility. Lecture Notes in Computer Science, vol. 7753, 432-443, 2013.
[W11] B. Aman, G. Ciobanu, M. Koutny. Behavioural Equivalences over Migrating Processes with Timers. Lecture Notes in Computer Science, vol. 7273, 52-66, 2012.
[W12] B. Aman, G. Ciobanu, G.M. Pinna. Timed Catalytic Petri Nets. SYNASC 2012, IEEE Computer Society, 319-326, 2012.
[W13] B. Aman, G. Ciobanu. Behavioural Types Inspired by Cellular Thresholds, Lecture Notes in Computer Science, vol. 8368, 1-15, 2014.
[W14] B. Aman, G. Ciobanu. Behavioural Equivalences in Real-Time P Systems. Lecture Notes in Computer Science, vol. 8340, 88-100, 2014.
[W15] B. Aman, G. Ciobanu. Timed Mobility and Timed Communication for Critical Systems. Lecture Notes in Computer Science, vol. 9128, 146-161, 2015.
[W16] B. Aman, G. Ciobanu. Verification of Bounded Real-Time Distributed Systems With Mobility. CEUR-WS, vol. 1431, 109-120, 2015.
[W17] B. Aman, G. Ciobanu. BioMaxP: A Formal Approach for Cellular Ion Pumps. Computer Science Journal of Moldova, vol. 23(2), 2015.
[W18] B. Aman, G. Ciobanu. Mobility Types For Cloud Computing. Communications in Computer and Information Science, vol. 514, 43-53, 2015.
[W19] B. Aman, G. Ciobanu. Automated Verification of Stochastic Spiking Neural P Systems. Lecture Notes in Computer Science, vol. 9504, 77-91, 2015.
[W20] G. Ciobanu. TiMo. Timed Mobility in Distributed Systems. SYNASC 2013, IEEE Computer Society, 5-10, 2014.
[W21] G. Ciobanu. Timeout Interaction and Migration in Distributed Systems. CEUR-WS, vol. 1431, 79-80, 2015.
[W22] G. Ciobanu, T.S. Hoang, A. Stefanescu. From TiMo to Event-B: Event-Driven Timed Mobility, ICECCS 2014, IEEE Computer Society, 1-10, 2014.
[W23] G. Ciobanu, R. Horne. A Provenance Tracking Model for Data Updates. Electronic Proceedings in Theoretical Computer Science, vol. 91, 31-44, 2012.
[W24] G. Ciobanu, R. Horne. Non-interleaving Operational Semantics for Geographically Replicated Databases, SYNASC 2013, IEEE Computer Society, 440-447, 2014.
[W25] G. Ciobanu, R. Horne. Behavioural Analysis of Sessions Using the Calculus of Structures. Ershov Memorial Conference 2015, Lecture Notes in Computer Science, vol. 9609, 91-106, 2016.
[W26] G. Ciobanu, R. Horne, V. Sassone. Local Type Checking for Linked Data Consumers. Electronic Proceedings in Theoretical Computer Science, vol. 123, 19-33, 2013.
[W27] G. Ciobanu, R. Horne, V. Sassone. Descriptive Types for Linked Data Resources. Lecture Notes in Computer Science, vol. 8974, 1-25, 2015.
[W28] G. Ciobanu, R. Horne, C. Vaideanu. Extracting Threshold Conceptual Structures from Web Documents. Lecture Notes in Computer Science, vol. 8577, 130-144, 2014.
[W29] G. Ciobanu, M. Koutny, J. Steggles. A Timed Mobility Semantics based on Rewriting Strategies. Lecture Notes in Computer Science, vol. 7504, 141-155, 2012.
[W30] G. Ciobanu, G.M. Pinna. Catalytic Petri Nets are Turing Complete. Lecture Notes in Computer Science, vol. 7183, 192-203, 2012.
[W31] G. Ciobanu, D. Rusu. A Formal Topology of Web Classification. Lecture Notes in Computer Science, vol. 8577, 145-158, 2014.
[W32] G. Ciobanu, A. Rotaru. PHASE: A Stochastic Formalism for Phase-Type Distributions. Lecture Notes in Computer Science, vol. 8829, 91-106, 2014.
[W33] G. Ciobanu, A. Rotaru. A Probabilistic Logic for pTiMo. Lecture Notes in Computer Science, vol. 8049, 141-158, 2013.
[W34] G. Ciobanu, M. Zheng. Verifying TiMo Systems in PAT. ICECCS 2013, IEEE Computer Society, 121-124, 2013.
[W35] R. Horne, A. Tiu, B. Aman, G. Ciobanu. Private Names in Non-Commutative Logic. CONCUR 2016, Leibniz International Proceedings in Informatics, vol. 59, 31:1-31:16, 2016. doi: 10.4230/LIPIcs.CONCUR.2016.31.
[W36] S.N. Krishna, B. Aman, G. Ciobanu. On the Computability Power of Membrane Systems with Controlled Mobility. Lecture Notes in Computer Science, vol. 7318, 627-636, 2012.
[W37] R. Pagliarini, O. Agrigoroaiei, G. Ciobanu, V. Manca. An Analysis of Correlative and Static Causality in P Systems. Lecture Notes in Computer Science, vol.7762, 323-341, 2013.

[A1] B. Aman, G. Ciobanu. Behavioural Observations of Cell Movements With Timing Aspects. Nano Communication Networks, vol. 6(3), 96-102, 2015.
[A2] R. Horne, A. Tiu, B. Aman, G. Ciobanu. Private Names in Non-Commutative Logic. CoRR abs/1602.06043, 2016.

[P1] A. Alexandru, G. Ciobanu. Nominal Fusion Calculus. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), Timisoara, Romania, 26-29 September 2012.
[P2] A. Alexandru, G. Ciobanu. Countable Sets in Finitely Supported Mathematics. Conference on Mathematical Foundations of Informatics (MFOI 2016), Vadul lui Voda, Republic of Moldova, 25-29 July 2016.
[P3] A. Alexandru, G. Ciobanu. Finitely Supported Mathematics. Conference on Complex Systems (CCS 2016), Beurs Van Berlage, Amsterdam, The Netherlands, 19-22 September 2016.
[P4] B. Aman, G. Ciobanu. Mobile Membranes with Objects on Surface as Colored Petri Nets. 13th Conference on Membrane Computing (CMC 2012), Budapest, Hungary, 28-31 August 2012.
[P5] B. Aman, G. Ciobanu. Behavioural Equivalences over Mobile Membranes with Delays. 13th Italian Conference on Theoretical Computer Science (ICTCS 2012), Villa Toeplitz, Varese, Italy, 19-21 Septmeber 2012.
[P6] B. Aman, G. Ciobanu. Behavioural Equivalences in Real-Time P Systems. 14th International Conference on Membrane Computing 2013 (CMC 2013), Chişinău, Republic of Moldova, 20-23 August 2013.
[P7] B. Aman, G. Ciobanu. Mobile Membranes: Computability and Complexity. 10th International Colloquium on Theoretical Aspects of Computing (ICTAC 2013), Shanghai, China, 4-6 September 2013.
[P8] B. Aman, G. Ciobanu. Behavioural Types Inspired by Cellular Thresholds. 2nd International Workshop on Behavioural Types (Beat II 2013), Madrid, Spain, 23-24 September 2013.
[P9] B. Aman, G. Ciobanu. Real-Time Migration Properties of rTiMo Verified in Uppaal. 11th International Conference on Software Engineering and Formal Methods (SEFM 2013), Madrid, Spain, 25-27 September 2013.
[P10] B. Aman, G. Ciobanu, G.M. Pinna. Timed Catalytic Petri Nets. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), Timisoara, Romania, 26-29 September 2012.
[P11] B. Aman, G. Ciobanu. Life-Death Ratio Approach by a Multiset-Based Type System, 12th Brainstorming Week on Membrane Computing (BWMC 2014), Sevilla, Spain, 3-7 February 2014.
[P12] B. Aman, G. Ciobanu. Mobility Types for Cloud Computing. 8th Congress of Romanian Mathematicians, (CMR 2015), Iasi, Romania, 26-30 June 2015.
[P13] B. Aman, G. Ciobanu. Automated Verification of Stochastic Spiking Neural P Systems. 16th International Conference on Membrane Computing (CMC 2015), Valencia, Spain, 17-21 August 2015.
[P14] B. Aman, G. Ciobanu. Type Inference for Ratio Control Multiset-Based Systems. 22nd International Conference on Types for Proofs and Programs (TYPES 2016), Novi Sad, Serbia, 23-26 May 2016.
[P15] B. Aman, G. Ciobanu. Computational Power of Protein Networks. 17th International Conference on Membrane Computing (CMC 2016), Milano, Italy, 25–29 July 2016.
[P16] G. Ciobanu. TiMo in Timișoara. 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2013), Timisoara, Romania, 23-26 September 2013.
[P17] G. Ciobanu. Computational Power of Chemical Kinetics in Living Cells. 8th International Conference on Bio-inspired Information and Communications Technologies (BICT 2014), Boston, USA, 1-3 December 2014.
[P18] G. Ciobanu. Probabilistic Logic for Timed Migration. 8th Congress of Romanian Mathematicians (CMR 2015), Iasi, Romania, 26-30 June 2015.
[P19] G. Ciobanu, R. Horne, V. Sassone. Local Type Checking for Linked Data Consumers. 9th International Workshop on Automated Specification and Verification of Web Systems (WWV 2013), Florence, Italy, 6th of June, 2013.
[P20] G. Ciobanu, A. Rotaru. A Probabilistic Logic for pTiMo. 10th International Colloquium on Theoretical Aspects of Computing (ICTAC 2013), Shanghai, China, 4-6 September 2013.
[P21] G. Ciobanu, A. Rotaru. Phase-Type Approximations for Non-Markovian Systems: A Case Study. 4th Workshop on Formal Methods in the Development of Software, (WS-FMDS 2014), Grenoble, France, 1-2 September 2014.
[P22] G. Ciobanu, E.N. Todoran. Relating Two Metric Semantics for Parallel Rewriting of Multisets. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), Timisoara, Romania, 26-29 September 2012.
[P23] G. Ciobanu, M. Zheng. Verifying TiMo systems in PAT. 18th International Conference on Engineering of Complex Computer Systems (ICECCS 2013), Singapore 17-19 July 2013.
[P24] R. Pagliarini, O. Agrigoroaiei, G. Ciobanu, V. Manca. An Analysis of Correlative and Quantitative Causality in P Systems. 13th Conference on Membrane Computing (CMC 2012), Budapest, Hungary, 28-31 August 2012.

[B1] A. Alexandru, G. Ciobanu. Finitely Supported Mathematics: An introduction, Springer, 185 pages, 2016, ISBN 978-3-319-42281-7. http://www.springer.com/gp/book/9783319422817.
[B2] B. Aman, G. Ciobanu. Mobility in Process Calculi and Natural Computing. XIII+208p., Springer, 2011. http://www.springerlink.com/content/978-3-642-24867-2

[TR1] B. Aman, G. Ciobanu. Solving Weak NP-Complete Problems in Polynomial Time with Mutual Mobile Membranes. FML-11-02, 26p., 2011. http://iit.iit.tuiasi.ro/TR/reports/fml1102.pdf.
[TR2] G. Ciobanu, M. Koutny, J. Steggles. A Timed Mobility Semantics based on Rewriting Strategies. School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1341. http://www.ncl.ac.uk/computing/research/publication/186735.
[TR3] G. Ciobanu, A. Rotaru. A Probabilistic Query Language for Migrating Processes with Timers. FML-12-01, 31p., Nov. 2012. http://iit.iit.tuiasi.ro/TR/reports/fml1201.pdf.
[TR4] G.Ciobanu, A. Rotaru. Stochastic Process Calculi for Human-Computer Interaction. FML-13-01, 30p., Feb. 2013. http://iit.iit.tuiasi.ro/TR/reports/fml1301.pdf
[TR5] G. Ciobanu, A. Rotaru. Phase-Type Approximations for Non-Markovian Systems. FML-14-01, 35p., June. 2014. http://iit.iit.tuiasi.ro/TR/reports/fml1401.pdf