publication venue for ZOOM STRUCTURES AND REACTION SYSTEMS YIELD EXPLORATION SYSTEMS 2014 RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS 2013 STABILITY AND CHAOS IN REACTION SYSTEMS 2012 A TOUR OF REACTION SYSTEMS 2011 FUNCTIONS DEFINED BY REACTION SYSTEMS 2011 COMBINATORICS OF LIFE AND DEATH FOR REACTION SYSTEMS 2010 Computing morphisms by spiking neural P systems 2007 Spike trains in spiking neural P systems 2006 Covers from templates 2006 ANALOG/MIXED-SIGNAL CIRCUIT VERIFICATION USING MODELS GENERATED FROM SIMULATION TRACES 2007