Ian McQuillan

Theory Comput. Syst., October, 2023

On the complexity of decision problems for some classes of machines and applications.

[BibT_eX]

[DOI]

Inf. Comput., October, 2023

New characterizations of exponential, elementary, and non-elementary time-bounded Turing machines.

[BibT_eX]

[DOI]

Inf. Comput., June, 2023

Stochastic L-system inference from multiple string sequence inputs.

[BibT_eX]

[DOI]

Soft Comput., May, 2023

Unboundedness Problems for Machines with Reversal-Bounded Counters.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2023

On the Containment Problem for Deterministic Multicounter Machine Models.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

On the Complexity of Decision Problems for Counter Machines with Applications to Coding Theory.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory - 26th International Conference, 2022

2021

Relationships between bounded languages, counter machines, finite-index grammars, ambiguity, and commutative regularity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

Techniques for inferring context-free Lindenmayer systems with genetic algorithm.

[BibT_eX]

[DOI]

Swarm Evol. Comput., 2021

Preface.

[BibT_eX]

[DOI]

Shinnosuke Seki

Nat. Comput., 2021

Generalizations of Checking Stack Automata: Characterizations and Hierarchies.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2021

Space Complexity of Stack Automata Models.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2021

On finite-index indexed grammars and their restrictions.

[BibT_eX]

[DOI]

Flavio D'Alessandro

Inf. Comput., 2021

Juxtapose: a gene-embedding approach for comparing co-expression networks.

[BibT_eX]

[DOI]

BMC Bioinform., 2021

2020

Semilinearity of Families of Languages.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2020

Inferring Temporal Parametric L-systems Using Cartesian Genetic Programming.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

A Novel Technique Combining Image Processing, Plant Development Properties, and the Hungarian Algorithm, to Improve Leaf Detection in Maize.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

The impact of sample size and tissue type on the reproducibility of gene co-expression networks.

[BibT_eX]

[DOI]

Katie L. Ovens

B. Frank Eames

Proceedings of the BCB '20: 11th ACM International Conference on Bioinformatics, 2020

2019

On counting functions and slenderness of languages.

[BibT_eX]

[DOI]

Bala Ravikumar

Theor. Comput. Sci., 2019

On families of full trios containing counter machine languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

State grammars with stores.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Insertion operations on deterministic reversal-bounded counter machines.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2019

On store languages and applications.

[BibT_eX]

[DOI]

Inf. Comput., 2019

Gene Set Databases: A Fountain of Knowledge or a Siren Call?

[BibT_eX]

[DOI]

Proceedings of the 10th ACM International Conference on Bioinformatics, 2019

2018

On store languages of language acceptors.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

Variations of checking stack automata: Obtaining unexpected decidability properties.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

On the Density of Languages Accepted by Turing Machines and Other Machine Models.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2018

From Helmut Jürgensen's Former Students: The Game of Informatics Research.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2018

On the Density of Context-Free and Counter Languages.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2018

On the complexity and decidability of some problems involving shuffle.

[BibT_eX]

[DOI]

Inf. Comput., 2018

Algorithms for Inferring Context-Sensitive L-Systems.

[BibT_eX]

[DOI]

Przemyslaw Prusinkiewicz

Proceedings of the Unconventional Computation and Natural Computation, 2018

A Fast and Reliable Hybrid Approach for Inferring L-systems .

[BibT_eX]

[DOI]

Proceedings of the 2018 Conference on Artificial Life, 2018

Inferring Stochastic L-Systems Using a Hybrid Greedy Algorithm.

[BibT_eX]

[DOI]

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

DNA Methylation Data to Predict Suicidal and Non-Suicidal Deaths: A Machine Learning Approach.

[BibT_eX]

[DOI]

Rifat Zahan

Nathaniel Osgood

Proceedings of the IEEE International Conference on Healthcare Informatics, 2018

On Counting Functions of Languages.

[BibT_eX]

[DOI]

Bala Ravikumar

Proceedings of the Developments in Language Theory - 22nd International Conference, 2018

Input-Position-Restricted Models of Language Acceptors.

[BibT_eX]

[DOI]

Proceedings of the Reversibility and Universality, 2018

New Techniques for Inferring L-systems Using Genetic Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Bioinspired Optimization Methods and Their Applications, 2018

