Publications in combio.bib
283 results
2017
[283] Controlling Directed Protein Interaction Networks in Cancer (, , and ), In Scientific Reports, volume 7, . [bibtex] [pdf]
[282]Reaction Systems: A Model of Computation Inspired by the Functioning of the Living Cell (, and ), Chapter in The Role of Theory in Computer Science (Stavros Konstantinidis, Nelma Moreira, Rogerio Reis, Jeffrey Shallit, eds.), WORLD SCIENTIFIC, . [bibtex] [doi]
[281]Generating the Logicome from Microarray Data ( and ), Technical report 1175, TUCS, . [bibtex]
[280]A Foundational Framework for Step-by-step Model Construction ( and ), In Fundamenta Informaticae, volume 154, . [bibtex]
[279]Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems (, , and ), In International Journal of Foundations of Computer Science, . (to appear) [bibtex]
2016
[278]Complete characterization for the fit-preserving data refinement of mass-action reaction networks ( and ), In Theoretical Computer Science, Elsevier BV, volume 641, . [bibtex] [doi]
[277]Complexity of model checking for reaction systems (, , , , and ), In Theoretical Computer Science, Elsevier BV, volume 623, . [bibtex] [doi]
[276]Computational completeness of complete, star-like, and linear hybrid networks of evolutionary processors with a small number of processors (, , and ), In Natural Computing, Springer Nature, volume 15, . [bibtex] [doi]
[275]Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems (, , and ), In TUCS Technical Reports, TUCS, volume 1167, . [bibtex]
[274]Quantitative model refinement in four different frameworks, with applications to the heat shock response (, , and ), Chapter in (Luigia Petre, Emil Sekerinski, eds.), Taylor & Francis, . [bibtex]
[273]Stepwise construction of a metabolic network in Event-B: the heat shock response (, and ), Technical report 1160, Turku Centre for Computer Science, . [bibtex]
[272]NetControl4BioMed – Automated discovery of combined drug therapy (, , , and ), Technical report 1162, Turku Centre for Computer Science, . [bibtex]
[271]Automatic discovery of combined drug therapy (, , , and ), In Proceedings of the Thirteenth International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics (Andrea Bracciali, David Gilbert, Gilbert MacKenzie, eds.), . [bibtex]
[270]Large-scale executable biology using rapid integration of computational models ( and ), In Computer Science Journal of Moldova, volume 70, . [bibtex]
[269]Generating the Logicome of a Biological Network (, and ), Chapter in Algorithms for Computational Biology, Springer Nature, . [bibtex] [doi]
[268]Controling directed protein interaction networks in cancer (, , and ), Technical report 1155, Turku Centre for Computer Science, . [bibtex]
[267]NetControl4BioMed: A pipeline for biomedical data acquisition and analysis of network controllability (, , , and ), Technical report 1163, Turku Centre for Computer Science, . [bibtex]
[266]Reaction systems: a model of computation inspired by the functioning of the living cell (, and ), Technical report 1161, Turku Centre for Computer Science, . [bibtex]
[265]Target Controllability of Linear Networks (, , , and ), Chapter in Computational Methods in Systems Biology, Springer Nature, . [bibtex] [doi]
[264]Controlability of Linear netwroks (, , , and ), In Proceedings of Computational Methods in Systems Biology (Ezio Bartocci, Pietro Lio’, Nicola Paoletti, eds.), Springer, volume 9859, . (Best Paper Award) [bibtex]
[263]Controlability of Linear netwroks (, , , and ), Technical report 1157, Turku Centre for Computer Science, . [bibtex]
2015
[262]Reaction Systems Models for the Self-Assembly of Intermediate Filaments (, , and ), Technical report 1131, , . [bibtex] [pdf]
[261]Full structural model refinement as type refinement of colored Petri nets ( and ), volume 1373, . [bibtex] [pdf]
[260]Early Maternal Alcohol Consumption Alters Hippocampal DNA Methylation, Gene Expression and Volume in a Mouse Model (, , , , , , and ), In PLOS One, Public Library of Science, volume 10, . [bibtex]
[259]Quantitative Model Refinement for Guarded Command Models ( and ), In , Submitted, . [bibtex]
[258]Reaction Systems Models for the Self-Assembly of Intermediate Filaments (, , and ), In Annals of University of Bucharest, volume LXII, . [bibtex] [pdf]
[257]Dependency Graphs and Mass Conservation in Reaction Systems (, , and ), In Theoretical Computer Science, Elsevier, . [bibtex] [pdf]
[256]The structure of elementary strategies for gene assembly in ciliates ( and ), In Fundamenta Informaticae, IOS Press, volume 137, . [bibtex] [pdf]
[255]An Excursion Through Quantitative Model Refinement (, , , , , , , , and ), Chapter in (Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron, ed.), Springer, volume 9504, . [bibtex]
[254]Quantitative model refinement for guarded command models ( and ), Chapter in (Marian Gheorghe, Ion Petre, Mario J. Perez-Jimenez, Grzegorz Rozenberg, Arto Salomaa, ed.), Spandugino, . [bibtex]
2014
[253]Complexity of Model Checking for Reaction Systems (, , , , and ), Technical report 1122, , . [bibtex] [pdf]
[252]Dependency Graphs and Mass Conservation in Reaction Systems (, , and ), Technical report 1123, , . [bibtex] [pdf]
[251]Hiding the combinatorial state space explosion of biomodels through colored Petri nets ( and ), Technical report 1119, , . [bibtex] [pdf]
[250]Exact string matching with reaction systems (), Technical report 1104, , . [bibtex] [pdf]
[249]Fit-Preserving Data Refinement of Mass-Action Reaction Networks ( and ), Technical report 1102, , . [bibtex] [pdf]
[248]On combinatorial properties of elementary intramolecular operations (), In Computer Science Journal of Moldova, Institute of Mathematics and Computer Science of Academy of Sciences of Moldova, volume 22, . [bibtex] [pdf]
[247]Hiding the combinatorial state space explosion of biomodels through colored Petri nets ( and ), In (Solomon Marcus, Denis Enachescu, ed.), Editura Universitatii din Bucuresti, volume LXI, . [bibtex] [pdf]
[246]Leontief Input-Output Model with Trapezoidal Fuzzy Numbers and Gauss-Seidel Algorithm (, and ), In International Journal of Process Management and Benchmarking, International publishers, . [bibtex] [pdf]
[245]Preface ( and ), In Electronic Notes in Theoretical Computer Science, Elsevier, volume 306, . [bibtex] [pdf]
[244]Reaction System Models for the Heat Shock Response (, and ), In Fundamenta Informaticae, IOS Press, volume 131, . [bibtex] [pdf]
[243]Dependency relations between elementary intramolecular operations in gene assembly in ciliates ( and ), In Journal of Automata, Languages and Combinatorics, Otto-von-Guericke-Universitat, Magdeburg, volume 19, . [bibtex] [pdf]
[242]On the implementation of quantitative model refinement (, , and ), In Algorithms for Computational Biology (A-H. Dediu, C-M. Vide, B. Truthe, ed.), Springer, volume 8542, . [bibtex] [pdf]
[241]Fit-preserving data refinement of mass-action reaction networks ( and ), In Language, Life, Limits (Arnold Beckmann, Erzsebet Csuhaj-Varju, Klaus Meer, ed.), Springer, volume 8493, . [bibtex] [pdf]
[240]The reduction power of simple operations for gene assembly in ciliates ( and ), In Discrete Mathematics and Computer Science, The Publishing House of the Romanian Academy, . [bibtex] [pdf]
2013
[239]Reaction systems models for the heat shock response (, and ), Technical report 1075, , . [bibtex] [pdf]
[238]Quantitative Petri Net Models for the Heat Shock Response ( and ), Technical report 1068, , . [bibtex] [pdf]
[237]ODE analysis of biological systems (, and ), Technical report 1072, , . [bibtex] [pdf]
[236]Three Approaches to Quantitative Model Refinement with Applications to the Heat Shock Response (, , and ), Technical report 1067, , . [bibtex]
[235]Systematic use of computational methods allows stratification of treatment responders in glioblastoma multiforme (, , , , , , , , , and ), In Systems Biomedicine, Taylor & Francis, volume 1, . [bibtex]
[234]Identification of genetic markers with synergistic survival effect in cancer (, , , , , , , , , and ), In BMC Systems Biology, BioMed Central Ltd, volume 7, . [bibtex]
[233]Quantitative refinement of reaction models (, , and ), In International Journal of Unconventional Computing, Old City Publishing, volume 8, . [bibtex] [pdf]
[232]ODE analysis of biological systems (, and ), In Formal Methods for Dynamical Systems (Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky, ed.), Springer, volume 7938, . [bibtex] [pdf]
[231]Forward and backward chaining with P systems (, , and ), Chapter in (Nunes de Castro, Leandro, ed.), IGI Global, . [bibtex]
2012
[230]The Phosphorylation of the Heat Shock Factor as a Modulator for the Heat Shock Response (, and ), Technical report 1041, , . [bibtex]
[229]Quantitative model refinement as a solution to the combinatorial state explosion of biomodels (, , and ), In Electronic Notes in Theoretical Computer Science, Elsevier, volume 284, . [bibtex] [pdf]
[228]Special issue on "Magic in Science" (, , , and ), In Theoretical Computer Science, Elsevier, volume 429, . [bibtex]
[227]The phosphorylation of the heat shock factor as a modulator for the heat shock response (, and ), In IEEE/ACM Transactions on Computational Biology and Bioinformatics, IEEE/ACM, volume 9, . [bibtex] [pdf]
[226]Simple gene assembly as a rewriting of directed overlap-inclusion graphs (, , and ), In Theoretical Computer Science, Elsevier, volume 454, . [bibtex] [pdf]
[225]Self-assembly models of variable resolution (, and ), In Transactions on Computational Systems Biology XIV, Springer, volume LNCS 7625, . [bibtex] [pdf]
[224]Matrix Insertion-Deletion Systems ( and ), In Theoretical Computer Science, Elsevier, volume 456, . [bibtex] [pdf]
[223]Quantitative analysis of the self-assembly strategies of intermediate filaments from tetrameric vimentins (, , , , and ), In Transactions on Computational Biology and Bioinformatics, IEEE/ACM, volume 9, . [bibtex] [pdf]
[222]A Boolean approach for disentangling the roles of submodels to the global properties of a biomodel (, and ), In Fundamenta Informaticae, IOS Press, volume 116, . [bibtex] [pdf]
[221]Computational methods for quantitative submodel comparison (, and ), Chapter in (Evgeny Katz (Ed.), ed.), Wiley-VCH, . [bibtex] [pdf]
[220]Computational Nature of Gene assembly in ciliates (, , , and ), Chapter in (G. Rozenberg, T.H.W. Back, J.N. Kok, ed.), Springer, volume 2 (Molecular Computation), . [bibtex] [pdf]
[219]Magic in Science (, , , and ), Elsevier, . [bibtex]
[218]Special issue on Unconventional Computing, (Kari, Jarkko, Petre, Ion, eds.), Springer, volume 11, . [bibtex]
[217]Special issue on Computational Models for Cell Processes (, and ), Springer, . [bibtex]
2011
[216]Simple gene assembly as a rewriting of directed overlap-inclusion graphs (, , and ), Technical report 1030, , . [bibtex] [pdf]
[215]Quantitative analysis of the self-assembly strategies of intermediate filaments from tetrameric vimentin (, , , , and ), Technical report 963, TUCS, , . [bibtex]
[214]A Boolean approach for disentangling the numerical contribution of modules to the system-level behavior of a biomodel (, and ), Technical report 997, TUCS, , . [bibtex]
[213]Directed overlap-inclusion graphs as representations of ciliate genes (, , , and ), Technical report 1001, TUCS, , . [bibtex] [pdf]
[212]Methods for biochemical model decomposition (, and ), Technical report 1005, TUCS, , . [bibtex]
[211]Self-assembly models of variable resolution (, and ), Technical report 1014 TUCS, , . [bibtex]
[210]Quantitative model refinement as a solution for the combinatorial size explosion of biomodels (, , and ), Technical report 1015, TUCS, , . [bibtex] [pdf]
[209]Methods for construction and analysis of computational models in systems biology (), PhD thesis, , . [bibtex]
[208]Proceedings of the third International Workshop on Computational Models for Cell Processes ( and ), EPTCS 67, volume CompMod 2011, . [bibtex]
[207]Proceedings of the 10th International Conference on Unconventional Computation (, , and ), Springer, volume 6735, . [bibtex]
[206]Forward and Backward Chaining with P Systems (, , and ), In IJNCR, volume 2, . [bibtex]
[205]A simple mass-action model for the eukaryotic heat shock response and its mathematical validation (, , , , , , , and ), In Natural Computing, volume 10, . [bibtex]
[204]Directed overlap-inclusion graphs as representations of ciliate genes (, , , and ), In Fundamenta Informaticae, volume 110, . [bibtex] [pdf]
[203]New robustness paradigms: from Nature to computing ( and ), In ERCIM News, . [bibtex] [pdf]
[202]Methods for biochemical decomposition and quantitative submodel comparison (, and ), In Israel Journal of Chemistry, Wiley, volume 51, . [bibtex] [pdf]
[201]Complexity-preserving simulations among three variants of accepting networks of evolutionary processors (, , , , and ), In Journal of Natural Computing, volume 10, . [bibtex]
[200]Feedback Loop Centrality to Decide Gene Essentiality in Cellular Signaling Networks ( and ), In Proceedings of the International Workshop on Intelligent Information Systems IIS2011, Institute of Mathematics and Computer Science of Moldova, . [bibtex]
[199]Systematic Use of Computational Methods Allows Stratifying Treatment Responders in Glioblastoma Multiforme (, , , , , , , , , and ), In Critical Assessment of Massive Data Analysis (CAMDA) workshop, . [bibtex]
[198]The phosphorylation of the heat shock factor as a modulator for the heat shock response (, and ), In Proceedings of the 9th International Conference on Computational Methods in Systems Biology (F.Fages (ed.), ed.), ACM, volume Best paper award, . [bibtex] [pdf]
[197]Special issue on Computational Models for Cell Processes (, , and ), Springer, volume 6575, . [bibtex]
2010
[196]On computational properties of gene assembly in ciliates (), In Computer Science Journal of Moldova, Institute of Mathematics and Computer Science of Academy of Sciences of Moldova, volume 18, . [bibtex]
[195]Investigations on Natural Computing in the Institute of Mathematics and Computer Science (, , , , , , , , , , , , , , and ), In Computer Science Journal of Moldova, Investigations on Natural Computing in the Institute of Mathematics and Computer Science, volume 18, . [bibtex]
[194]Stochastic modelling of the eukaryotic heat shock response ( and ), In Journal of Theoretical Biology, volume 265, . [bibtex]
[193]Gene assembly in ciliates ( and ), In Scholarpedia, volume 5, . [bibtex]
[192]A sequence-based analysis of the pointer distribution of stichotrichous ciliates (, and ), In Biosystems, Elsevier, . [bibtex] [pdf]
[191]Accepting splicing systems (, and ), In Theoretical Computer Science, volume 411, . [bibtex] [pdf]
[190]Three models for gene assembly in ciliates: a comparison (, and ), In Computer Science Journal of Moldova, volume 18, . [bibtex] [pdf]
[189]Computing the graph-based parallel complexity of gene assembly (, and ), In Theoretical Computer Science, volume 411, . [bibtex] [pdf]
[188]Extended strings and graphs for simple gene assembly (, and ), In Theoretical Computer Science, volume 411, . [bibtex] [pdf]
2009
[187]Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments From Tetrameric Vimentin (, , , , and ), Technical report 963, , . [bibtex] [pdf]
[186]Computational heuristics for simplifying a biological model (, and ), Technical report 933, , . [bibtex] [pdf]
[185]PhD Thesis: Gene Assembly in Stichotrichous Ciliates: Elementary Operations, Parallelism and Computation (), PhD thesis, , . [bibtex] [pdf]
[184]Proceedings of the Second International Workshop on Computational Models for Cell Processes (, and ), volume 6, . [bibtex]
[183]The parallel complexity of signed graphs: Decidability results and an improved algorithm (, and ), In Theoretical Computer Science, Elsevier, volume 410, . [bibtex]
[182]Successful elementary gene assembly strategies (), In International Journal of Foundations of Computer Science, World Scientific, volume 20, . [bibtex] [pdf]
[181]The dynamics of heat shock response induced by ultrasound therapeutic treatment ( and ), In , volume 2, . [bibtex] [pdf]
[180]Control strategies for the regulation of the eukaryotic heat shock response (, , and ), In Proceedings of Computational Mehods in Systems Biology (Pierpaolo Degano, Roberto Gorrieri, ed.), Springer, volume 5688, . [bibtex] [pdf]
[179]Computational heuristics for simplifying a biological model (, and ), In Mathematical Theory and Computational Practice (Klaus Amboss-Spies, Benedikt Lowe, Wolfgang Merkle, ed.), Springer, volume 5635, . [bibtex] [pdf]
[178]About the Efficiency of Spiking Neural P Systems (, and ), In 7th Brainstorming Week on Membrane Computing (Gh. Paun, et. al., ed.), Fenix Editora Sevilla, volume II, . [bibtex] [pdf]
[177]Deterministic Solutions to QSAT and Q3SAT by Spiking Neural P Systems with Pre-Computed Resources (, , , and ), In Seventh Brainstorming Week on Membrane Computing (Gh. Paun, et. al., ed.), Fenix Editora Sevilla, volume II, . [bibtex] [pdf]
[176]A new mathematical model for the heat shock response (, , , , , and ), Chapter in (Anne Condon et al, ed.), Springer, . [bibtex] [pdf]
[175]Algebraic systems and pushdown automata ( and ), Chapter in (M.Droste, W.Kuich, H.Vogler, ed.), Springer, . [bibtex] [pdf]
[174]Special issue on Computational Models for Cell Processes (, and ), Springer, volume LNCS 5750, . [bibtex] [pdf]
2008
[173]A Sequence-Based Analysis of the Pointer Distribution of Ciliate (, and ), Technical report 902, , . [bibtex] [pdf]
[172]Algebraic Systems and Pushdown Automata ( and ), Technical report 901, , . [bibtex] [pdf]
[171]A New Mathematical Model for the Heat Shock Response (, , , , , and ), Technical report 883, , . [bibtex] [pdf]
[170]A Petri-net Formalization of the Heat Shock Response Model (, and ), Technical report 886, , . [bibtex] [pdf]
[169]Three models for gene assembly in ciliates: a comparison (, and ), Technical report 878, , . [bibtex] [pdf]
[168]Uniform Solutions to SAT and 3-SAT by Spiking Neural P Systems with Pre-computed Resources ( and ), Technical report 876, , . [bibtex] [pdf]
[167]Gene assembly models and Boolean circuits ( and ), Technical report 873, , . [bibtex] [pdf]
[166]Parallelism and Complexity in Gene Assembly (), PhD thesis, , . [bibtex]
[165]Proceedings of the Workshop on Natural Computing and Graph Transformations ( and ), University of Leicester, . [bibtex] [pdf]
[164]Proceedings of the Workshop on Computational Models for Cell Processes ( and ), TUCS, volume 47, . [bibtex] [pdf]
[163]Spiking Neural P Systems with Extended Rules: Universality and Languages (, , , , and ), In Natural Computing, Springer, volume 7, . [bibtex] [pdf]
[162]Gene Assembly Models and Boolean Circuits ( and ), In International Journal of Foundations of Computer Science, World Scientific, volume 19, . [bibtex]
[161]Uniform Solutions to SAT and 3-SAT by Spiking Neural P Systems with Pre-computed Resources ( and ), In Natural Computing, Springer, volume 7, . [bibtex] [pdf]
[160]Computational efficiency of intermolecular gene assembly (, and ), In Fundamenta Informaticae, Elsevier, volume 84, . [bibtex] [pdf]
[159]Solutions to Computational Problems through Gene Assembly (, and ), In Natural Computing, Springer, volume 7, . [bibtex] [pdf]
[158]Graph Theoretic Approach to Parallel Gene Assembly (, and ), In Discrete Applied Mathematics, volume 156, . [bibtex] [pdf]
[157]Parallel Complexity of Signed Graphs for Gene Assembly in Ciliates (, and ), In Soft Computing - A Fusion of Foundations, Methodologies and Applications, Springer Berlin/Heidenberg, volume 12, . [bibtex] [pdf]
[156]Parikh matrices and amiable words (, and ), In Theoretical Computer Science, Elsevier, volume 390, . [bibtex] [pdf]
[155]Sequential vs. parallel complexity in simple gene assembly ( and ), In Theoretical Computer Science, Elsevier, volume 395, . [bibtex] [pdf]
[154]Decision problems for shuffled genes ( and ), In Information and Computation, Elsevier, volume 206, . [bibtex] [pdf]
[153]Patterns of Simple Gene Assembly (, , and ), In Discrete Applied Mathematics, Elsevier, volume 156, . [bibtex] [pdf]
[152]Three models for gene assembly in ciliates: a comparison (, and ), In Proceedings of the 3rd International Conference on Bio-Inspired Models of Network, Information and Computing Sytems, ICST, . [bibtex]
[151]A Petri-net Formalizaion of Heat Shock Response Model (, and ), In Proc. Workshop on Natural Computing and Graph Transformations, September 8, 2008, Leicester, UK (I. Petre, G. Rozenberg, eds.), Leicester University press, . [bibtex]
[150]A Petri-net Formalizaion of Heat Shock Response Model (, and ), In Proc. First International workshop on Frontiers of Information Technology, Applications and Tools, 14-15 August, Ulanbator, Mongolia (O. Namsrai, K.H. Ryu, eds.), National University of Mongolia press and Chungbuk National University of S.Korea press., . [bibtex]
[149]A new mathematical model for the heat shock response (, , , , , and ), In Proceedings of COMPMOD 2008 (Ralph-Johan Back, Ion Petre, ed.), Turku Centre for Computer Science, volume 47, . [bibtex] [pdf]
[148]Solutions to Computational Problems Through Gene Assembly (, and ), In DNA Computing, 13th International Meeting on DNA Computing (Max Garzon, Hao Yan, ed.), Springer, volume 4848, . [bibtex] [pdf]
[147]Between theory and applications (), Chapter in (A.Iorgulescu, S.Marcus, ed.), Editura Academiei Romane, . [bibtex] [pdf]
2007
[146]Computing Through Gene Assembly ( and ), Technical report 816, , . [bibtex] [pdf]
[145]Computational Power of Intramolecular Gene Assembly (, and ), Technical report 815, , . [bibtex] [pdf]
[144]Graph Theoretical Approach to Parallel Gene Assembly (, and ), Turku Centre for Computer Science, . [bibtex]
[143]Sequential vs. parallel complexity in simple gene assembly ( and ), Technical report 837, , . [bibtex]
[142]Computational efficiency of intermolecular gene assembly (, and ), Technical report 826, , . [bibtex] [pdf]
[141]Commutation with codes (, and ), Technical report TR 628, , . [bibtex]
[140]A string-based model for simple gene assembly (, and ), Technical report TR 836, , . [bibtex]
[139]Examples on Parallel Complexity of Signed Graphs (, and ), Technical report 811, , . [bibtex] [pdf]
[138]Networks of Evolutionary Processors with Two Nodes Are Unpredictable (, and ), Technical report 818, , . [bibtex] [pdf]
[137]Self-assembly of strings and languages (, and ), In Theoretical Computer Science, Springer, volume 374, . [bibtex] [pdf]
[136]Power and Efficiency of Minimal Parallelism for Polarizationless P Systems (), In Journal of Automata, Languages and Combinatorics, Springer, . [bibtex] [pdf]
[135]Computing Along the Axon (, and ), In Progress in Natural Science, Science in China Press and Taylor and Francis, volume 17, . [bibtex] [pdf]
[134]Networks of Evolutionary Processors with Operations in Two Nodes (, and ), In Information and Computation, Elsevier, volume submitted, . [bibtex]
[133]Minimal Cooperation in Symport/Antiport Tissue P Systems (, and ), In International Journal of Foundations of Computer Science, World Scientific, volume 18, . [bibtex] [pdf]
[132]Computational Power of Intramolecular Gene Assembly (, and ), In International Journal of Foundations of Computer Science, World Scientific, volume 18, . [bibtex] [pdf]
[131]Complexity Measures for Gene Assembly (, , and ), In Proceedings of the Knowledge Discovery and Emergent Complexity in Bioninformatics workshop (K. Tuyls, ed.), Springer, volume 4366, . [bibtex] [pdf]
[130]A String-based Model for Simple Gene (, and ), In Proceedings of FCT 2007 (E. Csuhaj-Varju, Z. Esik, ed.), Springer-Verlag Berlin Heidleberg, volume 4639, . [bibtex] [pdf]
[129]Skin Output in P Systems with Minimal Symport/Antiport and Two Membranes ( and ), In WMC8 Preproc. & LNCS, in preparation, . [bibtex]
[128]Uniform Solution of QSAT Using Polarizationless Active Membranes ( and ), In , Springer, volume 4664, . [bibtex] [pdf]
[127]Partial Halting in P Systems Using Membrane Rules with Permitting Contexts (, , and ), In Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, Proceedings (J. Durand-Lose, M. Margenstern, ed.), Springer, volume 4664, . [bibtex] [pdf]
[126]Partial Versus Total Halting in P Systems (, , and ), In Fifth Brainstorming Week on Membrane Computing (M.A. Gutierrez-Naranjo, Gh. Paun, A. Romero-Jimenez, A. Riscos-Nunez, ed.), Fenix Editora, Sevilla, volume 01/2007, . [bibtex] [pdf]
[125]Computational Efficiency of Intermolecular Gene Assembly (, and ), In Int. Workshop on Language Theory in Biocomputing (Michael Domaratzki, Kai Salomaa, eds.), Queen's University, Kingston, Canada, . [bibtex] [pdf]
[124]Computing Through Gene Assembly ( and ), In Unconventional Computation 2007 (S. G. Akl et al., ed.), Springer, volume 4618, . [bibtex] [pdf]
2006
[123]Simple gene assembly is deterministic ( and ), Technical report 756, , . [bibtex]
[122]Invariants of gene assembly in stichotrichous ciliates (), Technical report 750, , . [bibtex]
[121]Simple Operations for Gene Assembly (, , and ), Technical report 757, , . [bibtex] [pdf]
[120]Complexity Measures for Gene Assembly (, , and ), Technical report 781, , . [bibtex] [pdf]
[119]Self-Assembly as a String-Based Operation (, and ), Technical report 755, , . [bibtex] [pdf]
[118]Communication in Membrane Systems with Symbol Objects (), PhD thesis, , . [bibtex] [pdf]
[117]Generating Languages by P Systems with Minimal Symport/Antiport ( and ), In The Computer Science Journal of Moldova, Institute of Mathematics and Computer Science, Chişinău, Moldova, volume 14, . [bibtex] [pdf]
[116]Membrane Division, Restricted Membrane Creation and Object Complexity in P Systems (, and ), In International Journal of Computer Mathematics, Taylor & Francis, volume 83, . [bibtex] [pdf]
[115]On the Number of Nodes in Universal Networks of Evolutionary Processors (, and ), In Acta Informatica, Springer-Verlag, volume 43, . [bibtex] [pdf]
[114]P Systems without Multiplicities of Symbol-Objects (), In Information Processing Letters, Elsevier, volume 100, . [bibtex] [pdf]
[113](Tissue) P Systems with Unit Rules and Energy Assigned to Membranes (, , , and ), In Fundamenta Informaticae, IOSPress, volume 74, . [bibtex] [pdf]
[112]Solving HPP and SAT by P Systems with Active Membranes and Separation Rules ( and ), In Acta Informatica, Springer-Verlag, volume 43, . [bibtex] [pdf]
[111]Cell / Symbol Complexity of Tissue P Systems with Symport / Antiport Rules (, and ), In International Journal of Foundations of Computer Science, World Scientific, volume 17, . [bibtex] [pdf]
[110]Spiking Neural P Systems with Extended Rules (, , and ), In Romanian Journal of Information Science and Technology, volume 9, . [bibtex] [pdf]
[109]Simple gene assembly is deterministic ( and ), In Fundamenta Informaticae, IOS Press, volume 73, . [bibtex] [pdf]
[108]Invariants of gene assembly in stichotrichous ciliates (), In IT, Oldenbourg Wissenschftsverlag, volume 3/2006, . [bibtex] [pdf]
[107]Periodic and Sturmian Languages (, and ), In Information Processing Letters, Elsevier, volume 98, . [bibtex] [pdf]
[106]Parallelism in gene assemby (, , and ), In Natural Computing, Springer, volume 5, . [bibtex] [pdf]
[105]Minimal Parallelism for Polarizationless P Systems (), In DNA Computing, Twelfth International Meeting on DNA Computing, Seoul, Korea, June 5-9, 2006, (Chengde Mao, Takashi Yokomori, ed.), Springer, volume 4287, . [bibtex] [pdf]
[104]Boolean Circuits and a DNA Algorithm in Membrane Computing ( and ), In Membrane Computing, 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005 (Rudolf Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, ed.), Springer, volume 3850, . [bibtex] [pdf]
[103]On the Efficiency of Spiking Neural P Systems (, and ), In Proc. 8th International Conference on Electronics, Information, and Communication (ICEIC2006), Ulaanbaatar, June 2006, . [bibtex] [pdf]
[102]Simple operations for gene assembly (, , and ), In Proceedings of the 11th International Meeting on DNA-based computers DNA11 (Lila Kari, ed.), Springer, volume 3892, . [bibtex] [pdf]
[101]Minimal Parallelism and Number of Membrane Polarizations (), In International Workshop in Membrane Computing, (WMC7) (H.J. Hoogeboom, Gh. Paun, G. Rozenberg, ed.), Lorentz Center, Leiden, . [bibtex] [pdf]
[100]Encodings and Arithmetic Operations in P Systems (, and ), In Fourth Brainstorming Week on Membrane Computing (M.A. Gutierrez-Naranjo, Gh. Paun, A. Riscos-Nunez, F.J. Romero-Campero, ed.), Fenix Editora, Sevilla, volume 02/2006, vol. 1, . [bibtex] [pdf]
[99]Towards a Characterization of P Systems with Minimal Symport/Antiport and Two Membranes ( and ), In Membrane Computing, International Workshop, WMC 2006, Leiden, 2006, Revised Selected and Invited Papers (H.J. Hoogeboom, Gh. Paun, G. Rozenberg, A. Salomaa, ed.), Springer, volume 4361, . [bibtex] [pdf]
[98]Extended Spiking Neural P Systems (, , and ), In Membrane Computing, International Workshop, WMC 2006, Leiden, 2006, Revised Selected and Invited Papers (H.J. Hoogeboom, Gh. Paun, G. Rozenberg, A. Salomaa, ed.), Springer, volume 4361, . [bibtex] [pdf]
[97]Computational Power of Symport/Antiport: History, Advances and Open Problems (, and ), In Membrane Computing, International Workshop, WMC 2005, Vienna, 2005, Revised Selected and Invited Papers (R. Freund, Gh. Paun, G. Rozenberg, A. Salomaa, ed.), Springer, volume 3850, . [bibtex] [pdf]
[96]Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules (, and ), In Membrane Computing, International Workshop, WMC 2005, Vienna, 2005, Revised Selected and Invited Papers (R. Freund, Gh. Paun, G. Rozenberg, A. Salomaa, ed.), Springer, volume 3850, . [bibtex] [pdf]
[95]Number of Protons/Bi-stable Catalysts and Membranes in P Systems. Time-Freeness (), In Membrane Computing, International Workshop, WMC 2005, Vienna, 2005, Revised Selected and Invited Papers (R. Freund, Gh. Paun, G. Rozenberg, A. Salomaa, ed.), Springer, volume 3850, . [bibtex] [pdf]
[94]Modelling simple operations for gene assembly (, and ), Chapter in (Junghuei Chen, Natasha Jonoska, Grzegorz Rozenberg, ed.), Springer, . [bibtex] [pdf]
2005
[93]Modelling simple operations for gene assembly in ciliates (, and ), Technical report 697, , . [bibtex]
[92]Further Remarks on P Systems with Active Membranes, Separation, Merging, and Release Rules (, and ), In Soft Computing. A Fusion of Foundations, Methodologies and Applications, Springer, volume 9, . [bibtex] [pdf]
[91]Commutation with codes (, and ), In Theoretical Computer Science, Elsevier, volume 340, . [bibtex] [pdf]
[90]The commutation with ternary sets of words (, and ), In Theory of Computing Systems, Springer, volume 38, . [bibtex] [pdf]
[89]Book review: T.Sienko, A.Adamatzky, N.G.Rambidi, M.Conrad (Eds.), 2003 - Molecular Computing. The MIT Press, Cambridge, Massachusetts, London, England (), In Genetic programming and evolvable machines, volume 6, . [bibtex] [pdf]
[88]Replicative - Distribution Rules in P Systems with Active Membranes ( and ), In Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium Guiyand, China, September 20-24 (Liu, Zhiming; Araki, Keijiro, ed.), Springer, volume 3407, . [bibtex] [pdf]
[87]Inhibiting/De-inhibiting Rules in P Systems with Active Membranes (, and ), In Proc. Cellular Computing (Complexity Aspects) ESF PESC Exploratory Workshop (M. A. Gutierrez-Naranjo, Gh. Paun, M. J. Perez-Jimenez, ed.), Fenix Editora, Sevilla, Spain, . [bibtex] [pdf]
[86]Modeling Neural Processes in Lindenmayer Systems ( and ), In Computational Intelligence and Bioinspired Systems, The 8th International Work-Conference on Artificial Neural Networks (IWANN'2005), Barcelona, Spai (Cabestany, Joan; Prieto, Alberto; Sandoval, Francisco, ed.), Springer, volume 3512, . [bibtex] [pdf]
[85]Inhibiting/De-inhibiting Rules in P Systems (, and ), In Membrane Computing (G. Mauri, Gh. Paun, M. J. Perez-Jimenez, G. Rozenberg, A. Salomaa, ed.), Springer, volume Lecture Notes in Computer Science LNCS 3365, . [bibtex] [pdf]
[84]Inhibiting/De-Inhibiting Rules in P Systems (, and ), In Membrane Computing (G. Mauri, Gh. Paun, M. J. Perez-Jimenez, G. Rozenberg, A. Salomaa, ed.), Springer, . [bibtex] [pdf]
[83]Communicative P Systems with Minimal Cooperation (, , , and ), In Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers (G. Mauri, Gh. Paun, M.J. Perez-Jimenez, G. Rozenberg, A. Salomaa, ed.), Springer-Verlag, Berlin, volume 3365, . [bibtex] [pdf]
[82]Parallelism in gene assembly (, , and ), In Proceedings of the 10th International Meeting on DNA-based computers DNA10 (Claudio Feretti, Giancarlo Mauri, Claudio Zandron, ed.), Springer, volume 3384, . [bibtex] [pdf]
[81]Minimal Cooperation in Symport/Antiport P Systems with One Membrane ( and ), In Third Brainstorming Week on Membrane Computing (M.A. Gutierrez-Naranjo, A. Riscos-Nunez, F.J. Romero-Campero, D. Sburlan, ed.), Fenix Editora, Sevilla, volume 01/2005, . [bibtex] [pdf]
[80]P Systems with One Membrane and Symport/Antiport Rules of Five Symbols Are Computationally Complete ( and ), In Third Brainstorming Week on Membrane Computing (M.A. Gutierrez-Naranjo, A. Riscos-Nunez, F.J. Romero-Campero, D. Sburlan, ed.), Fenix Editora, Sevilla, volume 01/2005, . [bibtex] [pdf]
[79]Evolution-Communication P Systems: Time-Freeness ( and ), In Third Brainstorming Week on Membrane Computing (M.A. Gutierrez-Naranjo, A. Riscos-Nunez, F.J. Romero-Campero, D. Sburlan, ed.), Fenix Editora, Sevilla, volume 01/2005, . [bibtex] [pdf]
[78]Maximally Parallel Multiset-Rewriting Systems: Browsing the Configurations (), In Third Brainstorming Week on Membrane Computing (M.A. Gutierrez-Naranjo, A. Riscos-Nunez, F.J. Romero-Campero, D. Sburlan, ed.), Fenix Editora, Sevilla, volume 01/2005, . [bibtex] [pdf]
[77]Sevilla Carpets of Deterministic Non-cooperative P Systems ( and ), In Cellular Computing (Complexity Aspects), ESF PESC Exploratory Workshop (M.A. Gutierrez-Naranjo, Gh. Paun, M.J. Perez-Jimenez, ed.), Fenix Editora, Sevilla, . [bibtex] [pdf]
[76]Some Optimal Results on Symport/Antiport P Systems with Minimal Cooperation (, and ), In Cellular Computing (Complexity Aspects), ESF PESC Exploratory Workshop (M.A. Gutierrez-Naranjo, Gh. Paun, M.J. Perez-Jimenez, ed.), Fenix Editora, Sevilla, . [bibtex] [pdf]
[75]Solving SAT by Symport/Antiport P Systems with Membrane Division (), In Cellular Computing (Complexity Aspects), ESF PESC Exploratory Workshop (M.A. Gutierrez-Naranjo, Gh. Paun, M.J. Perez-Jimenez, ed.), Fenix Editora, Sevilla, . [bibtex] [pdf]
[74]One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems (, and ), In Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05) (D. Zaharie, D. Petcu, V. Negru, T. Jebelean, G. Ciobanu, A. Cicortas, A. Abraham, M. Paprzycki, ed.), IEEE Computer Society, . [bibtex] [pdf]
[73]Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells (, and ), In Developments in Language Theory: 9th International Conference, DLT 2005, Palermo, Italy, 2005, Proceedings (C. De Felice, A. Restivo, ed.), Springer, volume 3572, . [bibtex] [pdf]
[72]Computing by Observing Bio-Systems: the Case of Sticker Systems ( and ), In DNA Computing: 10th International Workshop on DNA Computing, DNA10, Milan, Italy, Revised Selected Papers (C. Ferretti, G. Mauri, C. Zandron, ed.), Springer, volume 3384, . [bibtex] [pdf]
[71]Computational Completeness of P Systems with Active Membranes and Two Polarizations (, and ), In Machines, Computations, and Universality, International Conference, MCU 2004, Saint Petersburg, 2004, Revised Selected Papers (: M. Margenstern, ed.), Springer, volume 3354, . [bibtex] [pdf]
[70]Ultimately Confluent Rewriting Systems. Parallel Multiset–Rewriting with Permitting or Forbidding Contexts ( and ), In Membrane Computing, International Workshop, WMC 2004, Milan, 2004, Revised Selected and Invited Papers (G. Mauri, Gh. Paun, M.J. Perez-Jimenez, G. Rozenberg, A. Salomaa, ed.), Springer, volume 3365, . [bibtex] [pdf]
[69]On the Efficiency of P Systems with Active Membranes and Two Polarizations ( and ), In Membrane Computing, International Workshop, WMC 2004, Milan, 2004, Revised Selected and Invited Papers (G. Mauri, Gh. Paun, M.J. Perez-Jimenez, G. Rozenberg, A. Salomaa, ed.), Springer, volume 3365, . [bibtex] [pdf]
[68]Static Sorting P Systems ( and ), Chapter in (G. Ciobanu, Gh. Paun, M.J. Perez-Jimenez, ed.), Springer-Verlag, . [bibtex] [pdf]
2004
[67]Commutation with Codes (, and ), Turku Centre for Computer Science, . [bibtex]
[66]Two models for gene assembly in ciliates (, and ), Technical report 604, , . [bibtex]
[65]The commutation with ternary sets of words (, and ), Technical report 589, , . [bibtex]
[64]Periodic and sturmian languages (, and ), Technical report 629, , . [bibtex]
[63]Parallelism in gene assembly (, , and ), Technical report 611, , . [bibtex]
[62]Gene assembly in ciliates: Formal frameworks (, and ), In Bulletin of EATCS, . [bibtex] [pdf]
[61]Trading Polarizations for Labels in P Systems with Active Membranes (, and ), In Acta Informatica, Springer-Verlag, volume 41, . [bibtex] [pdf]
[60]Polarizationless P Systems with Active Membranes ( and ), In Grammars, Rovira i Virgili University, Spain, volume 7, . [bibtex] [pdf]
[59]On Determinism of Evolution-Communication P Systems (), In Journal of Universal Computer Science, Graz University of Technology, volume 10, . [bibtex] [pdf]
[58]Minimizing Evolution-Communication P Systems and Automata (), In New Generation Computing, Ohmsha Ltd, Tokyo and Springer Inc, New York, volume 22, . [bibtex] [pdf]
[57]Deductive databases and P systems ( and ), In Computer Science Journal of Moldova, Institute of Mathematics and Computer Science of Academy of Sciences of Moldova, volume 12, . [bibtex] [pdf]
[56]P Systems with Active Membranes and Separation Rules ( and ), In Journal of Universal Computer Science, Springer, volume 10, . [bibtex] [pdf]
[55]Membrane Operations in P Systems with Active Membranes ( and ), In Proceedings Second Brainstorming Week on Membrane Computing (Gh. Paun et. al, ed.), University of Seville, . [bibtex] [pdf]
[54]Simulation of mobile Ambients by P systems. Part 1 ( and ), In Membrane Computing (Carlos Martin-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, ed.), Springer-Verlag, volume 2933, . [bibtex] [pdf]
[53]Simulation of Mobile Ambients by tissue P systems with a dynamic network of membranes ( and ), In Proceedings of the International Conference on Computers and Communications - ICCC 2004 (Ioan Dzitac, Teodor Maghiar, Constantin Popescu, ed.), Editura Universitatii din Oradea, . [bibtex] [pdf]
[52]DNA computing and graph transformation (, and ), In Proceedings of International Conference on Graph Transformation, ICGT 2004, Springer, volume 3256, . [bibtex] [pdf]
[51]A Note on P Systems with Activators (), In Second Brainstorming Week on Membrane Computing (Gh. Paun, A. Riscos-Nunez, A. Romero-Jimenez, F. Sancho-Caparrini, ed.), University of Seville, volume 01/2004, . [bibtex] [pdf]
[50]Proton Pumping P Systems ( and ), In Membrane Computing, International Workshop, WMC 2003, Tarragona, 2003, Revised Papers (C. Martin-Vide, G. Mauri, Gh. Paun, G. Rozenberg, A. Salomaa, ed.), Springer, volume 2933, . [bibtex] [pdf]
[49]Solving Graph Problems by P Systems with Restricted Elementary Active Membranes (, and ), Chapter in (N. Jonoska, Gh. Paun, G. Rozenberg, ed.), Springer-Verlag, volume 2950, . [bibtex] [pdf]
[48]Two problems on commutation of languages ( and ), Chapter in (G.Paun, G.Rozenberg, A.Salomaa, ed.), World Scientific, volume 2, . [bibtex] [pdf]
[47]Gene assembly in ciliates (, , , and ), Chapter in (G.Ciobanu, G.Rozenberg, ed.), Springer, . [bibtex] [pdf]
[46]Formal properties of gene assembly in ciliates: Equivalence problems for overlap graphs (, and ), Chapter in (N. Jonoska, Gh. Paun, G. Rozenberg, eds.), Springer, volume 2950, . [bibtex] [pdf]
[45]Gene assembly in ciliates: Molecular operations (, and ), Chapter in (G.Paun, G.Rozenberg, A.Salomaa, ed.), World Scientific, volume 1, . [bibtex]
[44]Gene assembly in ciliates: Formal frameworks (, and ), Chapter in (G.Paun, G.Rozenberg, A.Salomaa, ed.), World Scientific, volume 1, . [bibtex]
[43]Two models for gene assembly (, and ), Chapter in (J.Karhumaki,G.Paun, G.Rozenberg, ed.), Springer, volume 3113, . [bibtex] [pdf]
[42] Computation in Living Cells (, , , and ), Springer Berlin Heidelberg, . [bibtex] [pdf] [doi]
2003
[41]Formal Properties of Gene Assembly: Equivalence Problem for Overlap Graphs (, and ), Technical report 548, , . [bibtex]
[40]Two problems on commutation of languages ( and ), Technical report 556, , . [bibtex]
[39]Gene assembly in ciliates: molecular operations (, and ), Technical report 557, , . [bibtex]
[38]Gene assembly in ciliates: Formal frameworks (, and ), Technical report 558, , . [bibtex]
[37]Solving a PSPACE-Complete Problem by P Systems with Restricted Active Membranes (, and ), In Fundamenta Informaticae, IOSPress, volume 58, . [bibtex] [pdf]
[36]Gene assembly in ciliates: Molecular operations (, and ), In Bulletin of EATCS, . [bibtex] [pdf]
[35]Formal systems for gene assembly in ciliates (, , , and ), In Theoretical Computer Science, . [bibtex] [pdf]
[34]The commutation with codes and ternary sets of words (, and ), In Proceedings of STACS 2003 (Helmut Alt, Michel Habib, ed.), Springer, volume 2607, . [bibtex] [pdf]
[33]Generating Classes of Languages by P Systems and Other Devices (), In Brainstorming Week on Membrane Computing, Tarragona (M. Cavaliere, C. Marti�n-Vide, Gh. Paun, ed.), Rovira i Virgili University, volume 26/03, . [bibtex] [pdf]
[32]On the difference problem for semilinear power series (), Chapter in (V.Mitrana, C.Martin-Vide, ed.), Taylor and Francis, . [bibtex] [pdf]
2002
[31]The Commutation with Codes and Ternary Sets of Words (, and ), Technical report 458, , . [bibtex]
[30]Commutation Problems on Sets of Words and Formal Power Series (), PhD thesis, , . [bibtex] [pdf]
[29]Nine Universal Circular Post Machines (, and ), In The Computer Science Journal of Moldova, Institute of Mathematics and Computer Science, Chişinău, Moldova, volume 10, . [bibtex] [pdf]
[28]Conway Problem for three word sets ( and ), In Theoretical Computer Science, Elsevier, volume 289, . [bibtex] [pdf]
[27]Characterizing the micronuclear gene patterns in ciliates (, , and ), In Theory of Computing Systems, volume 35, . [bibtex] [pdf]
[26]String and graph reduction systems for gene assembly in ciliates (, , and ), In Mathematical Structures in Computer Science, volume 12, . [bibtex] [pdf]
[25]University Teaching Management Information System ( and ), In Proc. International Conference on Information and Knowledge Engineering (Hamid. R. Arabnia, ed.), CSREA Press, volume IKE'02, . [bibtex] [pdf]
[24]Formal Specification of a Management System for University Teaching (, and ), In Proceedings of The 2002 International Conference on Software Engineering Research and Practice (Hamid R. Arabina, ed.), CSREA Press, Las-Vegas, Nevada, USA, 24-27 June, 2002, . [bibtex] [pdf]
[23]Patterns of micronuclear genes in ciliates (, , and ), In Proceedings of the 7th International Meeting on DNA-based computers DNA7, Springer, volume 2340, . [bibtex] [pdf]
[22]Computational nature of gene assembly in ciliates (, and ), In Proceedings of the International Conference on Graph Transformation, ICGT 2002, Springer, volume 2505, . [bibtex] [pdf]
[21]The branching point approach to Conway Problem ( and ), Chapter in (W. Brauer, H. Ehrig, J. Karhumaki, A. Salomaa, ed.), Springer, volume 2300, . [bibtex] [pdf]
2001
[20]On Commutation and Primitive Roots of Codes. ( and ), Technical report 402, , . [bibtex]
[19]The Multiobjective Bottleneck Transportation Problem ( and ), In The Computer Science Journal of Moldova, Institute of Mathematics and Computer Science, Chişinău, Moldova, volume 9, . [bibtex] [pdf]
[18]Conway problem and the commutation of languages ( and ), In Bulletin of EATCS, . [bibtex] [pdf]
[17]Recent results on the semilinear formal power series (), In Bulletin de la Societe Mathematique de Belgique, volume 8, . [bibtex]
[16]Circularity and other invariants of gene assembly in ciliates (, , and ), Chapter in (M. Ito, Gh.Paun, S. Yu, ed.), World Scientific, . [bibtex] [pdf]
2000
[15]. The Difference Operation on Semilinear Power Series (), Technical report 343, , . [bibtex]
[14]On the centralizer of a finite set ( and ), Technical report 342, , . [bibtex]
[13]On the centralizer of a finite set ( and ), In Proceedings of ICALP 2000, Springer, volume 1853, . [bibtex] [pdf]
[12]On semilinearity in formal power series (), In Proceedings of DLT 1999 (G.Rozenberg, W.Thomas, ed.), World Scientific, . [bibtex] [pdf]
[11]Uniformly scattered factors ( and ), Chapter in (C.Calude, Gh. Paun, ed.), Springer, . [bibtex] [pdf]
[10]Universal and simple operations for gene assembly in ciliates (, , and ), Chapter in (V.Mitrana, C. Martin-Vide, ed.), Kluwer, Dordrecht, . [bibtex] [pdf]
1999
[9]A Management System for University Teaching (, and ), Technical report UNU/IIST Report No. 177, , . [bibtex]
[8]Mobile Ambients and P-Systems ( and ), Technical report 293, , . [bibtex]
[7]Uniformly scattered factors (, and ), Technical report 243, , . [bibtex]
[6]Parikh's theorem does not hold for multiplicities (), In Journal of Automata, Languages and Combinatorics, volume 4, . [bibtex]
[5]Mobile ambients and P-systems ( and ), In Journal of Universal Computer Science, volume 5, . [bibtex] [pdf]
[4]A normal form for P-systems (), In Bulletin of EATCS, . [bibtex] [pdf]
[3]From Mobile ambients to P-systems and back ( and ), In Workshop on Formal Languages and Automata, FCT 1999, . [bibtex] [pdf]
1998
[2]On Semilinearity in Formal Power Series. (), Technical report 207, , . [bibtex]
[1]Parikh's Theorem Does Not Hold for Multiplicities (), Technical report 183, , . [bibtex]
Powered by bibtexbrowser