Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems, to appear in Proceedings of CiE'13, Milan, July 2013. (With Marian Gheorghe and Ciprian Dragomir) Awarded Best Paper in Natural Computing
Compositional Verification of Software Product Lines, to appear in Proceedings of iFM'13 , Turku, Finland, June 10-14, 2013. (With Jean-Vivien Millo, S Ramesh and Ganesh Narwane)
Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility, in Proceedings of ICDCIT'13,
LNCS 7753 : 432-443, Springer (2013). (With Gabriel Ciobanu and Bogdan Aman)
Tracing SPLs Precisely and Efficiently, in Proceedings of SPLC'12, 186-195, ACM (2012). (With S Ramesh, Swarup Mohalik, Jean-Vivien Millo and Ganesh Narwane)
On the Computability Power of Membrane Systems with Controlled Mobility, Proceedings of CiE'12, LNCS 7318 : 626-635, Springer (2012). (With Bogdan Aman and Gabriel Ciobanu)
Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives, Proceedings of ICDCIT'12, LNCS 7154 : 117-128, Springer (2012). (With Lakshmi Manasa and Ashish Chiplunkar)
Construction of Safety Signal Automata for MTL[U,S], Proceedings of FORMATS'11, LNCS 6919: 225-239, Springer (2011). (With Dileep Kini and Paritosh Pandya)
A &Sigmap2 &cup
&Pip2 Lower Bound using Mobile Membranes, Proceedings of Descriptional Complexity of Formal Systems (DCFS'11), LNCS 6808 : 275-288, Springer, (2011). (with Gabriel Ciobanu)
Computability Power of Mobility in Enhanced Mobile Membranes, Proceedings of CiE'11, LNCS 6735 : 160-170, Springer (2011). (with Gabriel Ciobanu)
Model Checking logic WCTL with Multiconstrained modalities on One Clock Priced Timed Automata, Proceedings of FORMATS'09, LNCS 5813: 88-102, Springer (2009). (with Ashish Chiplunkar and Chinmay Jain)
Timed Automata with Integer Resets: Langauge Inclusion and
Expressiveness, Proceedings of FORMATS'08,
LNCS 5215: 78-92, Springer, (2008). (with P. Vijay Suman, P. K. Pandya and Lakshmi Manasa)
The Expressiveness of Concentration Controlled Systems,
Proceedings of UC'08, LNCS 5204: 96-110, Springer, (2008).
Updatable Timed Automata with Additive and Diagonal Constraints, Proceedings of CiE'08 : Logic and Theory of Algorithms, LNCS 5028: 407-416, Springer, (2008). (with Lakshmi Manasa and Kumar Nagaraj)
On the Computational Power of Enhanced Mobile Membranes, Proceedings of CiE'08 : Logic and Theory of Algorithms, LNCS 5028: 326-335, Springer, (2008). (with G. Ciobanu)
On Sampling Abstraction of Continous Time Logic with Durations, Proceedings of TACAS'07,
LNCS 4424: 246-260, Springer, (2007). (with P. K. Pandya and K. Loya)
On the Computational Power of Flip-Flop Proteins on
Membranes, Proceedings of CiE'07 : Computability and Logic in the Real World, LNCS 4497: 695-704, Springer, (2007).
On Pure Catalytic P Systems, Proceedings of UC'06, LNCS 4135: 152-165, Springer, (2006).
On the Power of Bio-Turing Machines,
Proceedings of UC'06, LNCS 4135: 243-253, Springer, (2006). (with H.Ramesh and R.Rama)
Upper and Lower Bounds for the Computational Power of P Systems with Mobile Membranes,
Proceedings of CiE 2006 : Logical Approaches to Computational Barriers, LNCS 3988: 526-535, Springer, (2006).
Modal strength reduction in quantified
discrete duration calculus,
Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science,
(FSTTCS), LNCS 3821: 444- 456, Springer, (2005). (with P. K. Pandya)
Communicating Distributed H Systems : Optimal Results with Efficient Ways of Communication,
Proceedings of 11th International Meeting on DNA Based Computers (DNA 11), LNCS 3892 : 181-192, Springer, (2006).
The Power of Mobility : Four Membranes Suffice, Proceedings of Computability In
Europe (CiE) : New Computational Paradigms, LNCS 3526: 242-251, Springer,
P Systems with Symport/Antiport : The Traces of RBCs, Proceedings
of WMC5 , LNCS 3365: 331-343, Springer, (2005).
On Power of Tissue P Systems working in Minimal Mode, Proceedings of UMC 2002, LNCS 2509 : 208-219, Springer, (2002). (with R. Rama)
Insertion-deletion P Systems, Proceedings of the 7th International Meeting on DNA Based Computers (DNA 7),
LNCS 2340 : 360-370, Springer, (2002). (with R. Rama)
Contextual Array Splicing Systems,
IEEE Proceedings of SPIRE/CRIWG 99, Cancun, Mexico, 168-175 (1999).
(with R. Rama)