Gabriel Ciobanu

Affiliations:
  • Romanian Academy, Institute of Computer Science, Iaşi, Romania
  • A.I. Cuza University, Faculty of Mathematics, Iaşi, Romania


According to our database1, Gabriel Ciobanu authored at least 271 papers between 1992 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Relating randomized right-hand sides to communicating rewriting rules.
Theor. Comput. Sci., September, 2023

Variants of spiking neural P systems and their operational semantics in Haskell.
J. Membr. Comput., June, 2023

Spiking neural P systems and their semantics in Haskell.
Nat. Comput., March, 2023

Fixed Point Results for Infinite Fuzzy Sets with Atoms.
J. Multiple Valued Log. Soft Comput., 2023

A Teacher of Great Strengths.
Sci. Ann. Comput. Sci., 2023

2022
Stochastic sharing calculus for reasoning about social networks.
J. Log. Comput., 2022

A process calculus for spiking neural P systems.
Inf. Sci., 2022

The power of synchronizing rules in membrane computing.
Inf. Sci., 2022

Dynamics of reputation in mobile agents systems and weighted timed automata.
Inf. Comput., 2022

Reflections on a Scientific Journal.
Sci. Ann. Comput. Sci., 2022

New Editorial Team for SACS after 16 Years.
Sci. Ann. Comput. Sci., 2022

A Hypergraph Model for Communication Patterns.
Axioms, 2022

Various forms of infinity for finitely supported structures.
Arch. Math. Log., 2022

Interval Probability for Sessions Types.
Proceedings of the Logic, Language, Information, and Computation, 2022

Synchronization operator for communication privacy.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021
Finitely Supported Binary Relations between Infinite Atomic Sets.
Symmetry, 2021

Memory associated with membranes systems.
J. Membr. Comput., 2021

Travelling salesman problem in tissue P systems with costs.
J. Membr. Comput., 2021

Type inference for hierarchical multiset structures in rule-based systems.
Inf. Sci., 2021

Essentials of Finitely Supported Structures.
Bull. EATCS, 2021

Computation with cells enhanced by costs.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

2020
What does P mean in Natural Computing?
Int. J. Comput. Commun. Control, November, 2020


Reversibility in Chemical Reactions.
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Local time membrane systems and time Petri nets.
Theor. Comput. Sci., 2020

Relaxing the Fraenkel-Mostowski Set Theory.
J. Multiple Valued Log. Soft Comput., 2020

Reversible computation in nature inspired rule-based systems.
J. Membr. Comput., 2020

Mutual exclusion and reversibility in reaction systems.
J. Membr. Comput., 2020

Spiking Neural P Systems with Astrocytes Producing Calcium.
Int. J. Neural Syst., 2020

Fixed point results for finitely supported algebraic structures.
Fuzzy Sets Syst., 2020

Imprecise Probability for Multiparty Session Types in Process Algebra.
CoRR, 2020

Properties of the atoms in finitely supported structures.
Arch. Math. Log., 2020

Mobile Membranes.
IEEE Access, 2020

A Study of Multiparty Interactions in Continuation Semantics.
Proceedings of the 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2020

Employing Costs in Multiagent Systems with Timed Migration and Timed Communication.
Proceedings of the SOFSEM 2020: Theory and Practice of Computer Science, 2020

Foundations of Finitely Supported Structures - A Set Theoretical Viewpoint
Springer, ISBN: 978-3-030-52961-1, 2020

2019
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic.
ACM Trans. Comput. Log., 2019

On the Foundations of Finitely Supported Sets.
J. Multiple Valued Log. Soft Comput., 2019

Synchronization of rules in membrane computing.
J. Membr. Comput., 2019

Finitely Supported Sets Containing Infinite Uniformly Supported Subsets.
Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019

Probabilities in Session Types.
Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019

Verification of Multi-agent Systems with Timeouts for Migration and Communication.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

2018
Bonding calculus.
Nat. Comput., 2018

A note on similarity relations between fuzzy attribute-oriented concept lattices.
Inf. Sci., 2018

Fuzzy sets within Finitely Supported Mathematics.
Fuzzy Sets Syst., 2018

High-Level Koutny Net.
Sci. Ann. Comput. Sci., 2018

On the Abstractness of Continuation Semantics.
Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

Order Relations Over Finitely Supported Structures.
Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

A Semantic Investigation of Spiking Neural P Systems.
Proceedings of the Membrane Computing, 2018

Adaptive P Systems.
Proceedings of the Membrane Computing, 2018

Analyzing the Shared Information in Social Networks.
Proceedings of the 14th European Dependable Computing Conference, 2018

Solving the N-Queens Puzzle by Using Few Membranes.
Proceedings of the Enjoying Natural Computing, 2018

2017
Denotational semantics of membrane systems by using complete metric spaces.
Theor. Comput. Sci., 2017

Verification of critical systems described in real-time TiMo.
Int. J. Softw. Tools Technol. Transf., 2017

Reversibility in Parallel Rewriting Systems.
J. Univers. Comput. Sci., 2017

Verification of distributed systems involving bounded-time migration.
Int. J. Crit. Comput. Based Syst., 2017

An efficient method to factorize fuzzy attribute-oriented concept lattices.
Fuzzy Sets Syst., 2017

Efficiently solving the Bin Packing problem through bio-inspired mobility.
Acta Informatica, 2017

Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

Abstract Continuation Semantics for Asynchronous Concurrency.
Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

Controlled Reversibility in Reaction Systems.
Proceedings of the Membrane Computing, 2017

2016
Modelling and verification of weighted spiking neural systems.
Theor. Comput. Sci., 2016

