Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction*.

• Authors : Cassez, Franck¹ (AUTHOR) ; Jensen, Peter Gjøl² (AUTHOR) ; Guldstrand Larsen, Kim² (AUTHOR)

• Source: Fundamenta Informaticae. 2021, Vol. 178 Issue 1/2, p31-57. 27p.

Record details

Goals, arguments, and deception: A formal representation from the Aurangzeb project. I: An episode from the succession war.

• Authors : Nissan, Ephraim¹

• Source: Journal of Intelligent & Fuzzy Systems. 2007, Vol. 18 Issue 3, p281-306. 26p. 1 Illustration, 5 Diagrams.

Record details

Probabilistic Timed Automata with Clock-Dependent Probabilities.

• Authors : Sproston, Jeremy¹ (AUTHOR) ; Hague, Matthew (AUTHOR); Potapov, Igor (AUTHOR)

• Source: Fundamenta Informaticae. 2021, Vol. 178 Issue 1/2, p101-138. 38p.

Record details

A Behavioural Theory of Recursive Algorithms.

• Authors : Börger, Egon¹ (AUTHOR) ; Schewe, Klaus-Dieter² (AUTHOR)

• Source: Fundamenta Informaticae. 2020, Vol. 177 Issue 1, p1-37. 37p.

Record details

RIF: Reactive information flow labels.

• Authors : Kozyri, Elisavet¹ (AUTHOR) ; Schneider, Fred B.² (AUTHOR)

• Source: Journal of Computer Security. 2020, Vol. 28 Issue 2, p191-228. 38p.

Record details

On Languages of P Automata.

• Authors : Csuhaj-Varjú, Erzsébet¹ (AUTHOR) ; Vaszil, György² (AUTHOR) ; Dennunzio, Alberto (AUTHOR)

• Source: Fundamenta Informaticae. 2020, Vol. 171 Issue 1-4, p133-149. 17p.

Record details

A Common Framework to Recognize Two-dimensional Languages*.

• Authors : Anselmo, Marcella¹ (AUTHOR) ; Giammarresi, Dora² (AUTHOR) ; Madonia, Maria³ (AUTHOR)

• Source: Fundamenta Informaticae. 2020, Vol. 171 Issue 1-4, p1-17. 17p.

Record details

Semigroups and Automata : Selecta, Uno Kaljulaid (1941-1999)

• Authors : Kaljulaid, U.; Peetre, Jaak; Penjam, Jaan

Subjects: Semigroups; Semigroup algebras; Machine theoryMATHEMATICS / Group Theory

Record details

The 3rd IJCAR Automated Theorem Proving Competition.

• Authors : Sutcliffe, Geoff¹

• Source: AI Communications. 2007, Vol. 20 Issue 2, p117-126. 10p. 8 Charts.

Record details

Interpreted Trajectories.

• Authors : Domaratzki, Michael¹ ; Rozenberg, Grzegorz^2,3 ; Salomaa, Kai⁴

• Source: Fundamenta Informaticae. 2006, Vol. 73 Issue 1-2, p81-97. 17p.

Record details