Publications
publications by categories in reversed chronological order. generated by jekyll-scholar.
2026
-
Inductive Inference of Cellular AutomataIn Lecture Notes in Computer Science, 2026
-
Resetting Stores on Machine Models, 16865, 2026
-
Learning L-system Models of Plants Matching Real Images Using Genetic AlgorithmIn Lecture Notes in Computer Science, 2026
-
Decidability of Regularity for Families of LanguagesIn Lecture Notes in Computer Science, 16695, pp. 62–77, 2026
-
State-Limited Inductive Inference of Cellular AutomataIn Lecture Notes in Computer Science, 16681, pp. 110–121, 2026
-
Simulating viral evolution and immune escape reinfection dynamics using agent-based modellingIn Lecture Notes in Computer Science, 15757, pp. 190–202, 2026
2025
-
FTIO: Frequent Temporally Integrated ObjectsIn Frontiers in Artificial Intelligence and Applications, 413, pp. 636–642, 2025
-
Relativized Codes, Finite Decodability, and Bounded LanguagesIn Lecture Notes in Computer Science, 16036, pp. 61–76, 2025
-
Left Quotients of Deterministic Context-Free LanguagesIn Lecture Notes in Computer Science, 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, 14791, pp. 156–172, 2024
2023
-
On the containment problem for deterministic multicounter machine modelsIn Lecture Notes in Computer Science, 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, 13257, pp. 177–188, 2022
-
Visit-Bounded Stack AutomataIn Lecture Notes in Computer Science, 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 out of 440 papers submitted
-
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, pp. 1–10, 2020
-
Space complexity of stack automata modelsIn Lecture Notes in Computer Science, 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, 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, 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, 10835, pp. 13–25, 2018
-
Semilinearity of Families of LanguagesIn Lecture Notes in Computer Science, 10977, pp. 211–222, 2018
-
Generalizations of Checking Stack Automata: Characterizations and HierarchiesIn Lecture Notes in Computer Science, 11088, pp. 416–428, 2018
-
On Counting Functions of LanguagesIn Lecture Notes in Computer Science, 11088, pp. 429–440, 2018
-
State Grammars with StoresIn Lecture Notes in Computer Science, 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, 10396, pp. 235–246, 2017
-
On Finite-index indexed grammars and their restrictionsIn Lecture Notes in Computer Science, 10168, pp. 287–298, 2017Won the Springer Best Paper Award for LATA 2017 out of 31 accepted papers
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, pp. 592–599, 2016
-
-
On Families of Full Trios Containing Counter Machine LanguagesIn Lecture Notes in Computer Science, 9840, pp. 216–228, 2016
-
On Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0LIn Lecture Notes in Computer Science, 9705, pp. 138–149, 2016
2015
-
On Some Decision Problems Concerning Commutation, Reversal, and Palindromes, pp. 265–277, 2015Refereed
-
On the Complexity and Decidability of Some Problems Involving ShuffleIn Lecture Notes in Computer Science, 9118, pp. 105–116, 2015
-
On the Density of Context-Free and Counter LanguagesIn Lecture Notes in Computer Science, 9168, pp. 228–239, 2015
-
Deletion Operations on Deterministic Families of AutomataIn Lecture Notes in Computer Science, 9076, pp. 388–399, 2015
-
Insertion Operations on Deterministic Reversal-Bounded Counter MachinesIn Lecture Notes in Computer Science, 8977, pp. 200–211, 2015
2014
2013
-
Computational Modelling of the Interruptional Activities Between Transposable ElementsIn Lecture Notes in Computer Science, 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, 3892, pp. 27–37, 2006
2005
-
Frameshift Machines: Translation as TransductionIn Proceedings of IEEE International Conference on Computational Intelligence, Robotics and Autonomous Systems (CIRAS), 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, 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