# Gabriel Ciobanu

According to our database

^{1}, Gabriel Ciobanu## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2017

An efficient method to factorize fuzzy attribute-oriented concept lattices.

Fuzzy Sets and Systems, 2017

Efficiently solving the Bin Packing problem through bio-inspired mobility.

Acta Inf., 2017

2016

Modelling and verification of weighted spiking neural systems.

Theor. Comput. Sci., 2016

Simulating P systems with membrane dissolution in a chemical calculus.

Natural Computing, 2016

Pawlak Approximations in the Framework of Nominal Sets.

Multiple-Valued Logic and Soft Computing, 2016

A descriptive type foundation for RDF Schema.

J. Log. Algebr. Meth. Program., 2016

Verifying vehicle control systems by using process calculi.

IJAHUC, 2016

Abstract Interpretations in the Framework of Invariant Sets.

Fundam. Inform., 2016

Private Names in Non-Commutative Logic.

CoRR, 2016

Correct metric semantics for a language inspired by DNA computing.

Concurrency and Computation: Practice and Experience, 2016

Essential and density topologies of continuous domains.

Ann. Pure Appl. Logic, 2016

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

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

Continuation Passing Semantics for Membrane Systems.

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

Computational Power of Protein Networks.

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

Private Names in Non-Commutative Logic.

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Finitely Supported Mathematics - An Introduction

Springer, ISBN: 978-3-319-42282-4, 2016

2015

Verification of membrane systems with delays via Petri nets with delays.

Theor. Comput. Sci., 2015

Behavioural observations of cell movements with timing aspects.

Nano Comm. Netw., 2015

Minimal type inference for Linked Data consumers.

J. Log. Algebr. Meth. Program., 2015

Similarity relations in fuzzy attribute-oriented concept lattices.

Fuzzy Sets and Systems, 2015

Strategy based semantics for mobility with time and access permissions.

Formal Asp. Comput., 2015

A Grand Master of Discrete Mathematics.

Sci. Ann. Comp. Sci., 2015

PerTiMo: A Model of Spatial Migration with Safe Access Permissions.

Comput. J., 2015

Generalized Multisets: From ZF to FSM.

Computing and Informatics, 2015

Timeout Interaction and Migration in Distributed Systems.

Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

Verification of Bounded Real-Time Distributed Systems With Mobility.

Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

Continuation Semantics for Dynamic Hierarchical Systems.

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

Static Analysis in Finitely Supported Mathematics.

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

Automated Verification of Stochastic Spiking Neural P Systems.

Proceedings of the Membrane Computing, 2015

Natural Computing Modelling of the Polynomial Space Turing Machines.

Proceedings of the 11th International Conference on ICT in Education, 2015

Dening Finitely Supported Mathematics over Sets with Atoms.

Proceedings of the 11th International Conference on ICT in Education, 2015

Continuation Semantics for Concurrency with Multiple Channels Communication.

Proceedings of the Formal Methods and Software Engineering, 2015

Timed Mobility and Timed Communication for Critical Systems.

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

Behavioural Analysis of Sessions Using the Calculus of Structures.

Proceedings of the Perspectives of System Informatics, 2015

Mobility Types for Cloud Computing.

Proceedings of the Embracing Global Computing in Emerging Economies - First Workshop, 2015

2014

Power of Causal Dependencies in Rule-Based Systems.

Journal of Automata, Languages and Combinatorics, 2014

Catalytic and communicating Petri nets are Turing complete.

Inf. Comput., 2014

Continuation Semantics for Asynchronous Concurrency.

Fundam. Inform., 2014

Monitoring Changes in Dynamic Multiset Systems.

Fundam. Inform., 2014

Nominal Groups and Their Homomorphism Theorems.

Fundam. Inform., 2014

Theoretical Aspects of Computing.

Sci. Ann. Comp. Sci., 2014

Rewriting Systems Over Indexed Multisets.

Comput. J., 2014

Correct Metric Semantics for a Biologically-Inspired Formalism.

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

Expressing BBUFs Lookup Using the π-Calculus.

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

Phase-Type Approximations for Non-Markovian Systems: A Case Study.

Proceedings of the Software Engineering and Formal Methods, 2014

PHASE: A Stochastic Formalism for Phase-Type Distributions.

Proceedings of the Formal Methods and Software Engineering, 2014

From TiMo to Event-B: Event-Driven Timed Mobility.

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

A Formal Topology of Web Classification.

Proceedings of the Graph-Based Representation and Reasoning, 2014

Extracting Threshold Conceptual Structures from Web Documents.

Proceedings of the Graph-Based Representation and Reasoning, 2014

Descriptive Types for Linked Data Resources.

Proceedings of the Perspectives of System Informatics, 2014

