Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Profiles

No photo of Alexander Bentkamp

Alexander Bentkamp

Person: Academic

20172017
No photo of Jasmin Christian Blanchette
20162017
No photo of R.C. de Vrijer
19992010

Research Output 1999 2017

An Isabelle Formalization of the Expressiveness of Deep Learning (Extended Abstract)

Bentkamp, A., Blanchette, J. C. & Klakow, D. 2017 p. 22-23 2 p.

Research output: Other research outputAbstract

Creating Büchi automata for multi-valued model checking

Vijzelaar, S. J. J. & Fokkink, W. J. 2017 Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Proceedings. Springer/Verlag, Vol. 10321 LNCS, p. 210-224 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10321 LNCS)

Research output: Scientific - peer-reviewConference contribution

Detecting useless transitions in pushdown automata

Grune, D., Fokkink, W., Chatzikalymnios, E., Hond, B. & Rutgers, P. 2017 Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Proceedings. Springer/Verlag, Vol. 10168 LNCS, p. 421-434 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10168 LNCS)

Research output: Scientific - peer-reviewConference contribution