All Stories

  1. Synchronization operator for communication privacy
  2. Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems
  3. Finitely Supported Binary Relations between Infinite Atomic Sets
  4. Interior Operators Generated by Ideals in Complete Domains
  5. Fuzzy Results for Finitely Supported Structures
  6. Various forms of infinity for finitely supported structures
  7. Travelling salesman problem in tissue P systems with costs
  8. Memory associated with membranes systems
  9. Computation with cells enhanced by costs
  10. Spiking Neural P Systems with Astrocytes Producing Calcium
  11. Arithmetic Abilities of the Living Cell Pumps
  12. Reversible computation in nature inspired rule-based systems
  13. Mutual exclusion and reversibility in reaction systems
  14. Local time membrane systems and time Petri nets
  15. Foundations of Finitely Supported Structures
  16. Foundations of Reversible Computation
  17. Mobile Membranes
  18. Reversibility in Chemical Reactions
  19. Employing Costs in Multiagent Systems with Timed Migration and Timed Communication
  20. How the Formal Description of the Transmembrane Proteins can Reduce the Bio-Medical Experiments
  21. A logic featuring new nominal quantifiers designed to provide a semantics for processes
  22. Finitely Supported Sets Containing Infinite Uniformly Supported Subsets
  23. Probabilities in Session Types
  24. Fixed point results for finitely supported algebraic structures
  25. Properties of the atoms in finitely supported structures
  26. Adaptive P Systems
  27. A Semantic Investigation of Spiking Neural P Systems
  28. Verification of Multi-agent Systems with Timeouts for Migration and Communication
  29. High-Level Koutny Net
  30. Bonding calculus
  31. Analyzing the Shared Information in Social Networks
  32. A note on similarity relations between fuzzy attribute-oriented concept lattices
  33. Order Relations Over Finitely Supported Structures
  34. On the Abstractness of Continuation Semantics
  35. Solving the N-Queens Puzzle by Using Few Membranes
  36. Controlled Reversibility in Reaction Systems
  37. Denotational semantics of membrane systems by using complete metric spaces
  38. Fuzzy sets within Finitely Supported Mathematics
  39. Abstract Continuation Semantics for Asynchronous Concurrency
  40. An efficient method to factorize fuzzy attribute-oriented concept lattices
  41. Computational Power of Protein Networks
  42. Continuation Passing Semantics for Membrane Systems
  43. Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude
  44. A universality theorem for the sequential behaviour of minimal $F$-automata
  45. Verification of distributed systems involving bounded-time migration
  46. Verification of distributed systems involving bounded-time migration
  47. Verification of critical systems described in real-time TiMo 
  48. Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions
  49. Essential and density topologies of continuous domains
  50. Simulating P systems with membrane dissolution in a chemical calculus
  51. Modelling and verification of weighted spiking neural systems
  52. Efficiently solving the Bin Packing problem through bio-inspired mobility
  53. Abstract Interpretations in the Framework of Invariant Sets
  54. A descriptive type foundation for RDF Schema
  55. Verifying vehicle control systems by using process calculi
  56. Main Steps in Defining Finitely Supported Mathematics
  57. Solving NP-complete Problems in Polynomial Time by Using a Natural Computing Model
  58. Behavioural Analysis of Sessions Using the Calculus of Structures
  59. Finitely Supported Mathematics
  60. Extended Fraenkel-Mostowski Set Theory
  61. Fraenkel-Mostowski Set Theory: A Framework for Finitely Supported Mathematics
  62. Algebraic Structures in Finitely Supported Mathematics
  63. Process Calculi in Finitely Supported Mathematics
  64. Scalable distributed implementation of a biologically inspired parallel model
  65. Behavioural observations of cell movements with timing aspects
  66. Static Analysis in Finitely Supported Mathematics
  67. Continuation Semantics for Dynamic Hierarchical Systems
  68. Verification of membrane systems with delays via Petri nets with delays
  69. Similarity relations in fuzzy attribute-oriented concept lattices
  70. Correct metric semantics for a language inspired by DNA computing
  71. Minimal type inference for Linked Data consumers
  72. Permutative Renamings in the Extended Fraenkel-Mostowski Set Theory
  73. Computational Power of Chemical Kinetics in Living Cells
  74. Timed Mobility and Timed Communication for Critical Systems
  75. Automated Verification of Stochastic Spiking Neural P Systems
  76. Descriptive Types for Linked Data Resources
  77. Continuation Semantics for Concurrency with Multiple Channels Communication
  78. Phase-Type Approximations for Non-Markovian Systems: A Case Study
  79. Observational Equivalences in a Bio-Inspired Formalism Involving Mobility and Lifetimes
  80. Visible and Invisible Structures in Renaissance Paintings
  81. Mobility Types for Cloud Computing
  82. Strategy based semantics for mobility with time and access permissions
  83. Catalytic and communicating Petri nets are Turing complete
  84. Correct Metric Semantics for a Biologically-Inspired Formalism
  85. Expressing BBUFs Lookup Using the π-Calculus
  86. From TiMo to Event-B: Event-Driven Timed Mobility
  87. PerTiMo: A Model of Spatial Migration with Safe Access Permissions
  88. A Topological Approach in the Extended Fraenkel-Mostowski Model of Set Theory
  89. Theoretical Aspects of Computing – ICTAC 2014
  90. Theoretical Aspects of Computing
  91. A Formal Topology of Web Classification
  92. Extracting Threshold Conceptual Structures from Web Documents
  93. Behavioural Types Inspired by Cellular Thresholds
  94. PHASE: A Stochastic Formalism for Phase-Type Distributions
  95. Behavioural Equivalences in Real-Time P Systems
  96. Continuation Semantics for Asynchronous Concurrency
  97. Monitoring Changes in Dynamic Multiset Systems
  98. Nominal Groups and Their Homomorphism Theorems
  99. Algebraic Properties of Generalized Multisets
  100. Non-interleaving Operational Semantics for Geographically Replicated Databases
  101. TiMo: Timed Mobility in Distributed Systems
  102. RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS
  103. Local Type Checking for Linked Data Consumers
  104. Automatic Analysis of TiMo Systems in PAT
  105. Rewriting Systems Over Indexed Multisets
  106. Computational Power of Protein Interaction Networks
  107. Mobile Membranes with Objects on Surface as Colored Petri Nets
  108. A Probabilistic Logic for pTiMo
  109. Mobile Membranes: Computability and Complexity
  110. Real-Time Migration Properties of rTiMo Verified in Uppaal
  111. Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility
  112. An Analysis of Correlative and Static Causality in P Systems
  113. Biologically Inspired Formalisms
  114. General patterns of interaction in stochastic fusion
  115. Nominal Fusion Calculus
  116. Timed Catalytic Petri Nets
  117. Relating Two Metric Semantics for Parallel Rewriting of Multisets
  118. A Provenance Tracking Model for Data Updates
  119. Modelling and analysis of biological systems
  120. Properties of enhanced mobile membranes via coloured Petri nets
  121. Quantitative Causality in Membrane Systems
  122. Catalytic Petri Nets Are Turing Complete
  123. Behavioural Equivalences over Migrating Processes with Timers
  124. A Timed Mobility Semantics Based on Rewriting Strategies
  125. An Extension of a Permutative Model of Set Theory
  126. On the Computability Power of Membrane Systems with Controlled Mobility
  127. Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps
  128. Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems
  129. Flexible software architecture and language for mobile agents
  130. Timed Mobility in process algebra and Petri nets
  131. Nominal Semantics of the pi I-calculus
  132. Metric Denotational Semantics for Parallel Rewriting of Multisets
  133. Time Delays in Membrane Systems and Petri Nets
  134. Mutual mobile membranes with objects on surface
  135. Mobility in Process Calculi and Natural Computing
  136. Encodings
  137. Computing by Endocytosis and Exocytosis
  138. Computability Power of Mobility in Enhanced Mobile Membranes
  139. Mobility in Process Calculi
  140. Mobility in Membrane Computing
  141. Timed Migration and Interaction with Access Permissions
  142. A Temporal Logic for Mutual Mobile Membranes with Objects on Surface
  143. A $\Sigma_2^P \cup \Pi_2^P$ Lower Bound Using Mobile Membranes
  144. Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010
  145. Adding Lifetime to Objects and Membranes in P Systems
  146. Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets
  147. Rule-based and object-based event structures for membrane systems
  148. Reversing computation in membrane systems
  149. Enhanced Mobile Membranes: Computability Results
  150. Typed Membrane Systems
  151. Finding Network Resources by Using Mobile Agents
  152. Mobile Agents with Timers, and Their Implementation
  153. UTP and Temporal Logic Model Checking
  154. Formalizing the Behavior of Biological Processes with Mobility
  155. Evolving by Maximizing the Number of Rules: Complexity Study
  156. Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients
  157. Mobility in Computer Science and in Membrane Systems
  158. Flattening the Transition P Systems with Dissolution
  159. Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009
  160. Mutual Mobile Membranes with Timers
  161. A Methodology for Concurrent Languages Development Based on Denotational Semantics
  162. Final and sequential behaviours of M-automata
  163. ENCODINGS OF MULTISETS
  164. Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
  165. Complexity of evolution in maximum cooperative P systems
  166. Dual P Systems
  167. A Software Platform for Timed Mobility and Timed Interaction
  168. Turing Completeness Using Three Mobile Membranes
  169. Simple, Enhanced and Mutual Mobile Membranes
  170. On the power of endocytosis and exocytosis
  171. Interaction in Time and Space
  172. On the relationship between membranes and ambients
  173. Supermetrics over Apartness Lattice-Ordered Semigroup
  174. Timed Mobile Ambients for Network Protocols
  175. Time and Space Coordination of Mobile Agents
  176. Behaviour Equivalences in Timed Distributed π-Calculus
  177. Data Compression on Multisets. Submultiset-Free Codes
  178. Resource Competition and Synchronization in Membranes
  179. Verifying Adaptive Cruise Control by Using Pi-Calculus and Mobility Workbench
  180. Describing the Immune System Using Enhanced Mobile Membranes
  181. Structural Properties and Observability in Membrane Systems
  182. Pythagoras: An Interactive Environment for Plane Geometry
  183. Translating Mobile Ambients into P Systems
  184. P systems with minimal parallelism
  185. Coordination by Timers for Channel-Based Anonymous Communications
  186. Probabilistic transitions for P systems
  187. Compositional asynchronous membrane systems
  188. A rewriting logic framework for operational semantics of membrane systems
  189. Cellular modelling using P systems and process algebra
  190. Fundamentals of Computation Theory
  191. Coordination and Self-Organization in MultiAgent Systems
  192. Timers for Distributed Systems
  193. Number Encodings and Arithmetics over Multisets
  194. Collaborative Agents Interaction Using Message Passing Interface
  195. Theory and applications of P systems
  196. A Programming Perspective of the Membrane Systems
  197. Operational Semantics and Rewriting Logic in Membrane Computing
  198. P transducers
  199. A specification language for coordinated objects
  200. MEALY MULTISET AUTOMATA
  201. Expressing Control Mechanisms of Membranes by Rewriting Strategies
  202. Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems
  203. P Machines: An Automata Approach to Membrane Computing
  204. A Topological Approach of the Web Classification
  205. Algebraic and Coalgebraic Aspects of Membrane Computing
  206. Structural Operational Semantics of P Systems
  207. "Logic will never be the same again" - Kurt Gödel Centenary
  208. Encodings and Arithmetic Operations in Membrane Computing
  209. Applications of Membrane Computing
  210. A specification language for coordinated objects
  211. Executable Specifications of P Systems
  212. A P System Description of the Sodium-Potassium Pump
  213. Communicating Concurrent Objects in HiddenCCS
  214. A Web-Based P Systems Simulator and Its Parallelization
  215. Cellular Meta-programming over Membranes
  216. Specifications and verification of network protocols by process algebra
  217. Topological spaces of the web
  218. Self-organizing Distribution of Agents over Hosts
  219. Modelling in Molecular Biology
  220. Software Verification of Biomolecular Systems
  221. Model Checking for Object Specifications in Hidden Algebra
  222. P Systems Running on a Cluster of Computers
  223. Specification and Verification of Synchronizing Concurrent Objects
  224. Describing IEEE 802.11 Wireless Mechanisms by Using the π-Calculus and Performance Evaluation Process Algebra
  225. Distributed algorithms over communicating membrane systems
  226. Conformon-driven biopolymer shape changes in cell modeling
  227. Membrane Systems and Distributed Computing
  228. Discrete Event Systems and Client-Server Model for Signaling Mechanisms
  229. Client–Server P Systems in Modeling Molecular Interaction
  230. Molecular interaction
  231. Molecular Structures
  232. JC-Nets
  233. Abstract Structures for Communication between Processes
  234. Fundamentals of Computation Theory
  235. Faithful π-nets.
  236. On certain lattice—Ordered semigroups
  237. Events, Causality, and Concurrency in Membrane Systems
  238. Modeling Cell-Mediated Immunity by Means of P Systems
  239. From Gene Regulation to Stochastic Fusion
  240. On a Formal Model of the T Cell and Its Biological Feedback
  241. Timers and Proximities for Mobile Ambients
  242. On the Reachability Problem in P Systems with Mobile Membranes
  243. Encoding Mobile Ambients into the π-Calculus
  244. On the Computational Power of Enhanced Mobile Membranes
  245. Modelling and Verification of Timed Interaction and Migration
  246. Non-interleaving Semantics with Causality for Nondeterministic Dataflow
  247. Mobile Ambients with Timers and Types
  248. Relating π-calculus to Object-Z
  249. On a Formal Model of the T Cell and Its Biological Feedback
  250. A RDF-based model for expressing spatio-temporal relations between Web sites