Computational Power of Chemical Kinetics in Living Cells.

Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, 2014

Observational Equivalences in a Bio-Inspired Formalism Involving Mobility and Lifetimes.

Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, 2014

2013

General patterns of interaction in stochastic fusion.

Natural Computing, 2013

Scenario Based P Systems.

IJUC, 2013

Local Type Checking for Linked Data Consumers.

Proceedings of the Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, 2013

Computational Power of Protein Interaction Networks.

Proceedings of the Unconventional Computation and Natural Computation, 2013

Non-interleaving Operational Semantics for Geographically Replicated Databases.

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

TiMo: Timed Mobility in Distributed Systems.

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

Algebraic Properties of Generalized Multisets.

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

Behavioural Types Inspired by Cellular Thresholds.

Proceedings of the Software Engineering and Formal Methods, 2013

Real-Time Migration Properties of rTiMo Verified in Uppaal.

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Behavioural Equivalences in Real-Time P Systems.

Proceedings of the Membrane Computing, 2013

A Probabilistic Logic for pTiMo.

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Mobile Membranes: Computability and Complexity.

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Automatic Analysis of TiMo Systems in PAT.

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility.

Proceedings of the Distributed Computing and Internet Technology, 2013

2012

Modelling and analysis of biological systems: - Based on papers presented at the Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena).

Theor. Comput. Sci., 2012

Properties of enhanced mobile membranes via coloured Petri nets.

Inf. Process. Lett., 2012

A Provenance Tracking Model for Data Updates

Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

Flexible software architecture and language for mobile agents.

Concurrency and Computation: Practice and Experience, 2012

Relating Two Metric Semantics for Parallel Rewriting of Multisets.

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

Timed Catalytic Petri Nets.

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

Nominal Fusion Calculus.

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

A Timed Mobility Semantics Based on Rewriting Strategies.

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

An Analysis of Correlative and Static Causality in P Systems.

Proceedings of the Membrane Computing, 2012

Mobile Membranes with Objects on Surface as Colored Petri Nets.

Proceedings of the Membrane Computing, 2012

Catalytic Petri Nets Are Turing Complete.

Proceedings of the Language and Automata Theory and Applications, 2012

Behavioural Equivalences over Migrating Processes with Timers.

Proceedings of the Formal Techniques for Distributed Systems, 2012

Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps.

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

On the Computability Power of Membrane Systems with Controlled Mobility.

Proceedings of the How the World Computes, 2012

2011

Mobility in Process Calculi and Natural Computing

Natural Computing Series, Springer, ISBN: 978-3-642-24866-5, 2011

Mutual mobile membranes with objects on surface.

Natural Computing, 2011

Enhanced Mobile Membranes: Computability Results.

Theory Comput. Syst., 2011

Timed Mobility in process algebra and Petri nets.

J. Log. Algebr. Program., 2011

Semantics, Causality and Mobility in Membrane Computing.

ERCIM News, 2011

Proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011)

CoRR, 2011

Biologically Inspired Process Calculi, Petri Nets and Membrane Computing

CoRR, 2011

Time Delays in Membrane Systems and Petri Nets

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems.

Acta Inf., 2011

Metric Denotational Semantics for Parallel Rewriting of Multisets.

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

Nominal Semantics of the pi I-calculus.

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

Quantitative Causality in Membrane Systems.

Proceedings of the Membrane Computing, 2011

Timed Migration and Interaction with Access Permissions.

Proceedings of the FM 2011: Formal Methods, 2011

Proceedings of the Descriptional Complexity of Formal Systems, 2011

Computability Power of Mobility in Enhanced Mobile Membranes.

Proceedings of the Models of Computation in Context, 2011

A Temporal Logic for Mutual Mobile Membranes with Objects on Surface.

Proceedings of the Computation, 2011

2010

Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients.

Scholarpedia, 2010

Rule-based and object-based event structures for membrane systems.

J. Log. Algebr. Program., 2010

Reversing computation in membrane systems.

J. Log. Algebr. Program., 2010

Formalizing the Behavior of Biological Processes with Mobility.

Proceedings of the Unconventional Computation - 9th International Conference, 2010

Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets.

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

Mobility in Computer Science and in Membrane Systems.

Proceedings of the Membrane Computing, 2010

Flattening the Transition P Systems with Dissolution.

Proceedings of the Membrane Computing, 2010

Mobile Agents with Timers, and Their Implementation.

Proceedings of the Intelligent Distributed Computing IV - Proceedings of the 4th International Symposium on Intelligent Distributed Computing, 2010

Finding Network Resources by Using Mobile Agents.

Proceedings of the Intelligent Distributed Computing IV - Proceedings of the 4th International Symposium on Intelligent Distributed Computing, 2010

