Publications
publications by categories in reversed chronological order. generated by jekyll-scholar.
2026
-
Resetting Stores on Machine ModelsIn Lecture Notes in Computer Science, From Possibility to Reality: Essays Dedicated to Kai Salomaa, 16865, 2026
-
Learning L-system Models of Plants Matching Real Images Using Genetic AlgorithmIn Lecture Notes in Computer Science, Proceedings of the 23rd International Conference on Unconventional Computing and Natural Computing, UCNC 2026, 2026
-
Decidability of Regularity for Families of LanguagesIn Lecture Notes in Computer Science, Proceedings of the 30th International Conference on Implementation and Application of Automata, CIAA 2026, 16695, pp. 62–77, 2026
-
State-Limited Inductive Inference of Cellular AutomataIn Lecture Notes in Computer Science, 27th International Conference on Descriptional Complexity of Formal Systems (DCFS 2026), 16681, pp. 110–121, 2026
-
Simulating viral evolution and immune escape reinfection dynamics using agent-based modellingIn Lecture Notes in Computer Science, 2025 International Symposium on Bioinformatics Research and Applications (ISBRA 2025), 15757, pp. 190–202, 2026
2025
-
FTIO: Frequent Temporally Integrated ObjectsIn Frontiers in Artificial Intelligence and Applications, 28th European Conference on Artificial Intelligence (ECAI-2025), 413, pp. 636–642, 2025
-
Relativized Codes, Finite Decodability, and Bounded LanguagesIn Lecture Notes in Computer Science, Proceedings of the 29th International Conference on Developments in Language Theory, DLT 2025, 16036, pp. 61–76, 2025
-
Left Quotients of Deterministic Context-Free LanguagesIn Lecture Notes in Computer Science, Proceedings of the 29th International Conference on Developments in Language Theory, DLT 2025, 16036, pp. 123–137, 2025
-
Effectiveness of Training with Procedurally Generated Synthetic Images of Crop PlantsIn 6th International Workshop on Agriculture-Vision: Challenges & Opportunities for Computer Vision in Agriculture (in junction with IEEE/CVF CVPR 2025), pp. 5451–5461, 2025
2024
-
SVPS, Pairwise Whole Genome Alignment-Based Structural Variant IdentificationIn 2024 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), pp. 105–112, 2024
-
Techniques for Showing the Decidability of the Boundedness Problem of Language AcceptorsIn Lecture Notes in Computer Science, Proceedings of the 28th International Conference on Developments in Language Theory, DLT 2024, 14791, pp. 156–172, 2024
2023
-
On the containment problem for deterministic multicounter machine modelsIn Lecture Notes in Computer Science, Proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, 14215, pp. 74–94, 2023
2022
-
On the complexity of decision problems for counter machines with applications to coding theoryIn Lecture Notes in Computer Science, Proceedings of the 26th International Conference on Developments in Language Theory, DLT 2022, 13257, pp. 177–188, 2022
-
Visit-Bounded Stack AutomataIn Lecture Notes in Computer Science, Proceedings of the 26th International Conference on Developments in Language Theory, DLT 2022, 13257, pp. 189–200, 2022Won the Best Paper Award
2021
2020
-
Inferring temporal parametric L-systems using cartesian genetic programmingIn 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), pp. 580–588, 2020Won the C.V. Ramamoorthy Best Paper Award
-
The impact of sample size and tissue type on the reproducibility of gene co-expression networksIn Proceedings of the 11th International Conference on Bioinformatics, Computational Biology and Health Informatics, ACM-BCB 2020, ACM-BCB 2020, pp. 1–10, 2020
-
Space complexity of stack automata modelsIn Lecture Notes in Computer Science, Proceedings of the 24th International Conference on Developments in Language Theory, DLT 2020, 12086, pp. 137–149, 2020
2019
-
Pineplot: an R package for visualizing symmetric relationshipsIn Proceedings of the 10th International Conference on Computational Systems-Biology and Bioinformatics, CSBio 2019, CSBio 2019, pp. 1–8, 2019
-
Gene Set Databases: A Fountain of Knowledge or a Siren Call?In Proceedings of the 10th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics, ACM-BCB 2019, pp. 269–278, 2019
2018
-
A Fast and Reliable Hybrid Approach for Inferring L-SystemsIn Proceedings of the 2018 Conference on Artificial Life (ALIFE 2018), MIT Press, pp. 444–451, 2018
-
New Techniques for Inferring L-systems Using Genetic AlgorithmIn Lecture Notes in Computer Science, Proceedings of the 8th International Conference on Bioinspired Optimization Methods and Their Applications, BIOMA 2018, 10835, pp. 13–25, 2018
-
Semilinearity of Families of LanguagesIn Lecture Notes in Computer Science, Proceedings of the 23rd International Conference on Implementation and Application of Automata, CIAA 2018, 10977, pp. 211–222, 2018
-
Generalizations of Checking Stack Automata: Characterizations and HierarchiesIn Lecture Notes in Computer Science, Proceedings of the 22nd International Conference on Developments in Language Theory, DLT 2018, 11088, pp. 416–428, 2018
-
On Counting Functions of LanguagesIn Lecture Notes in Computer Science, Proceedings of the 22nd International Conference on Developments in Language Theory, DLT 2018, 11088, pp. 429–440, 2018
-
State Grammars with StoresIn Lecture Notes in Computer Science, Proceedings of the 20th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2018, 10952, pp. 163–174, 2018
-
DNA Methylation Data to Predict Suicidal and Non-Suicidal Deaths: A Machine Learning ApproachIn Proceedings of the Sixth IEEE International Conference on Healthcare Informatics, ICHI 2018, 10952, pp. 363–365, 2018Short paper
2017
-
Variations of Checking Stack Automata: Obtaining Unexpected Decidability PropertiesIn Lecture Notes in Computer Science, 21st International Conference on Developments in Language Theory, DLT 2017, Liège, Belgium, 10396, pp. 235–246, 2017
-
On Finite-index indexed grammars and their restrictionsIn Lecture Notes in Computer Science, 11th International Conference on Language and Automata Theory and Applications, LATA 2017, Umeå, Sweden, Proceedings, 10168, pp. 287–298, 2017Won the Springer Best Paper Award for LATA 2017
2016
-
Computational Identification of Regions that Influence Activity of Transposable Elements in the Human GenomeIn Proceedings of the International Conference on Bioinformatics and Biomedicine, 2016, IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016, Shenzhen, China, pp. 592–599, 2016
-
-
On Families of Full Trios Containing Counter Machine LanguagesIn Lecture Notes in Computer Science, Developments in Language Theory: 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, 9840, pp. 216–228, 2016
-
On Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0LIn Lecture Notes in Computer Science, Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings, 9705, pp. 138–149, 2016
2015
-
On Some Decision Problems Concerning Commutation, Reversal, and PalindromesIn Multidiciplinary Creativity — Homage to Gheorghe Păun on His 65th Birthday, pp. 265–277, 2015
-
On the Complexity and Decidability of Some Problems Involving ShuffleIn Lecture Notes in Computer Science, 17th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2015, Waterloo, Canada, 9118, pp. 105–116, 2015
-
On the Density of Context-Free and Counter LanguagesIn Lecture Notes in Computer Science, 19th International Conference on Developments in Language Theory, DLT 2015, Liverpool, UK, 9168, pp. 228–239, 2015
-
Deletion Operations on Deterministic Families of AutomataIn Lecture Notes in Computer Science, 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2015, Singapore, 9076, pp. 388–399, 2015
-
Insertion Operations on Deterministic Reversal-Bounded Counter MachinesIn Lecture Notes in Computer Science, 9th International Conference on Language and Automata Theory and Applications, LATA 2015, Nice, France, 8977, pp. 200–211, 2015
2014
2013
-
Computational Modelling of the Interruptional Activities Between Transposable ElementsIn Lecture Notes in Computer Science, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2014, Granada, Spain, 8273, pp. 108–120, 2013
2012
2011
-
Speed Improvements of peptide-spectrum matching using Single-Instruction Multiple-Data instructionsProteomics, 11, pp. 3779–3785, 2011
-
Parallelizing Peptide-Spectrum Scoring Using Modern Graphics Processing UnitsIn 1st IEEE International Conference on Computational Advances in Bio and medical Sciences, pp. 208–213, 2011
2010
-
Speed Improvements of Peptide-Spectrum matching Using SIMD InstructionsIn IEEE BIBM 2010 International Workshop on Computational Proteomics, pp. 1–6, 2010
2009
-
-
On the shuffle automaton size for wordsIn Proceedings of the 11th International Workshop on Descriptional Complexity of Formal Systems, pp. 115–126, 2009
2008
-
The Bag Automaton: A Model of Nondeterministic StorageJournal of Automata, Languages and Combinatorics, 13, pp. 185–206, 2008
-
Homomorphisms Preserving Types of DensityIn Proceedings of the 12th International Conference on Automata and Formal Languages, pp. 183–194, 2008
-
No going back: an interactive visualization application for trailblazing on the webIn Proceedings of the 12th International Conference on Information Visualisation (IV08), pp. 133–142, 2008
2007
-
Theoretical and computational properties of transpositionsIn Proceedings of the Language Theory in Biocomputing Workshop, in the Conference on Unconventional Computation, pp. 28–38, 2007
2006
-
An Infinite Hierarchy Induced by Depth SynchronizationIn the Eighth International Workshop on Descriptional Complexity of Formal Systems, Las Cruces, New Mexico, Proceedings, pp. 82–93, 2006
-
On Computational Properties of Template-Guided DNA RecombinationIn Lecture Notes in Computer Science, Proceedings of DNA computing, 3892, pp. 27–37, 2006
2005
-
Frameshift Machines: Translation as TransductionIn Proceedings of IEEE International Conference on Computational Intelligence, Robotics and Autonomous Systems (CIRAS), Special session on Biomolecular Computers and Other Bio-Inspired Systems, ISBN: 0219–6131, 2005
-
-
2004
-
Descriptional Complexity of Block-Synchronization Context-Free GrammarsJournal of Automata, Languages and Combinatorics, 9, pp. 317–332, 2004A previous version of this manuscript appeared in the workshop for Descriptional Complexity of Formal Systems 2002.
2003
-
Template-Guided DNA RecombinationIn Fifth International Workshop, Descriptional Complexity of Formal Systems, Budapest, Hungary, July 12-14, 2003, Proceedings, pp. 235–244, 2003
-
Bag Automata and Stochastic Retrieval of Biomolecules From SolutionIn Lecture Notes in Computer Science, Conference on Implementation and Application of Automata (CIAA 2003), 2759, pp. 239-250, 2003
-
Closure and Decision Properties of Some Language Classes Under ld and dlad Bio-operationsJournal of Automata, Languages and Combinatorics, 8, pp. 477–498, 2003
2002
-
Descriptional Complexity of Block-Synchronization Context-Free GrammarsIn Descriptional Complexity of Formal Systems (DCFS) Pre-Proceedings of a Workshop, pp. 188–203, 2002Report No. 586