| Publication | Date of Publication | Type |
|---|
Fixed point results for infinite fuzzy sets with atoms
Journal of Multiple-Valued Logic and Soft Computing | 2025-08-20 | Paper |
| Properties of finitely supported binary relations between atomic sets | 2025-06-02 | Paper |
| Approximations of finitely supported sets | 2025-06-02 | Paper |
| Several definitions for infinity in finitely supported mathematics | 2025-06-02 | Paper |
| Timers for distributed systems | 2025-03-11 | Paper |
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 |
Mutual exclusion and reversibility in reaction systems
Journal of Membrane Computing | 2021-09-14 | 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 |
Memory associated with membranes systems
Journal of Membrane Computing | 2021-09-14 | Paper |
Synchronization of rules in membrane computing
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?)
(available as arXiv preprint) | 2021-03-10 | Paper |
| scientific article; zbMATH DE number 7318976 (Why is no real title available?) | 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 |
| Mathematics of multisets in the Fraenkel-Mostowski framework | 2015-08-27 | 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 |
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 |
Nominal Groups and Their Homomorphism Theorems
Fundamenta Informaticae | 2014-05-12 | Paper |
Continuation Semantics for Asynchronous Concurrency
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 |
Mobile membranes: computability and complexity
Theoretical Aspects of Computing – ICTAC 2013 | 2013-10-04 | Paper |
A probabilistic logic for pTiMo
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 |
Mobile membranes with objects on surface as colored Petri nets
Membrane Computing | 2013-04-16 | Paper |
An analysis of correlative and static causality in P systems
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 |
