• 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 29 matches

• 2021
• 
  Arnab Bhattacharyya, Ashutosh Gupta, Lakshmanan Kuppusamy, Somya Mani, Ankit Shukla, Mandayam K. Srivas, Mukund Thattai:
  A formal methods approach to predicting new features of the eukaryotic vesicle traffic system. Acta Informatica 58(1-2): 57-93 (2021)
• 
  Johanna Björklund, Loek Cleophas:
  Aggregation-based minimization of finite state automata. Acta Informatica 58(3): 177-194 (2021)
• 
  Henning Bordihn, Markus Holzer:
  On the number of active states in finite automata. Acta Informatica 58(4): 301-318 (2021)
• 
  Henning Bordihn, György Vaszil:
  Reversible parallel communicating finite automata systems. Acta Informatica 58(4): 263-279 (2021)
• 
  Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
  A deterministic parsing algorithm for ambiguous regular expressions. Acta Informatica 58(3): 195-229 (2021)
• 
  Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan:
  Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control. Acta Informatica 58(5): 497-528 (2021)
• 
  Litan Kumar Das, Kumar Sankar Ray:
  Bitopological duality for algebras of Fitting's logic and natural duality extension. Acta Informatica 58(5): 571-584 (2021)
• 
  Jürgen Dassow:
  Operational complexity and right linear grammars. Acta Informatica 58(4): 281-299 (2021)
• 
  Joost Engelfriet, Kazuhiro Inaba, Sebastian Maneth:
  Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity. Acta Informatica 58(1-2): 95-152 (2021)
• 
  Steven Engels, Tony Tan, Jan Van den Bussche:
  Subsequence versus substring constraints in sequence pattern languages. Acta Informatica 58(1-2): 35-56 (2021)
• 
  Henning Fernau, Andreas Malcher, Giovanni Pighizzini:
  Preface to Martin Kutrib Festschrift. Acta Informatica 58(4): 241-242 (2021)
• 
  Debayan Ganguly, Kingshuk Chatterjee, Kumar Sankar Ray:
  Watson-Crick quantum finite automata. Acta Informatica 58(3): 231-240 (2021)
• 
  Viliam Geffert, Christos A. Kapoutsis, Mohammad Zakzok:
  Complement for two-way alternating automata. Acta Informatica 58(5): 463-495 (2021)
• 
  Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann:
  Correction to: Solving high-level Petri games. Acta Informatica 58(6): 675-676 (2021)
• 
  Roberto Gorrieri:
  Team bisimilarity, and its associated modal logic, for BPP nets. Acta Informatica 58(5): 529-569 (2021)
• 
  Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge:
  Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica 58(6): 585-610 (2021)
• 
  Sebastian Jakobi, Katja Meckel, Carlo Mereghetti, Beatrice Palano:
  The descriptional power of queue automata of constant length. Acta Informatica 58(4): 335-356 (2021)
• 
  Supreeti Kamilya, Jarkko Kari:
  Nilpotency and periodic points in non-uniform cellular automata. Acta Informatica 58(4): 319-333 (2021)
• 
  Stavros Konstantinidis, António Machiavelo, Nelma Moreira, Rogério Reis:
  On the size of partial derivatives and the word membership problem. Acta Informatica 58(4): 357-375 (2021)
• 
  Ivan Lanese, Doriana Medic, Claudio Antares Mezzina:
  Static versus dynamic reversibility in CCS. Acta Informatica 58(1-2): 1-34 (2021)
• 
  Rabia Mazhar, Muddassar Azam Sindhu:
  DKL: an efficient algorithm for learning deterministic Kripke structures. Acta Informatica 58(6): 611-651 (2021)
• 
  Kenichi Morita:
  An instruction set for reversible Turing machines. Acta Informatica 58(4): 377-396 (2021)
• 
  Benedek Nagy, Shaghayegh Parchami:
  On deterministic sensing $5'\rightarrow 3'$ Watson-Crick finite automata: a full hierarchy in 2detLIN. Acta Informatica 58(3): 153-175 (2021)
• 
  Ahmad Ostovar, Suna Bensch, Thomas Hellström:
  Natural language guided object retrieval in images. Acta Informatica 58(4): 243-261 (2021)
• 
  Friedrich Otto, Matthias Wendlandt:
  Reversibility for stateless ordered RRWW-automata. Acta Informatica 58(4): 397-425 (2021)
• 
  Hiroshi Umeo, Naoki Kamikawa, Gen Fujita:
  A new class of the smallest FSSP partial solutions for 1D rings of length n=2^k-1. Acta Informatica 58(4): 427-450 (2021)
• 
  Walter Vogler, Gerald Lüttgen:
  Correction to: A linear-time branching-time perspective on interface automata. Acta Informatica 58(6): 677 (2021)
• 
  Thomas Worsch:
  A faster algorithm for the Birthday Song Singers Synchronization Problem (FSSP) in one-dimensional CA with multiple speeds. Acta Informatica 58(4): 451-462 (2021)
• 
  Ming Xu, Cheng-Chao Huang, Yuan Feng:
  Measuring the constrained reachability in quantum Markov chains. Acta Informatica 58(6): 653-674 (2021)