| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gabriel Ciobanu, Calin Juravle |
Flexible software architecture and language for mobile agents.  |
Concurrency and Computation: Practice and Experience  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Properties of enhanced mobile membranes via coloured Petri nets. |
Inf. Process. Lett. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, G. Michele Pinna |
Catalytic Petri Nets Are Turing Complete. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Maciej Koutny |
Timed Mobility in process algebra and Petri nets. |
J. Log. Algebr. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Mutual mobile membranes with objects on surface. |
Natural Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu |
Biologically Inspired Process Calculi, Petri Nets and Membrane Computing |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Time Delays in Membrane Systems and Petri Nets |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu |
Proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011) |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Shankara Narayanan Krishna |
Enhanced Mobile Membranes: Computability Results. |
Theory Comput. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Agrigoroaiei, Bogdan Aman, Gabriel Ciobanu |
Semantics, Causality and Mobility in Membrane Computing. |
ERCIM News |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Mobility in Process Calculi and Natural Computing |
|
2011 |
DOI RDF |
|
| 1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
Metric Denotational Semantics for Parallel Rewriting of Multisets. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Alexandru, Gabriel Ciobanu |
Nominal Semantics of the pi I-calculus. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Maciej Koutny |
Timed Migration and Interaction with Access Permissions. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
A Temporal Logic for Mutual Mobile Membranes with Objects on Surface. |
Computation, Cooperation, and Life |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankara Narayanan Krishna, Gabriel Ciobanu |
A S2P ÈP2P\Sigma_2^P \cup \Pi_2^P Lower Bound Using Mobile Membranes. |
DCFS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Agrigoroaiei, Gabriel Ciobanu |
Quantitative Causality in Membrane Systems. |
Int. Conf. on Membrane Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankara Narayanan Krishna, Gabriel Ciobanu |
Computability Power of Mobility in Enhanced Mobile Membranes. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Agrigoroaiei, Gabriel Ciobanu |
Reversing computation in membrane systems. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Agrigoroaiei, Gabriel Ciobanu |
Rule-based and object-based event structures for membrane systems. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Maciej Koutny (eds.) |
Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010 |
MeCBIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients. |
Scholarpedia |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Formalizing the Behavior of Biological Processes with Mobility. |
UC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu |
Finding Network Resources by Using Mobile Agents. |
IDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Calin Juravle |
Mobile Agents with Timers, and Their Implementation. |
IDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Agrigoroaiei, Gabriel Ciobanu |
Flattening the Transition P Systems with Dissolution. |
Int. Conf. on Membrane Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu |
Mobility in Computer Science and in Membrane Systems. |
Int. Conf. on Membrane Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Dorel Lucanu |
Model-based Testing and Analysis of Coordinated Components. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hugh Anderson, Gabriel Ciobanu |
Markov Abstractions for Probabilistic Pi-Calculus. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Andreas Resios |
Complexity of evolution in maximum cooperative P systems. |
Natural Computing |
2009 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Viorel Mihai Gontineac |
Encodings of Multisets. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Sergiu Rudeanu |
Final and sequential behaviours of M-automata. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Agrigoroaiei, Gabriel Ciobanu |
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Mutual Mobile Membranes with Timers |
COMPMOD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu (eds.) |
Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009 |
MeCBIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Simple, Enhanced and Mutual Mobile Membranes. |
T. Comp. Sys. Biology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Calin Juravle |
A Software Platform for Timed Mobility and Timed Interaction. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
A Methodology for Concurrent Languages Development Based on Denotational Semantics. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Turing Completeness Using Three Mobile Membranes. |
UC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Agrigoroaiei, Gabriel Ciobanu, Andreas Resios |
Evolving by Maximizing the Number of Rules: Complexity Study. |
Workshop on Membrane Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Typed Membrane Systems. |
Workshop on Membrane Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu |
Information Theory over Multisets. |
Computing and Informatics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Bogdan Aman |
On the relationship between membranes and ambients. |
Biosystems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Danut Rusu |
Supermetrics over Apartness Lattice-Ordered Semigroup. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu |
Interaction in Time and Space. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Describing the Immune System Using Enhanced Mobile Membranes. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Andreas Resios |
Computational Complexity of Simple P Systems. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Ciobanu |
Behaviour Equivalences in Timed Distributed pi-Calculus. |
Software-Intensive Systems and New Computing Paradigms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Timed Mobile Ambients for Network Protocols. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Agrigoroaiei, Gabriel Ciobanu |
Non-interleaving Semantics with Causality for Nondeterministic Dataflow. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Resource Competition and Synchronization in Membranes. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosmin Bonchis, Gabriel Ciobanu, Graiela Ghergu, Cornel Izbasa |
Data Compression on Multisets. Submultiset-Free Codes. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Maciej Koutny |
Modelling and Verification of Timed Interaction and Migration. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
compositional translation, behavioural consistency, mobility, process algebra, high-level Petri nets, timers |
| 1 | Gabriel Ciobanu |
From Gene Regulation to Stochastic Fusion. |
UC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugh Anderson, Gabriel Ciobanu, Leo Freitas |
UTP and Temporal Logic Model Checking. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Agrigoroaiei, Gabriel Ciobanu |
Dual P Systems. |
Workshop on Membrane Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankara Narayanan Krishna, Gabriel Ciobanu |
On the Computational Power of Enhanced Mobile Membranes. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Andrei, Gabriel Ciobanu, Dorel Lucanu |
A rewriting logic framework for operational semantics of membrane systems. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Linqiang Pan, Gheorghe Paun, Mario J. Pérez-Jiménez |
P systems with minimal parallelism. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Sergiu Rudeanu |
Equivalent Transformations of Automata by Using Behavioural Automata. |
J. UCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Translating Mobile Ambients into P Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Cristian Prisacariu |
Coordination by Timers for Channel-Based Anonymous Communications. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Timers and Proximities for Mobile Ambients. |
CSR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Mobile Ambients with Timers and Types. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Structural Properties and Observability in Membrane Systems. |
SYNASC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu |
Time and Space Coordination of Mobile Agents. |
IDC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Dorel Lucanu |
Events, Causality, and Concurrency in Membrane Systems. |
Workshop on Membrane Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
On the Reachability Problem in P Systems with Mobile Membranes. |
Workshop on Membrane Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Viorel Mihai Gontineac |
Mealy multiset automata. |
Int. J. Found. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu |
New Editorial Team. |
Sci. Ann. Cuza Univ. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Oana Andrei, Dorel Lucanu, Gabriel Ciobanu |
Operational Semantics and Rewriting Logic in Membrane Computing. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Cristian Prisacariu |
Timers for Distributed Systems. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Gheorghe Paun, Mario J. Pérez-Jiménez |
On the Branching Complexity of P Systems. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Dorel Lucanu |
A specification language for coordinated objects. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
coordination, temporal logic, process algebra, objects, bisimulation, classes |
| 1 | Gabriel Ciobanu |
Theory and applications of P systems. |
Int. J. Comput. Math. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Vladimir A. Zakharov |
Encoding Mobile Ambients into the pi -Calculus. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa |
Encodings and Arithmetic Operations in Membrane Computing. |
TAMC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Danut Rusu |
A Topological Approach of the Web Classification. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu |
Modeling Cell-Mediated Immunity by Means of P Systems. |
Applications of Membrane Computing |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Mario J. Pérez-Jiménez, Gheorghe Paun (eds.) |
Applications of Membrane Computing |
Applications of Membrane Computing |
2006 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Ciobanu |
Collaborative Agents Interaction Using Message Passing Interface. |
SYNASC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu |
Number Encodings and Arithmetics over Multisets. |
SYNASC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu |
Coordination and Self-Organization in MultiAgent Systems. |
ISDA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Zaharie, Gabriel Ciobanu |
Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems. |
Workshop on Membrane Computing |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Andrei, Gabriel Ciobanu, Dorel Lucanu |
Expressing Control Mechanisms of Membranes by Rewriting Strategies. |
Workshop on Membrane Computing |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Viorel Mihai Gontineac |
P Machines: An Automata Approach to Membrane Computing. |
Workshop on Membrane Computing |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Janardan Misra |
Performance Analysis and Name Passing Errors in Probabilistic Fusion. |
Sci. Ann. Cuza Univ. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Dorel Lucanu |
Communicating Concurrent Objects in HiddenCCS. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Viorel Mihai Gontineac |
An Automata Description of the Genetic Message Translation. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Gheorghe Paun, Gheorghe Stefanescu |
P Transducers. |
New Generation Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Zaharie, Dana Petcu, Viorel Negru, Tudor Jebelean, Gabriel Ciobanu, Alexandru Cicortas, Ajith Abraham, Marcin Paprzycki (eds.) |
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania |
SYNASC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Ciobanu |
Theory and Practice of Programming Applied to Membrane Systems. |
SYNASC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, K. N. Sridhar |
Specifications and Verification of Network Protocols by Process Algebra. |
SYNASC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Danes, Dorel Lucanu, Gabriel Ciobanu |
Specification of Coordinated Objects and Verification of Their Temporal Properties. |
SYNASC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Danut Rusu |
Topological spaces of the web. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
topology density, separation, web metrics |
| 1 | Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa, Dana Petcu |
A Web-Based P Systems Simulator and Its Parallelization. |
UC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Andrei, Gabriel Ciobanu, Dorel Lucanu |
Structural Operational Semantics of P Systems. |
Workshop on Membrane Computing |
2005 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")