2009

Simple, Enhanced and Mutual Mobile Membranes.

Trans. Computational Systems Biology, 2009

Complexity of evolution in maximum cooperative P systems.

Natural Computing, 2009

Encodings of Multisets.

Int. J. Found. Comput. Sci., 2009

Preface.

Electr. Notes Theor. Comput. Sci., 2009

Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors.

Electr. Notes Theor. Comput. Sci., 2009

Model-based Testing and Analysis of Coordinated Components.

ECEASST, 2009

Markov Abstractions for Probabilistic Pi-Calculus.

ECEASST, 2009

Mutual Mobile Membranes with Timers

Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

Final and sequential behaviours of M-automata.

Acta Inf., 2009

Turing Completeness Using Three Mobile Membranes.

Proceedings of the Unconventional Computation, 8th International Conference, 2009

A Methodology for Concurrent Languages Development Based on Denotational Semantics.

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

Typed Membrane Systems.

Proceedings of the Membrane Computing, 10th International Workshop, 2009

Evolving by Maximizing the Number of Rules: Complexity Study.

Proceedings of the Membrane Computing, 10th International Workshop, 2009

A Software Platform for Timed Mobility and Timed Interaction.

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

Behaviour Equivalences in Timed Distributed pi-Calculus.

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Computational Complexity of Simple P Systems.

Fundam. Inform., 2008

Supermetrics over Apartness Lattice-Ordered Semigroup.

Electr. Notes Theor. Comput. Sci., 2008

Interaction in Time and Space.

Electr. Notes Theor. Comput. Sci., 2008

Describing the Immune System Using Enhanced Mobile Membranes.

Electr. Notes Theor. Comput. Sci., 2008

Information Theory over Multisets.

Computing and Informatics, 2008

On the relationship between membranes and ambients.

Biosystems, 2008

UTP and Temporal Logic Model Checking.

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

From Gene Regulation to Stochastic Fusion.

Proceedings of the Unconventional Computing, 7th International Conference, 2008

Data Compression on Multisets. Submultiset-Free Codes.

Proceedings of the SYNASC 2008, 2008

Resource Competition and Synchronization in Membranes.

Proceedings of the SYNASC 2008, 2008

Dual P Systems.

Proceedings of the Membrane Computing - 9th International Workshop, 2008

Non-interleaving Semantics with Causality for Nondeterministic Dataflow.

Proceedings of the Theoretical Aspects of Computing, 2008

Timed Mobile Ambients for Network Protocols.

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Modelling and Verification of Timed Interaction and Migration.

Proceedings of the Fundamental Approaches to Software Engineering, 2008

On the Computational Power of Enhanced Mobile Membranes.

Proceedings of the Logic and Theory of Algorithms, 2008

2007

P systems with minimal parallelism.

Theor. Comput. Sci., 2007

A rewriting logic framework for operational semantics of membrane systems.

Theor. Comput. Sci., 2007

Equivalent Transformations of Automata by Using Behavioural Automata.

J. UCS, 2007

Coordination by Timers for Channel-Based Anonymous Communications.

Electr. Notes Theor. Comput. Sci., 2007

Translating Mobile Ambients into P Systems.

Electr. Notes Theor. Comput. Sci., 2007

Structural Properties and Observability in Membrane Systems.

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

Events, Causality, and Concurrency in Membrane Systems.

Proceedings of the Membrane Computing, 8th International Workshop, 2007

On the Reachability Problem in P Systems with Mobile Membranes.

Proceedings of the Membrane Computing, 8th International Workshop, 2007

Time and Space Coordination of Mobile Agents.

Proceedings of the Advances in Intelligent and Distributed Computing, 2007

Mobile Ambients with Timers and Types.

Proceedings of the Theoretical Aspects of Computing, 2007

Timers and Proximities for Mobile Ambients.

Proceedings of the Computer Science, 2007

2006

A specification language for coordinated objects.

ACM SIGSOFT Software Engineering Notes, 2006

Algebraic and Topological Properties of Apartness Lattice-Ordered Semigroups.

Multiple-Valued Logic and Soft Computing, 2006

Mealy multiset automata.

Int. J. Found. Comput. Sci., 2006

Theory and applications of P systems.

Int. J. Comput. Math., 2006

On the Branching Complexity of P Systems.

Fundam. Inform., 2006

Timers for Distributed Systems.

Electr. Notes Theor. Comput. Sci., 2006

Operational Semantics and Rewriting Logic in Membrane Computing.

Electr. Notes Theor. Comput. Sci., 2006

New Editorial Team.

Sci. Ann. Cuza Univ., 2006

Encodings and Arithmetic Operations in Membrane Computing.

