77 Infos zu Henning Urbat

4 Aktuelle Nachrichten

For any regular language L there is a unique finite nondeterministic automaton accepting L which is minimal amongst all nondeterministic acceptors, re

... United Kingdom) Ana Sokolova (University of Salzburg, Austria) Henning Urbat (Technische Universität Braunschweig, Germany) Jamie ...

Liang-Ting Chen and Henning Urbat, A Fibrational Approach to Automata Theory ... Jiří Adámek, Stefan Milius and Henning Urbat, Syntactic Monoids in a ...

— ... Austria David Sprunger, National Institute of Informatics, Japan Henning Urbat, University of Erlangen-Nuremberg, Germany Fabio Zanasi, ... › newsit...

3 Profile in Sozialen Netzwerken

Semantic Scholar profile for Henning Urbat, with 12 highly influential citations and 34 scientific research papers.

Henning Urbat, Stefan Milius: Varieties of data languages. Proc. 46th International Colloquium on Automata, Languages and Programming (ICALP 2019), Leibniz International Proceedings in …

Jiří Adámek, Stefan Milius and Henning Urbat, On the behaviour of coalgebras with side effects and algebras with effectful iteration, Journal of Logic and ... › adamekj

7 Bücher zum Namen

› author

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014,...

Rob Myers and Henning Urbat Institut für Theoretische Informatik TU Braunschweig, Germany Abstract. For each language L ⊆ 2∗ and function t: Æ → Æ, we ...

This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July...

6 Dokumente

From: Henning Urbat [view email] [v1] Thu, 18 Feb :15:43 GMT (112kb,D) [v2] Mon, 20 Feb :21:52 GMT (150kb,D) [v3] Fri,

von J Adámek · — Henning Urbat. Henning Urbat. Lehrstuhl für Theoretische Informatik. , Friedrich-Alexander-Universität Erlangen-Nürnberg, Martenstr. › logcom

von RSR Myers · · Zitiert von: 1 — Submission history. From: Henning Urbat [view email] [v1] Wed, 7 Jul :00:12 UTC (128 KB) [ ... von S Goncharov · · Zitiert von: 1 — Stateful Structural Operational Semantics. Authors:Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat · Download PDF. › cs

Submission history. From: Henning Urbat [view email] [v1] Mon, 12 Jan :48:01 GMT (34kb). Which authors of this paper are endorsers?

17 Wissenschaftliche Publikationen

› person

Pages Robert S.R. Myers, Jiří Adámek, Stefan Milius, Henning Urbat.

List of computer science publications by Henning Urbat

› absolvententag2018 › html

3 Allgemeine Veröffentlichungen

For each language [equation] and function t:ℕ → ℕ, we define another language [equation]. We then prove that L ∈ NL/ poly if and only if there exists k ∈ ℕ...

We investigate the duality between algebraic and coalgebraic recognition of languages to derive a generalization of the local version of Eilenberg's theorem....

von LT Chen · · Zitiert von: 21 — Jiří Adámek and Henning Urbat acknowledge support by the Deutsche Forschungsgemeinschaft (DFG) under project AD Download conference paper PDF ... › chapter

34 Webfunde aus dem Netz

The Logic & AI Seminar is a weekly event on logic in artificial intelligence and the theoretical aspects of computer science at Imperial College London. It...

HIGHLIGHTS 2018: HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA. PROGRAMAUTHORSKEYWORDSSLIDES. Henning Urbat. Organization: TU ...

Dr. Henning Urbat Paul Wild Thorsten Wißmann: Laufende und vor kurzem beendete Forschungsprojekte (aus dem Berichtszeitraum ) Generische algorithmische Verfahren und Komplexitätsschranken für Modal- und Hybridlogiken auf koalgebraischer Basis;

Authors: Jiri Adamek Robert S. R. Myers Henning Urbat Stefan Milius Abstract. No Abstract Available. BibTeX @InProceedings{AdamekMyersUrbatMil-VarietiesofLanguage ...

Henning Urbat. Paper: Jiri Adamek Robert S. R. Myers Henning Urbat Stefan Milius Varieties of Languages in a Category More Information... Alasdair Urquhart ...

Profinite Monads, Profinite Equations and Reitermann's Theorem (Liang-Ting Chen, Jiří Adámek, Stefan Milius, Henning Urbat), ... Publications as a bibtex file ...

1 42nd International Symposium on Mathematical Foundations of Computer Science MFCS 2017, August , 2017, Aalborg, D...

For each language $L\subseteq{\textbf 2}^*$ and function

Aalborg, Denmark. Henning Urbat, Jiri Adamek, Liang-Ting Chen and Stefan Milius: "Eilenberg Theorems for Free" ... › index.php › best...

Natsuki Urabe and Ichiro Hasuo, Coalgebraic Infinite Traces and Kleisli Simulations; Liang-Ting Chen and Henning Urbat, A Fibrational Approach to Automata ... › calco15 › accept...

Robert Myers 1 Jiří Adámek 1 Stefan Milius 2Henning Urbat 1. Détails. 1 Technische Universität Braunschweig = Technical University of Braunschweig ... › hal

European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site

Awards. Best Paper Award. Henning Urbat, Jiri Adamek, Liang-Ting Chen and Stefan Milius. Eilenberg Theorems for Free ...

Web survey powered by SurveyMonkey.com. Create your own online survey now with SurveyMonkey's expert certified FREE templates.

For each regular language

Robert Myers, Jiří Adámek, Stefan Milius, Henning Urbat, Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra

Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles over the Circle; »Fabian Birkmann, Stefan Milius and Henning Urbat. › program

Robert Myers, Jiří Adámek, Stefan Milius, Henning Urbat, Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra

Haller · Christoph Salge · Henning Urbat. Achterbahn.

von S Milius · · Zitiert von: 3 — Stefan Milius 1 Jiří Adámek 2Henning Urbat 1. Détails. 1 FAU - Friedrich-Alexander Universität Erlangen-Nürnberg. 2 CTU - Czech Technical University in ... › ha...