• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 121 matches

• 2024
• 
  Oscar H. Ibarra, Ian McQuillan:
  Techniques for Showing the Decidability of the Boundedness Problem of Language Acceptors. DLT 2024: 156-172
• 
  Nazifa Azam Khan, Mikolaj Cieslak, Ian McQuillan:
  Improving Deep Learning Predictions with Simulated Images, and Vice Versa. CoRR abs/2404.05128 (2024)
• 
  Oscar H. Ibarra, Ian McQuillan:
  Techniques for Showing the Decidability of the Boundedness Problem of Language Acceptors. CoRR abs/2405.08988 (2024)
• 2023
• 
  Oscar H. Ibarra, Ian McQuillan:
  New characterizations of exponential, elementary, and non-elementary time-bounded Turing machines. Inf. Comput. 292: 105027 (2023)
• 
  Oscar H. Ibarra, Ian McQuillan:
  On the complexity of decision problems for some classes of machines and applications. Inf. Comput. 294: 105080 (2023)
• 
  Jozef Jirásek, Ian McQuillan:
  Visit-Bounded Stack Automata. Theory Comput. Syst. 67(5): 956-975 (2023)
• 
  Jason Bernard, Ian McQuillan:
  Stochastic L-system inference from multiple string sequence inputs. Soft Comput. 27(10): 6783-6798 (2023)
• 
  Oscar H. Ibarra, Ian McQuillan:
  On the Containment Problem for Deterministic Multicounter Machine Models. ATVA (1) 2023: 74-94
• 
  Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche:
  Unboundedness Problems for Machines with Reversal-Bounded Counters. FoSSaCS 2023: 240-264
• 
  Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche:
  Unboundedness problems for machines with reversal-bounded counters. CoRR abs/2301.10198 (2023)
• 2022
• 
  Oscar H. Ibarra, Ian McQuillan:
  On the Complexity of Decision Problems for Counter Machines with Applications to Coding Theory. DLT 2022: 177-188
• 
  Jozef Jirásek, Ian McQuillan:
  Visit-Bounded Stack Automata. DLT 2022: 189-200
• 
  Oscar H. Ibarra, Jozef Jirásek, Ian McQuillan, Luca Prigioniero:
  Space Complexity of Stack Automata Models. CoRR abs/2212.00891 (2022)
• 
  Oscar H. Ibarra, Ian McQuillan:
  Generalizations of Checking Stack Automata: Characterizations and Hierarchies. CoRR abs/2212.00897 (2022)
• 
  Oscar H. Ibarra, Ian McQuillan:
  Semilinearity of Families of Languages. CoRR abs/2212.01301 (2022)
• 
  Arturo Carpi, Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan:
  Relationships Between Bounded Languages, Counter Machines, Finite-Index Grammars, Ambiguity, and Commutative Regularity. CoRR abs/2212.03359 (2022)
• 
  Oscar H. Ibarra, Ian McQuillan:
  On Families of Full Trios Containing Counter Machine Languages. CoRR abs/2212.03791 (2022)
• 
  Oscar H. Ibarra, Ian McQuillan:
  State Grammars with Stores. CoRR abs/2212.03992 (2022)
• 2021
• 
  Katie L. Ovens, Farhad Maleki, B. Frank Eames, Ian McQuillan:
  Juxtapose: a gene-embedding approach for comparing co-expression networks. BMC Bioinform. 22(1): 125 (2021)
• 
  Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan:
  On finite-index indexed grammars and their restrictions. Inf. Comput. 279: 104613 (2021)
• 
  Oscar H. Ibarra, Jozef Jirásek, Ian McQuillan, Luca Prigioniero:
  Space Complexity of Stack Automata Models. Int. J. Found. Comput. Sci. 32(6): 801-823 (2021)
• 
  Oscar H. Ibarra, Ian McQuillan:
  Generalizations of Checking Stack Automata: Characterizations and Hierarchies. Int. J. Found. Comput. Sci. 32(5): 481-508 (2021)
• 
  Ian McQuillan, Shinnosuke Seki:
  Preface. Nat. Comput. 20(2): 191-192 (2021)
• 
  Jason Bernard, Ian McQuillan:
  Techniques for inferring context-free Lindenmayer systems with genetic algorithm. Swarm Evol. Comput. 64: 100893 (2021)
• 
  Arturo Carpi, Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan:
  Relationships between bounded languages, counter machines, finite-index grammars, ambiguity, and commutative regularity. Theor. Comput. Sci. 862: 97-118 (2021)
• 2020
• 
  Oscar H. Ibarra, Ian McQuillan:
  Semilinearity of Families of Languages. Int. J. Found. Comput. Sci. 31(8): 1179-1198 (2020)
• 
  Katie L. Ovens, B. Frank Eames, Ian McQuillan:
  The impact of sample size and tissue type on the reproducibility of gene co-expression networks. BCB 2020: 12:1-12:10
• 
  Nazifa Azam Khan, Oliver A. S. Lyon, Mark G. Eramian, Ian McQuillan:
  A Novel Technique Combining Image Processing, Plant Development Properties, and the Hungarian Algorithm, to Improve Leaf Detection in Maize. CVPR Workshops 2020: 330-339
• 
  Oscar H. Ibarra, Jozef Jirásek Jr., Ian McQuillan, Luca Prigioniero:
  Space Complexity of Stack Automata Models. DLT 2020: 137-149
• 
  Jason Bernard, Ian McQuillan:
  Inferring Temporal Parametric L-systems Using Cartesian Genetic Programming. ICTAI 2020: 580-588

skipping 91 more matches