S. Krishna

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility.

[BibT_eX]

[DOI]

Bogdan Aman

Proceedings of the Distributed Computing and Internet Technology, 2013

Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems.

[BibT_eX]

[DOI]

Marian Gheorghe

Ciprian Dragomir

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2012

Compositional Verification of Evolving Software Product Lines

[BibT_eX]

[DOI]

CoRR, 2012

Game Characterizations of Timed Relations for Timed Automata Processes

[BibT_eX]

[DOI]

Shibashis Guha

CoRR, 2012

Formalizing Traceability and Derivability in Software Product Lines

[BibT_eX]

[DOI]

Swarup Mohalik

CoRR, 2012

Tracing SPLs precisely and efficiently.

[BibT_eX]

[DOI]

Swarup Mohalik

Proceedings of the 16th International Software Product Line Conference, 2012

Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives.

[BibT_eX]

[DOI]

Ashish Chiplunkar

Proceedings of the Distributed Computing and Internet Technology, 2012

On the Computability Power of Membrane Systems with Controlled Mobility.

[BibT_eX]

[DOI]

Bogdan Aman

Proceedings of the How the World Computes, 2012

2011

Model Checking Weighted Integer Reset Timed Automata.

[BibT_eX]

[DOI]

Chinmay Jain

Theory Comput. Syst., 2011

Enhanced Mobile Membranes: Computability Results.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2011

On Restricted Bio-Turing Machines.

[BibT_eX]

[DOI]

Rama Raghavan

Marian Gheorghe

Fundam. Informaticae, 2011

Further Results on Languages of Membrane Structures

[BibT_eX]

[DOI]

Marian Gheorghe

CoRR, 2011

Matrix Insertion-Deletion Systems for Bio-Molecular Structures.

[BibT_eX]

[DOI]

Anand Mahendran

Proceedings of the Distributed Computing and Internet Technology, 2011

An Overview of Membrane Computing.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2011

On Construction of Safety Signal Automata for $MITL[\: \mathcal{U}, \: \mathcal{S}]$ Using Temporal Projections.

[BibT_eX]

[DOI]

Dileep Raghunath Kini

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

A S2P ÈP2P\Sigma_2^P \cup \Pi_2^P Lower Bound Using Mobile Membranes.

[BibT_eX]

[DOI]

Proceedings of the Descriptional Complexity of Formal Systems, 2011

Computability Power of Mobility in Enhanced Mobile Membranes.

[BibT_eX]

[DOI]

Proceedings of the Models of Computation in Context, 2011

2010

Integer Reset Timed Automata: Clock Reduction and Determinizability

[BibT_eX]

[DOI]

CoRR, 2010

2009

Membrane computing with transport and embedded proteins.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata.

[BibT_eX]

[DOI]

Ashish Chiplunkar

Chinmay Jain

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2008

The Expressiveness of Concentration Controlled P Systems.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computing, 7th International Conference, 2008

Timed Automata with Integer Resets: Language Inclusion and Expressiveness.

[BibT_eX]

[DOI]

P. Vijay Suman

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Updatable Timed Automata with Additive and Diagonal Constraints.

[BibT_eX]

[DOI]

Kumar Nagaraj

Proceedings of the Logic and Theory of Algorithms, 2008

On the Computational Power of Enhanced Mobile Membranes.

[BibT_eX]

[DOI]

Proceedings of the Logic and Theory of Algorithms, 2008

2007

Universality results for P systems based on brane calculi operations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

On Sampling Abstraction of Continuous Time Logic with Durations.

[BibT_eX]

[DOI]

Kuntal Loya

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

On the Computational Power of Flip-Flop Proteins on Membranes.

[BibT_eX]

[DOI]

Proceedings of the Computation and Logic in the Real World, 2007

Towards Reducing Parallelism in P Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Models, 2007

2006

On the Power of Bio-Turing Machines.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation, 5th International Conference, 2006

On Pure Catalytic P Systems.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation, 5th International Conference, 2006

Upper and Lower Bounds for the Computational Power of P Systems with Mobile Membranes.

[BibT_eX]

[DOI]

Proceedings of the Logical Approaches to Computational Barriers, 2006

2005

P Systems with Mobile Membranes.

[BibT_eX]

[DOI]

Gheorghe Paun

Nat. Comput., 2005

Further Results on Contextual and Rewriting P Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2005

Modal Strength Reduction in Quantified Discrete Duration Calculus.

[BibT_eX]

[DOI]

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Communicating Distributed H Systems: Optimal Results with Efficient Ways of Communication.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005

The Power of Mobility: Four Membranes Suffice.

[BibT_eX]

[DOI]

Proceedings of the New Computational Paradigms, 2005

2004

Results on Catalytic and Evolution-Communication P Systems.

[BibT_eX]

[DOI]

Andrei Paun

New Gener. Comput., 2004

P Systems with Symport/Antiport: The Traces of RBCs.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 5th International Workshop, 2004

2003

Breaking DES using P systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

On Some Classes of Contextual Grammars.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2003

2002

On the Power of P Systems with Contextual Rules.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2002

Tissue P Systems with Contextual and Rewriting Rules.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, International Workshop, 2002

On The Power of Tissue P Systems Working in the Minimal Mode.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Models of Computation, Third International Conference, 2002

2001

P Systems with Replicated Rewriting.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2001

On power of p systems using sequential and parallel rewriting.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2001

A Note on Parallel Rewriting in P Systems.

[BibT_eX]

Bull. EATCS, 2001

P Systems with Picture Objects.

[BibT_eX]

[DOI]

Kamala Krithivasan

Acta Cybern., 2001

Insertion-Deletion P Systems.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 7th International Workshop on DNA-Based Computers, 2001

1999

Contextual Array Splicing Systems.

[BibT_eX]

[DOI]