McQuillan, Ian
148  Ergebnisse:
Personensuche X
?
 
?
4

On the Containment Problem for Deterministic Multicounter M..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Ibarra, Oscar H. ; McQuillan, Ian - p. 74-94 , 2023
 
?
 
?
6

Unboundedness Problems for Machines with Reversal-Bounded C..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
 
?
7

Visit-Bounded Stack Automata:

, In: Developments in Language Theory; Lecture Notes in Computer Science,
Jirásek, Jozef ; McQuillan, Ian - p. 189-200 , 2022
 
?
8

On the Complexity of Decision Problems for Counter Machines..:

, In: Developments in Language Theory; Lecture Notes in Computer Science,
Ibarra, Oscar H. ; McQuillan, Ian - p. 177-188 , 2022
 
?
12

Preface:

McQuillan, Ian ; Seki, Shinnosuke
Natural Computing.  20 (2021)  2 - p. 191-192 , 2021
 
?
14

Techniques for inferring context-free Lindenmayer systems w..:

Bernard, Jason ; McQuillan, Ian
Swarm and Evolutionary Computation.  64 (2021)  - p. 100893 , 2021
 
1-15