Proceedings of the Theory and Applications of Models of Computation, 2006

Collaborative Agents Interaction Using Message Passing Interface.

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

Number Encodings and Arithmetics over Multisets.

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

Modeling Cell-Mediated Immunity by Means of P Systems.

Proceedings of the Applications of Membrane Computing, 2006

Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems.

Proceedings of the Membrane Computing, 7th International Workshop, 2006

P Machines: An Automata Approach to Membrane Computing.

Proceedings of the Membrane Computing, 7th International Workshop, 2006

Expressing Control Mechanisms of Membranes by Rewriting Strategies.

Proceedings of the Membrane Computing, 7th International Workshop, 2006

Coordination and Self-Organization in MultiAgent Systems.

Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006

A Topological Approach of the Web Classification.

Proceedings of the Theoretical Aspects of Computing, 2006

Encoding Mobile Ambients into the

*pi*-Calculus.
Proceedings of the Perspectives of Systems Informatics, 2006

2005

P Transducers.

New Generation Comput., 2005

An Automata Description of the Genetic Message Translation.

Fundam. Inform., 2005

Communicating Concurrent Objects in HiddenCCS.

Electr. Notes Theor. Comput. Sci., 2005

Performance Analysis and Name Passing Errors in Probabilistic Fusion.

Sci. Ann. Cuza Univ., 2005

Topological spaces of the web.

Proceedings of the 14th international conference on World Wide Web, 2005

A Web-Based P Systems Simulator and Its Parallelization.

Proceedings of the Unconventional Computation, 4th International Conference, 2005

Specification of Coordinated Objects and Verification of Their Temporal Properties.

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

Specifications and Verification of Network Protocols by Process Algebra.

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

Theory and Practice of Programming Applied to Membrane Systems.

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

Algebraic and Coalgebraic Aspects of Membrane Computing.

Proceedings of the Membrane Computing, 6th International Workshop, 2005

Structural Operational Semantics of P Systems.

Proceedings of the Membrane Computing, 6th International Workshop, 2005

Self-organizing Distribution of Agents over Hosts.

Proceedings of the Computer and Information Sciences, 2005

2004

Model Checking for Object Specifications in Hidden Algebra.

Proceedings of the Verification, 2004

Cellular Meta-programming over Membranes.

Proceedings of the Unconventional Programming Paradigms, 2004

A P System Description of the Sodium-Potassium Pump.

Proceedings of the Membrane Computing, 5th International Workshop, 2004

Executable Specifications of P Systems.

Proceedings of the Membrane Computing, 5th International Workshop, 2004

Specification and Verification of Synchronizing Concurrent Objects.

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Relating pi-calculus to Object-Z.

Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra.

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

2003

Space and Time over the Web.

Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

A Formalism for Distributed Systems with an Accurate Graphical Representation.

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

P Systems Running on a Cluster of Computers.

Proceedings of the Membrane Computing, International Workshop, 2003

Discrete Event Systems and Client-Server Model for Signaling Mechanisms.

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002

Molecular interaction.

Theor. Comput. Sci., 2002

Gene Expression by Software Mechanisms.

Fundam. Inform., 2002

P System Software Simulator.

Fundam. Inform., 2002

Designing and Developing Multi-Agent Systems.

Sci. Ann. Cuza Univ., 2002

Membrane Systems and Distributed Computing.

Proceedings of the Membrane Computing, International Workshop, 2002

Client-Server P Systems in Modeling Molecular Interaction.

Proceedings of the Membrane Computing, International Workshop, 2002

A RDF-based Model for Expressing Spatio-Temporal Relations Between Web Sites.

Proceedings of the 3rd International Conference on Web Information Systems Engineering, 2002

2001

JC-Nets.

Proceedings of the Machines, 2001

Molecular structures.

Proceedings of the Where Mathematics, 2001

2000

A Pi-calculus Machine.

J. UCS, 2000

On a Formal Description of the Molecular Processes.

Proceedings of the Recent Topics in Mathematical and Computational Linguistics, 2000

1999

Abstract Structures for Communication between Processes.

Proceedings of the Perspectives of System Informatics, 1999

1998

Faithful pi-nets - A graphical representation of the asynchronous pi-calculus .

Electr. Notes Theor. Comput. Sci., 1998

Interaction Structures for Communicating Processes.

Sci. Ann. Cuza Univ., 1998

1996

The Reflexive Domain of CPO's Ideals.

Acta Cybern., 1996

1995

On the "rep" construction into pi-nets.

Sci. Ann. Cuza Univ., 1995

Dataflow lambda-calculus.

Sci. Ann. Cuza Univ., 1995

1992

A Model for a lambda-calculus Extended for Dataflow Computation.

Sci. Ann. Cuza Univ., 1992