The following pages link to Gabriel Ciobanu (Q264537):
Displaying 50 items.
- Modelling and verification of weighted spiking neural systems (Q264538) (← links)
- General patterns of interaction in stochastic fusion (Q272780) (← links)
- Essential and density topologies of continuous domains (Q290633) (← links)
- Properties of enhanced mobile membranes via coloured Petri nets (Q437686) (← links)
- Catalytic and communicating Petri nets are Turing complete (Q476166) (← links)
- Verification of membrane systems with delays via Petri nets with delays (Q496035) (← links)
- Efficiently solving the bin packing problem through bio-inspired mobility (Q530219) (← links)
- Enhanced mobile membranes: computability results (Q537912) (← links)
- Mutual mobile membranes with objects on surface (Q553916) (← links)
- Communication equivalence classes in networks (Q558639) (← links)
- Timed mobility in process algebra and Petri nets (Q638567) (← links)
- Mobility in process calculi and natural computing. (Q653874) (← links)
- Structural polymorphism (Q685400) (← links)
- (Q689288) (redirect page) (← links)
- On the status of proving program properties in effective interpretations (Q689289) (← links)
- An efficient method to factorize fuzzy attribute-oriented concept lattices (Q723260) (← links)
- Final and sequential behaviours of M-automata (Q731331) (← links)
- A descriptive type foundation for RDF Schema (Q739626) (← links)
- Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems (Q766179) (← links)
- A rewriting logic framework for operational semantics of membrane systems (Q877021) (← links)
- P systems with minimal parallelism (Q884455) (← links)
- Strategy based semantics for mobility with time and access permissions (Q890480) (← links)
- Semantic independence (Q911745) (← links)
- Global regular solutions for the dynamic antiplane shear problem in nonlinear viscoelasticity (Q911862) (← links)
- Cellular modelling using P systems and process algebra (Q952187) (← links)
- Compositional asynchronous membrane systems (Q952195) (← links)
- Probabilistic transitions for P systems (Q952201) (← links)
- Reversing computation in membrane systems (Q974138) (← links)
- Rule-based and object-based event structures for membrane systems (Q987957) (← links)
- On certain lattice-ordered semigroups (Q1058538) (← links)
- A refinement of strong sequentiality for term rewriting with constructors (Q1093366) (← links)
- Universal profinite domains (Q1093371) (← links)
- Procedures, parameters, and abstraction: Separate concerns (Q1113659) (← links)
- Domain theory in logical form (Q1174593) (← links)
- Co-induction in relational semantics (Q1177158) (← links)
- Partial specifications and compositional verification (Q1177172) (← links)
- Towards a semantics-based information theory (Q1179806) (← links)
- Extensional PERs (Q1193589) (← links)
- BioMaxP: a formal approach for cellular ion pumps (Q1650327) (← links)
- Similarity relations in fuzzy attribute-oriented concept lattices (Q1677216) (← links)
- Denotational semantics of membrane systems by using complete metric spaces (Q1682859) (← links)
- Solving the \(N\)-Queens puzzle by using few membranes (Q1709885) (← links)
- Controlled reversibility in reaction systems (Q1749154) (← links)
- Fuzzy sets within finitely supported mathematics (Q1794962) (← links)
- Domain theoretic models of polymorphism (Q1824612) (← links)
- Molecular interaction. (Q1853559) (← links)
- Mutual exclusion and reversibility in reaction systems (Q1982970) (← links)
- Reversible computation in nature inspired rule-based systems (Q1982978) (← links)
- Travelling salesman problem in tissue P systems with costs (Q1983010) (← links)
- Memory associated with membranes systems (Q1983012) (← links)