Simulating P systems with membrane dissolution in a chemical calculus.
Nat. Comput., 2016

Pawlak Approximations in the Framework of Nominal Sets.
J. Multiple Valued Log. Soft Comput., 2016

A descriptive type foundation for RDF Schema.
J. Log. Algebraic Methods Program., 2016

Verifying vehicle control systems by using process calculi.
Int. J. Ad Hoc Ubiquitous Comput., 2016

Abstract Interpretations in the Framework of Invariant Sets.
Fundam. Informaticae, 2016

Correct metric semantics for a language inspired by DNA computing.
Concurr. Comput. Pract. Exp., 2016

Essential and density topologies of continuous domains.
Ann. Pure Appl. Log., 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 Commun. Networks, 2015

Minimal type inference for Linked Data consumers.
J. Log. Algebraic Methods Program., 2015

Similarity relations in fuzzy attribute-oriented concept lattices.
Fuzzy Sets Syst., 2015

Strategy based semantics for mobility with time and access permissions.
Formal Aspects Comput., 2015

A Grand Master of Discrete Mathematics.
Sci. Ann. Comput. Sci., 2015

BioMaxP: A Formal Approach for Cellular Ion Pumps.
Comput. Sci. J. Moldova, 2015

PerTiMo: A Model of Spatial Migration with Safe Access Permissions.
Comput. J., 2015

Generalized Multisets: From ZF to FSM.
Comput. 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

Solving NP-complete Problems in Polynomial Time by Using a Natural Computing Model.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2015

Natural Computing Modelling of the Polynomial Space Turing Machines.
Proceedings of the 11th International Conference on ICT in Education, 2015

Main Steps in Defining Finitely Supported Mathematics.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 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.
J. Autom. Lang. Comb., 2014

Catalytic and communicating Petri nets are Turing complete.
Inf. Comput., 2014

Continuation Semantics for Asynchronous Concurrency.
Fundam. Informaticae, 2014

Monitoring Changes in Dynamic Multiset Systems.
Fundam. Informaticae, 2014

Nominal Groups and Their Homomorphism Theorems.
Fundam. Informaticae, 2014

Theoretical Aspects of Computing.
Sci. Ann. Comput. 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.
Nat. Comput., 2013

Scenario Based P Systems.
Int. J. Unconv. Comput., 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.
Concurr. Comput. Pract. Exp., 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.
Nat. Comput., 2011

Enhanced Mobile Membranes: Computability Results.
Theory Comput. Syst., 2011

Timed Mobility in process algebra and Petri nets.
J. Log. Algebraic Methods 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 Informatica, 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

A S<sub>2</sub><sup><i>P</i></sup> ÈP<sub>2</sub><sup><i>P</i></sup>\Sigma_2^P \cup \Pi_2^P Lower Bound Using Mobile Membranes.
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. Algebraic Methods Program., 2010

Reversing computation in membrane systems.
J. Log. Algebraic Methods Program., 2010

Writing as a Form of Freedom and Happiness Celebrating the 60th birthday of Gheorghe Păun.
Int. J. Comput. Commun. Control, 2010

Adding Lifetime to Objects and Membranes in P Systems.
Int. J. Comput. Commun. Control, 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. Comp. Sys. Biology, 2009

Complexity of evolution in maximum cooperative P systems.
Nat. Comput., 2009

Encodings of Multisets.
Int. J. Found. Comput. Sci., 2009

Model-based Testing and Analysis of Coordinated Components.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Markov Abstractions for Probabilistic Pi-Calculus.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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 Informatica, 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. Informaticae, 2008

Preface.
Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008

Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors.
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

Information Theory over Multisets.
Comput. Informatics, 2008

On the relationship between membranes and ambients.
Biosyst., 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. Univers. Comput. Sci., 2007

Supermetrics over Apartness Lattice-Ordered Semigroup.
Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, 2007

Interaction in Time and Space.
Proceedings of the Workshop on the Foundations of Interactive Computation, 2007

Describing the Immune System Using Enhanced Mobile Membranes.
Proceedings of the First Workshop "From Biology To Concurrency and back", 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 Softw. Eng. Notes, 2006

Algebraic and Topological Properties of Apartness Lattice-Ordered Semigroups.
J. Multiple Valued Log. Soft Comput., 2006

Mealy multiset automata.
Int. J. Found. Comput. Sci., 2006

Theory and applications of P systems.
Int. J. Comput. Math., 2006

A Programming Perspective of the Membrane Systems.
Int. J. Comput. Commun. Control, 2006

"Logic will never be the same again" - Kurt Gödel Centenary.
Int. J. Comput. Commun. Control, 2006

On the Branching Complexity of P Systems.
Fundam. Informaticae, 2006

Coordination by Timers for Channel-Based Anonymous Communications.
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

Timers for Distributed Systems.
Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

Translating Mobile Ambients into P Systems.
Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 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 <i>pi</i> -Calculus.
Proceedings of the Perspectives of Systems Informatics, 2006

2005
P Transducers.
New Gener. Comput., 2005

An Automata Description of the Genetic Message Translation.
Fundam. Informaticae, 2005

Operational Semantics and Rewriting Logic in Membrane Computing.
Proceedings of the Second Workshop on Structural Operational Semantics, 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
Communicating Concurrent Objects in HiddenCCS.
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

Communication Equivalence Classes in Networks.
Comput. Sci. J. Moldova, 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. Informaticae, 2002

P System Software Simulator.
Fundam. Informaticae, 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. Univers. Comput. Sci., 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 .
Proceedings of the MFCS '98 Workshop on Concurrency, 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


  Loading...