Sample Size and Reproducibility of Gene Set Analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2018

Prediction of transposable elements evolution using tabu search.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2018

2017

Deletion operations on deterministic families of automata.

[BibT_eX]

[DOI]

Inf. Comput., 2017

Descrambling Order Analysis in Ciliates.

[BibT_eX]

[DOI]

Nazifa Azam Khan

Proceedings of the Unconventional Computation and Natural Computation, 2017

CSA-X: Modularized Constrained Multiple Sequence Alignment.

[BibT_eX]

[DOI]

T. M. Rezwanul Islam

Proceedings of the Algorithms for Computational Biology, 2017

2016

The effect of end-markers on counter machines and commutativity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Computational modelling of interruptional activities between transposable elements using grammars and the linear ordering problem.

[BibT_eX]

[DOI]

Soft Comput., 2016

On Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2016

Computational identification of regions that influence activity of transposable elements in the human genome.

[BibT_eX]

[DOI]

Longhai Li

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015

Simulation of the 2JLP Gene Assembly Process in Ciliates.

[BibT_eX]

[DOI]

Md. Sowgat Ibne Mahmud

Proceedings of the Unconventional Computation and Natural Computation, 2015

2014

On Comparing Deterministic Finite Automata and the Shuffle of Words.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2014

2013

Computational Modelling of the Interruptional Activities between Transposable Elements.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Natural Computing, 2013

2012

Algorithmic decomposition of shuffle on words.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Preface.

[BibT_eX]

[DOI]

Giovanni Pighizzini

Int. J. Found. Comput. Sci., 2012

Generalized Derivations with Synchronized Context-Free Grammars.

[BibT_eX]

[DOI]

Markus Holzer

Sebastian Jakobi

Proceedings of the Developments in Language Theory - 16th International Conference, 2012

2011

Theoretical and computational properties of transpositions.

[BibT_eX]

[DOI]

Nat. Comput., 2011

Parallelizing Peptide-Spectrum scoring using modern graphics processing units.

[BibT_eX]

[DOI]

Jian Zhang

Fang-Xiang Wu

Proceedings of the IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences, 2011

2010

Algorithmic properties of ciliate sequence alignment.

[BibT_eX]

[DOI]

J. Mark Keil

Jing Liu

Theor. Comput. Sci., 2010

Modelling programmed frameshifting with frameshift machines.

[BibT_eX]

[DOI]

Nat. Comput., 2010

On the Shuffle Automaton Size for Words.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2010

Speed improvements of peptide-spectrum matching using SIMD instructions.

[BibT_eX]

[DOI]

Jian Zhang

Fang-Xiang Wu

Proceedings of the 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, 2010

2009

On the uniqueness of shuffle on words and finite languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

Homomorphisms Preserving Types of Density.

[BibT_eX]

[DOI]

Helmut Jürgensen

Acta Cybern., 2009

2008

The Bag Automaton: A Model of Nondeterministic Storage.

[BibT_eX]

[DOI]

Mark G. Eramian

J. Autom. Lang. Comb., 2008

No Going Back: An Interactive Visualization Application for Trailblazing on the Web.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Information Visualisation, 2008

2007

An infinite hierarchy induced by depth synchronization.

[BibT_eX]

[DOI]

Kai Salomaa

Theor. Comput. Sci., 2007

2006

Useful Templates and Iterated Template-Guided DNA Recombination in Ciliates.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2006

Iterated TGR Languages: Membership Problem and Effective Closure Properties.

[BibT_eX]

[DOI]

Kai Salomaa

Proceedings of the Computing and Combinatorics, 12th Annual International Conference, 2006

2005

The generative capacity of block-synchronized context-free grammars.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Template-guided DNA recombination.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Formal modelling of viral gene compression.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2005

On Computational Properties of Template-Guided DNA Recombination.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005

2004

Families of languages defined by ciliate bio-operations.

[BibT_eX]

[DOI]

Lila Kari

Theor. Comput. Sci., 2004

Descriptional Complexity of Block-Synchronization Context-Free Grammars.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2004

Viral Gene Compression: Complexity and Verification.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2004

2003

The LD and DLAD Bio-Operations on Formal Languages.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2003

Bag Automata and Stochastic Retrieval of Biomolecules in Solution.

[BibT_eX]

[DOI]

Mark G. Eramian