| Publication | Date of Publication | Type |
|---|
Reflections on a scientific journal
Scientific Annals of Computer Science | 2024-08-15 | Paper |
New editorial team for SACS after 16 years
Scientific Annals of Computer Science | 2024-08-15 | Paper |
A teacher of great strengths
Scientific Annals of Computer Science | 2024-08-15 | Paper |
A process calculus for spiking neural P systems
Information Sciences | 2024-03-07 | Paper |
The power of synchronizing rules in membrane computing
Information Sciences | 2024-02-28 | Paper |
Type inference for hierarchical multiset structures in rule-based systems
Information Sciences | 2024-01-10 | Paper |
Bonding calculus
Natural Computing | 2023-11-30 | Paper |
Variants of spiking neural P systems and their operational semantics in Haskell
Journal of Membrane Computing | 2023-09-14 | Paper |
Spiking neural P systems and their semantics in Haskell
Natural Computing | 2023-08-31 | Paper |
Relating randomized right-hand sides to communicating rewriting rules
Theoretical Computer Science | 2023-08-18 | Paper |
Interval probability for sessions types
Logic, Language, Information, and Computation | 2023-06-02 | Paper |
Stochastic sharing calculus for reasoning about social networks
Journal Of Logic And Computation | 2022-09-08 | Paper |
| Relaxing the Fraenkel-Mostowski set theory | 2022-05-23 | Paper |
| scientific article; zbMATH DE number 7509961 (Why is no real title available?) | 2022-04-19 | Paper |
Various forms of infinity for finitely supported structures
Archive for Mathematical Logic | 2022-03-22 | Paper |
Dynamics of reputation in mobile agents systems and weighted timed automata
Information and Computation | 2022-01-06 | Paper |
Uniformly supported sets and fixed points properties
Carpathian Journal of Mathematics | 2021-12-15 | Paper |
Reversible computation in nature inspired rule-based systems
Journal of Membrane Computing | 2021-09-14 | Paper |
Travelling salesman problem in tissue P systems with costs
Journal of Membrane Computing | 2021-09-14 | Paper |
Synchronization of rules in membrane computing
Journal of Membrane Computing | 2021-09-14 | Paper |
Memory associated with membranes systems
Journal of Membrane Computing | 2021-09-14 | Paper |
Mutual exclusion and reversibility in reaction systems
Journal of Membrane Computing | 2021-09-14 | Paper |
Fixed point results for finitely supported algebraic structures
Fuzzy Sets and Systems | 2021-06-24 | Paper |
| Fuzzy subgroups of an invariant group in finitely supported mathematics | 2021-04-27 | Paper |
| scientific article; zbMATH DE number 7318976 (Why is no real title available?) | 2021-03-10 | Paper |
scientific article; zbMATH DE number 7318976 (Why is no real title available?)
(available as arXiv preprint) | 2021-03-10 | Paper |
| Foundations of Finitely Supported Structures | 2020-09-15 | Paper |
A note on similarity relations between fuzzy attribute-oriented concept lattices
Information Sciences | 2020-09-09 | Paper |
Employing costs in multiagent systems with timed migration and timed communication
SOFSEM 2020: Theory and Practice of Computer Science | 2020-07-20 | Paper |
| Imprecise Probability for Multiparty Session Types in Process Algebra | 2020-02-19 | Paper |
| scientific article; zbMATH DE number 7158385 (Why is no real title available?) | 2020-01-28 | Paper |
| scientific article; zbMATH DE number 7157346 (Why is no real title available?) | 2020-01-23 | Paper |
Properties of the atoms in finitely supported structures
Archive for Mathematical Logic | 2020-01-17 | Paper |
Local time membrane systems and time Petri nets
Theoretical Computer Science | 2020-01-08 | Paper |
| Verification of multi-agent systems with timeouts for migration and communication | 2019-12-12 | Paper |
De Morgan dual nominal quantifiers modelling private names in non-commutative logic
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
De Morgan dual nominal quantifiers modelling private names in non-commutative logic
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
| Adaptive P systems | 2019-10-10 | Paper |
| A semantic investigation of spiking neural P systems | 2019-10-10 | Paper |
| Finitely Supported Sets Containing Infinite Uniformly Supported Subsets | 2019-09-04 | Paper |
Simulating P systems with membrane dissolution in a chemical calculus
Natural Computing | 2019-07-10 | Paper |
| Infinities within Finitely Supported Structures | 2019-02-25 | Paper |
A grand master of discrete mathematics
Scientific Annals of Computer Science | 2019-02-08 | Paper |
| Solving the \(N\)-Queens puzzle by using few membranes | 2019-01-15 | Paper |
| Generalized multisets: from ZF to FSM | 2018-11-27 | Paper |
Fuzzy sets within finitely supported mathematics
Fuzzy Sets and Systems | 2018-10-16 | Paper |
| Pawlak approximations in the framework of nominal sets | 2018-09-03 | Paper |
An efficient method to factorize fuzzy attribute-oriented concept lattices
Fuzzy Sets and Systems | 2018-07-30 | Paper |
BioMaxP: a formal approach for cellular ion pumps
Computer Science Journal of Moldova | 2018-07-03 | Paper |
| Controlled reversibility in reaction systems | 2018-05-16 | Paper |
| scientific article; zbMATH DE number 6851953 (Why is no real title available?) | 2018-03-21 | Paper |
Denotational semantics of membrane systems by using complete metric spaces
Theoretical Computer Science | 2017-12-06 | Paper |
| On logical notions in the Fraenkel-Mostowski cumulative universe | 2017-11-16 | Paper |
Similarity relations in fuzzy attribute-oriented concept lattices
Fuzzy Sets and Systems | 2017-11-10 | Paper |
| Finitely supported subgroups of a nominal group | 2017-08-17 | Paper |
Efficiently solving the bin packing problem through bio-inspired mobility
Acta Informatica | 2017-06-09 | Paper |
A universality theorem for the sequential behaviour of minimal $F$-automata
Publicationes Mathematicae Debrecen | 2017-04-25 | Paper |
Computational power of protein networks
Membrane Computing | 2017-04-12 | Paper |
Continuation passing semantics for membrane systems
Membrane Computing | 2017-04-12 | Paper |
Abstract Interpretations in the Framework of Invariant Sets
Fundamenta Informaticae | 2017-03-22 | Paper |
| Information theory over multisets | 2017-03-14 | Paper |
Behavioural analysis of sessions using the calculus of structures
Lecture Notes in Computer Science | 2016-12-21 | Paper |
| Power of causal dependencies in rule based systems | 2016-12-16 | Paper |
Permutative renamings in the extended Fraenkel-Mostowski set theory
Analele Științifice ale Universității Al. I. Cuza din Iași. Serie Nouă. Matematică | 2016-10-05 | Paper |
A descriptive type foundation for RDF Schema
Journal of Logical and Algebraic Methods in Programming | 2016-08-18 | Paper |
| Finitely supported mathematics. An introduction | 2016-08-10 | Paper |
Essential and density topologies of continuous domains
Annals of Pure and Applied Logic | 2016-06-03 | Paper |
A topological approach in the extended Fraenkel-Mostowski model of set theory.
Analele Științifice ale Universității Al. I. Cuza din Iași. Serie Nouă. Matematică | 2016-05-18 | Paper |
General patterns of interaction in stochastic fusion
Natural Computing | 2016-04-21 | Paper |
Modelling and verification of weighted spiking neural systems
Theoretical Computer Science | 2016-03-31 | Paper |
Automated verification of stochastic spiking neural P systems
Membrane Computing | 2016-02-26 | Paper |
Descriptive types for linked data resources
Lecture Notes in Computer Science | 2015-12-03 | Paper |
Strategy based semantics for mobility with time and access permissions
Formal Aspects of Computing | 2015-11-10 | Paper |
Verification of membrane systems with delays via Petri nets with delays
Theoretical Computer Science | 2015-09-16 | Paper |
| On the development of the Fraenkel-Mostowski set theory | 2015-08-27 | Paper |
| Extending timed mobility with probabilities and real-time | 2015-08-27 | Paper |
| Mathematics of multisets in the Fraenkel-Mostowski framework | 2015-08-27 | Paper |
Monitoring changes in dynamic multiset systems
Fundamenta Informaticae | 2015-06-26 | Paper |
Minimal type inference for linked data consumers
Journal of Logical and Algebraic Methods in Programming | 2015-06-15 | Paper |
Rewriting logic specification of membrane systems with promoters and inhibitors
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Catalytic and communicating Petri nets are Turing complete
Information and Computation | 2014-11-28 | Paper |
Continuation Semantics for Asynchronous Concurrency
Fundamenta Informaticae | 2014-05-12 | Paper |
Nominal Groups and Their Homomorphism Theorems
Fundamenta Informaticae | 2014-05-12 | Paper |
Behavioural equivalences in real-time P systems
Membrane Computing | 2014-03-28 | Paper |
Describing the immune system using enhanced mobile membranes
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Translating mobile ambients into P systems
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Interaction in time and space
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Operational semantics and rewriting logic in membrane computing | 2013-10-07 | Paper |
A probabilistic logic for pTiMo
Theoretical Aspects of Computing – ICTAC 2013 | 2013-10-04 | Paper |
Mobile membranes: computability and complexity
Theoretical Aspects of Computing – ICTAC 2013 | 2013-10-04 | Paper |
| Communicating concurrent objects in hiddenCCS | 2013-09-20 | Paper |
Supermetrics over Apartness Lattice-Ordered Semigroup
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
An analysis of correlative and static causality in P systems
Membrane Computing | 2013-04-16 | Paper |
Mobile membranes with objects on surface as colored Petri nets
Membrane Computing | 2013-04-16 | Paper |
| scientific article; zbMATH DE number 6136500 (Why is no real title available?) | 2013-02-15 | Paper |
| scientific article; zbMATH DE number 6125220 (Why is no real title available?) | 2013-01-14 | Paper |
A Timed Mobility Semantics Based on Rewriting Strategies
Software Engineering and Formal Methods | 2013-01-08 | Paper |
An extension of a permutative model of set theory
Analele Științifice ale Universității Al. I. Cuza din Iași. Serie Nouă. Matematică | 2012-10-04 | Paper |
Computing by endocytosis and exocytosis
Analele Științifice ale Universității Al. I. Cuza din Iași. Serie Nouă. Matematică | 2012-10-04 | Paper |
On the computability power of membrane systems with controlled mobility
Lecture Notes in Computer Science | 2012-08-14 | Paper |
Properties of enhanced mobile membranes via coloured Petri nets
Information Processing Letters | 2012-07-18 | Paper |
Catalytic Petri nets are Turing complete
Language and Automata Theory and Applications | 2012-06-08 | Paper |
Quantitative Causality in Membrane Systems
Membrane Computing | 2012-06-08 | Paper |
Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems
Acta Informatica | 2012-03-23 | Paper |
Mobility in process calculi and natural computing.
Natural Computing Series | 2011-12-20 | Paper |
Timed mobility in process algebra and Petri nets
The Journal of Logic and Algebraic Programming | 2011-09-12 | Paper |
Computability power of mobility in enhanced mobile membranes
Models of Computation in Context | 2011-09-09 | Paper |
A \(\Sigma_2^{\mathrm P} \cup \Pi_2^{\mathrm P}\) lower bound using mobile membranes
Descriptional Complexity of Formal Systems | 2011-07-29 | Paper |
Mutual mobile membranes with objects on surface
Natural Computing | 2011-07-28 | Paper |
A temporal logic for mutual mobile membranes with objects on surface
Computation, Cooperation, and Life | 2011-06-24 | Paper |
Enhanced mobile membranes: computability results
Theory of Computing Systems | 2011-05-23 | Paper |
Mobility in computer science and in membrane systems
Membrane Computing | 2011-01-21 | Paper |
Flattening the transition P systems with dissolution
Membrane Computing | 2011-01-21 | Paper |
Mobile Agents with Timers, and Their Implementation
Studies in Computational Intelligence | 2010-10-26 | Paper |
Finding network resources by using mobile agents
Studies in Computational Intelligence | 2010-10-26 | Paper |
UTP and temporal logic model checking
Unifying Theories of Programming | 2010-08-31 | Paper |
Rule-based and object-based event structures for membrane systems
The Journal of Logic and Algebraic Programming | 2010-08-24 | Paper |
Reversing computation in membrane systems
The Journal of Logic and Algebraic Programming | 2010-05-27 | Paper |
Encoding mobile ambients into the \(\pi \)-calculus
Perspectives of Systems Informatics | 2010-02-02 | Paper |
Evolving by maximizing the number of rules: complexity study
Membrane Computing | 2010-01-26 | Paper |
Typed membrane systems
Membrane Computing | 2010-01-26 | Paper |
Complexity of evolution in maximum cooperative P systems
Natural Computing | 2010-01-25 | Paper |
Simple, Enhanced and Mutual Mobile Membranes
Lecture Notes in Computer Science | 2009-11-10 | Paper |
Turing Completeness Using Three Mobile Membranes
Lecture Notes in Computer Science | 2009-10-22 | Paper |
Final and sequential behaviours of M-automata
Acta Informatica | 2009-10-02 | Paper |
Dual P Systems
Membrane Computing | 2009-07-28 | Paper |
ENCODINGS OF MULTISETS
International Journal of Foundations of Computer Science | 2009-06-30 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2009-05-15 | Paper |
Integrated Formal Methods
Lecture Notes in Computer Science | 2009-05-07 | Paper |
| Modelling, simulation and verification of biomolecular systems | 2009-04-28 | Paper |
| Computational complexity of simple P systems | 2009-02-12 | Paper |
Non-interleaving Semantics with Causality for Nondeterministic Dataflow
Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
From Gene Regulation to Stochastic Fusion
Unconventional Computing | 2008-12-02 | Paper |
Cellular modelling using P systems and process algebra
Progress in Natural Science | 2008-11-10 | Paper |
Probabilistic transitions for P systems
Progress in Natural Science | 2008-11-10 | Paper |
Compositional asynchronous membrane systems
Progress in Natural Science | 2008-11-10 | Paper |
Mobile Ambients with Timers and Types
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
A Topological Approach of the Web Classification
Lecture Notes in Computer Science | 2008-09-11 | Paper |
On the Computational Power of Enhanced Mobile Membranes
Logic and Theory of Algorithms | 2008-06-19 | Paper |
Timers and Proximities for Mobile Ambients
Computer Science – Theory and Applications | 2008-06-03 | Paper |
| scientific article; zbMATH DE number 5263402 (Why is no real title available?) | 2008-04-14 | Paper |
| Performance analysis and name passing errors in probabilistic fusion | 2008-04-14 | Paper |
On the Reachability Problem in P Systems with Mobile Membranes
Membrane Computing | 2008-03-28 | Paper |
Events, Causality, and Concurrency in Membrane Systems
Membrane Computing | 2008-03-28 | Paper |
| Algebraic and topological properties of apartness lattice-ordered semigroups | 2008-02-11 | Paper |
Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems
Membrane Computing | 2007-09-03 | Paper |
P Machines: An Automata Approach to Membrane Computing
Membrane Computing | 2007-09-03 | Paper |
Expressing Control Mechanisms of Membranes by Rewriting Strategies
Membrane Computing | 2007-09-03 | Paper |
P systems with minimal parallelism
Theoretical Computer Science | 2007-06-06 | Paper |
Theory and Applications of Models of Computation
Lecture Notes in Computer Science | 2007-04-30 | Paper |
A rewriting logic framework for operational semantics of membrane systems
Theoretical Computer Science | 2007-04-19 | Paper |
| Simulation and verfication of the biomolecular systems | 2007-01-22 | Paper |
| On the branching complexity of \(P\) systems | 2006-11-21 | Paper |
Membrane Computing
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Membrane Computing
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Applying Formal Methods: Testing, Performance, and M/E-Commerce
Lecture Notes in Computer Science | 2006-10-24 | Paper |
Unconventional Computation
Lecture Notes in Computer Science | 2006-07-07 | Paper |
P transducers
New Generation Computing | 2006-06-12 | Paper |
MEALY MULTISET AUTOMATA
International Journal of Foundations of Computer Science | 2006-04-06 | Paper |
Membrane Computing
Lecture Notes in Computer Science | 2005-09-14 | Paper |
Membrane Computing
Lecture Notes in Computer Science | 2005-09-14 | Paper |
Communication equivalence classes in networks
Computer Science Journal of Moldova | 2005-07-04 | Paper |
| scientific article; zbMATH DE number 2182421 (Why is no real title available?) | 2005-06-23 | Paper |
| scientific article; zbMATH DE number 1972787 (Why is no real title available?) | 2003-10-16 | Paper |
| scientific article; zbMATH DE number 1951583 (Why is no real title available?) | 2003-07-21 | Paper |
| scientific article; zbMATH DE number 1951582 (Why is no real title available?) | 2003-07-21 | Paper |
| scientific article; zbMATH DE number 1950567 (Why is no real title available?) | 2003-07-17 | Paper |
Molecular interaction.
Theoretical Computer Science | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1836432 (Why is no real title available?) | 2002-11-27 | Paper |
| scientific article; zbMATH DE number 1735635 (Why is no real title available?) | 2002-07-01 | Paper |
| scientific article; zbMATH DE number 1738662 (Why is no real title available?) | 2002-05-07 | Paper |
| scientific article; zbMATH DE number 1735650 (Why is no real title available?) | 2002-04-29 | Paper |
Nondeterminism and nondeterministic degree
Publicationes Mathematicae Debrecen | 2002-02-13 | Paper |
| scientific article; zbMATH DE number 1543336 (Why is no real title available?) | 2001-02-27 | Paper |
| scientific article; zbMATH DE number 1522995 (Why is no real title available?) | 2000-10-30 | Paper |
| scientific article; zbMATH DE number 1101390 (Why is no real title available?) | 1998-01-07 | Paper |
| scientific article; zbMATH DE number 915923 (Why is no real title available?) | 1997-03-25 | Paper |
| scientific article; zbMATH DE number 915918 (Why is no real title available?) | 1997-03-25 | Paper |
| scientific article; zbMATH DE number 782023 (Why is no real title available?) | 1996-08-18 | Paper |
| scientific article; zbMATH DE number 860124 (Why is no real title available?) | 1996-07-25 | Paper |
| scientific article; zbMATH DE number 817192 (Why is no real title available?) | 1995-11-16 | Paper |
| scientific article; zbMATH DE number 4100595 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4074455 (Why is no real title available?) | 1987-01-01 | Paper |
On certain lattice-ordered semigroups
Semigroup Forum | 1985-01-01 | Paper |
