search result

Cover von Reachability and Bounded Emptiness Problems of Constraint Automata with Prefix, Suffix and Infix

Reachability and Bounded Emptiness Problems of Constraint Automata with Prefix, Suffix and Infix

Year: 2023
Media group: LIPIcs
Cover von Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving

Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving

Year: 2023
Media group: LIPIcs
Cover von Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures

Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures

Year: 2023
Media group: LIPIcs
Cover von The finite representation of abstract programs by automata and Petri nets
Author: Taubner, Dirk Search for this author
Year: 1988
Publisher: München, TU
Series: TUM; 8817
Media group: DISSERTATION
Cover von Finite representations of CCS and TCSP programs by automata and Petri nets
Author: Taubner, Dirk Search for this author
Year: 1989
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 369
Media group: MONOGRAPHIE
Cover von Supported Sets - A New Foundation for Nominal Sets and Automata

Supported Sets - A New Foundation for Nominal Sets and Automata

Year: 2023
Media group: LIPIcs
Cover von Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics

Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics

Year: 2022
Media group: LIPIcs
Cover von A Journey from Process Algebra via Timed Automata to Model Learning
Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 13560
Media group: MONOGRAPHIE
Cover von Deciding Emptiness for Constraint Automata on Strings with the Prefix and Suffix Order

Deciding Emptiness for Constraint Automata on Strings with the Prefix and Suffix Order

Year: 2022
Media group: LIPIcs
Cover von Using Automata and a Decision Procedure to Prove Results in Pattern Matching (Invited Talk)

Using Automata and a Decision Procedure to Prove Results in Pattern Matching (Invited Talk)

Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0