1
0
0
(1 - 30 von 34
)
Publications - Georg-August-Universität Göttingen
www.uni-goettingen.de
M. · P. · Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel Day, Dirk Nowotka and Vijay Ganesh (2021): An SMT Solver for Regular Expressions and ... › pu...
k-Abelian pattern matching - ScienceDirect
www.sciencedirect.com
Author links open overlay panelThorstenEhlers FlorinManea RobertMercaş Dirk Nowotka. Show more. https://doi.org j.jda Get rights and ...
Dissertation
www.informatik.uni-leipzig.de
Reachability on prefix-recognizable graphs [PS][PDF]; erscheint in Information Processing Letters. A Note on an Extension of PDL (mit Dirk Nowotka) erscheint ...
Dirk Nowotka: Betreute studentische Arbeiten - Universität ...ftp.informatik.uni-stuttgart.de › Nowotka_Dirk_Adviser
ftp.informatik.uni-stuttgart.de
Dirk Nowotka: Betreute studentische Arbeiten. suche · englishicon. Jahrgang Sieweck, Philipp: SAT Solving mit GPU Unterstützung, Diplomarbeit Nr
dblp: Developments in Language Theory 2009
dblp.uni-trier.de
Bibliographic content of Developments in Language Theory 2009
Bibliographie - Georg Zetzsche
www2.informatik.uni-hamburg.de
Bibliographie Georg Zetzsche Manfred Kudlek, Patrick Totzke, ... In Volker Diekert and Dirk Nowotka, editors, Developments in Language Theory, ...
dblp: Theoretical Computer Science, Volume 307
dblp.uni-trier.de
Bibliographic content of Theoretical Computer Science, Volume 307
FMI | SZS | Publications
www2.informatik.uni-stuttgart.de
Reference: Volker Diekert, Tero Harju, and Dirk Nowotka. Weinbaum factorizations of primitive words.Izvestiya VUZ Matematika, to appear.. Abstract: C. M. Weinbaum [Proc. AMS, 109(3):615–619, 1990] showed the following: Let be a primitive word and be letter in .Then a conjugate of can be written as such that is a prefix and a suffix of , but neither starts nor ends …
Workshop Automotive Software Engineering 2019
www.informatik.tu-cottbus.de
Prof. Dr. Dirk Nowotka Universität Kiel Prof. Dr. Jörn Schneider Hochschule Trier Dr. Thomas Sauer Volkswagen AG Historie Workshop ASE, 47. Jahrestagung der GI, Informatik in Chemnitz; 14. Workshop ASE, 46. Jahrestagung der GI, Informatik in Klagenfurt
Adressenliste 7. Theorietag
www.informatik.uni-bremen.de
.tu-dresden.de; Dirk Nowotka: Department of Computer
Science
Search results for "J. Discrete Algorithms" – FacetedDBLP
dblp.l3s.de
... Robert Mercas, Dirk Nowotka: k-Abelian pattern matching. J. Discrete Algorithms : 2015: DBLP DOI BibTeX RDF: 1: Md. Khaledur Rahman, M. Sohel Rahman ...
Arbeitsgruppe Zuverlässige Systeme
www.zs.informatik.uni-kiel.de
Die Arbeitsgruppe Zuverlässige Systeme beschäftigt sich mit formalen Methoden zur Fehlerentdeckung und -vermeidung in Hard- und Softwaresystemen. Insbesondere...
CSR Conferences: Yandex Best Paper Awards
logic.pdmi.ras.ru
Yury Lifshits and Dirk Nowotka: Estimation of the click volume by large scale regression analysis. Best Student Paper: Maxim Babenko: A fast algorithm for path ...
Detecting one-variable patterns — Ural Federal University's ...science.urfu.ru › publications › detecting-one-var...
science.urfu.ru
Detecting one-variable patterns. Dmitry Kosolobov, Florin Manea, Dirk Nowotka. Institute of Natural Sciences and Mathematics · Laboratory of Combinatorial ...
SE 18
se18.uni-ulm.de
... Universität Stuttgart; Andreas Vogelsang, Technische Universität Berlin; Matthias Riebisch, University of Hamburg; Michael Felderer, Universität Innsbruck; Florian Matthes, Technische Universität München; Dirk Beyer, Ludwig- Maximilians-Universität München; Joel Greenyer, Leibniz Universität Hannover; Dirk Nowotka, ...
Formal Verification of Concurrent Embedded Software - Embedded...
ifip.hal.science
With the introduction of multicore hardware to embedded systems their vulnerability to race conditions has been drastically increased. Therefore, sufficient...
Theorietag Uni Bremen
user.informatik.uni-bremen.de
10:30–10:50 Dirk Nowotka, On Solution Sets of Word Equations 10:50–11:10 Andreas Malcher, On Iterated Uniform Finite State Transducers › ...
Karriere: Habilitationen und Berufungen April Forschung & Lehre
www.forschung-und-lehre.de
Von A wie Agrarwissenschaften bis Z wie Zahnmedizin: Forschung & Lehre zeigt aktuelle Habilitationen und Berufungen nach Fächern in der Übersicht.
Karriere: Habilitationen und Berufungen Februar Forschung &...
www.forschung-und-lehre.de
Ob Geo- oder Gesellschaftswissenschaften: Forschung & Lehre zeigt aktuelle Habilitationen und Berufungen aus allen Fächern in der Übersicht.
sortiert nach Relevanz / Datum