logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
I

IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025

IF
Papers22
Citations
Journal Papers 22
Publication Date
delete
State-Freezing Pushdown Automata
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKutrib, Martin; Malcher, Andreas; Raucci, Priscilla
deleteShare
deleteSave
A New Approach for Showing Termination of Parameterized Transition Systems
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHerrmann, Roland; Ruemmer, Philipp
deleteShare
deleteSave
Dynamically Weighted Tree Transducers
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDrewes, Frank; Kuhlmann, Marco; Torstensson, Olle
deleteShare
deleteSave
Subsequence Matching and Analysis Problems for Automata with Translucent Letters
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFazekas, Szilard Zsolt; Klein, Bela; Koss, Tore; Manea, Florin; Mercas, Robert; Specht, Timo
deleteShare
deleteSave
A First Taste of MeSCaL, a Tool for Solving Membership Problems for Regular Languages
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete1
PREAI
deletePlace, Thomas; Zeitoun, Marc
deleteShare
deleteSave
Multi-entry DFA with Reduced Initial States to Speedup Parallel Recognition
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBorsotti, Angelo; Breveglieri, Luca; Reghizzi, Stefano Crespi; Morzenti, Angelo
deleteShare
deleteSave
Constructing Compact BPE Token DFAs
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBerglund, Martin; Jonsson, Anna; Martens, Willeke; van der Merwe, Brink
deleteShare
deleteSave
Complementable Normal Form of Parametrized Automata
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAlber, Franziska; Ruemmer, Philipp
deleteShare
deleteSave
In Orbit with MeSCaL: Higher in Concatenation and Navigational Hierarchies of Regular Languages
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deletePlace, Thomas; Zeitoun, Marc
deleteShare
deleteSave
A Hierarchy of Reversible Finite Automata
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRadionova, Maria; Okhotin, Alexander
deleteShare
deleteSave
Epsilon Automata on Linear Orderings
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBoigelot, Bernard; Braipson, Thomas; Clara, Tom
deleteShare
deleteSave
Engineering an LTLf Synthesis Tool
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDuret-Lutz, Alexandre; Zhu, Shufang; Piterman, Nir; De Giacomo, Giuseppe; Vardi, Moshe Y.
deleteShare
deleteSave
Two-Way Automata and Bounded Languages
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLorenzini, Alessandro Clerici; Pighizzini, Giovanni; Prigioniero, Luca
deleteShare
deleteSave
Simulating Two-Way Nondeterministic Finite Automata Over Small Alphabets by One-Way Nondeterministic Automata
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGeffert, Viliam; Okhotin, Alexander
deleteShare
deleteSave
Self-verifying Predicates in Buchi Arithmetic
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete1
PREAI
deleteKhodier, Mazen; Schaeffer, Luke; Shallit, Jeffrey
deleteShare
deleteSave
From Regular Expressions to Deterministic Finite Automata: 2 n/2+√n(log n)Θ(1) States Are Necessary and Sufficient
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMartynova, Olga; Okhotin, Alexander
deleteShare
deleteSave
An Earley-Based Universal Error-Correcting Parser
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHerwig, Maurice; Hundeshagen, Norbert; Lange, Martin
deleteShare
deleteSave
More on Language Families with a Decidable Pumping-Problem (Extended Abstract)
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHolzer, Markus; Rauch, Christian
deleteShare
deleteSave
Shape Preserving Tree Transducers
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGallot, Paul; Maneth, Sebastian
deleteShare
deleteSave
Toward the Glushkovization of Automata: The Strong Stabilization
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAttou, Samira; Mignot, Ludovic; Miklarz, Clement; Nicart, Florent
deleteShare
deleteSave