default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGI Ausgezeichnete Informatikdissertationen 2021
- Steffen Hölldobler, Rüdiger Reischuk, Sven Apel, Abraham Bernstein, Felix C. Freiling, Hans-Peter Lenhof, Gustaf Neumann, Kay Uwe Römer, Björn Scheuermann, Nicole Schweikardt, Klaus Wehrle:
Ausgezeichnete Informatikdissertationen 2021. LNI D-22, GI 2022, ISBN 978-3-88579-980-1 - Carina da Silva:
SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs. 11-20 - Clemens Dubslaff:
Quantitative konfigurierbare und rekonfigurierbare Systeme . 21-30 - Jacob Eberhardt:
Skalierbare und vertraulichkeitswahrende Off-Chain Berechnungen. 31-40 - Thomas Gabor:
Selbstadaptive Fitness in evolutionären Prozessen. 41-50 - Daniel Gnad:
Stern-Topologie Entkoppelte Zustandsraumsuche. 51-60 - Frederik Jakob Gossen:
Programmaggregation mit algebraischen Entscheidungsdiagrammen. 61-70 - Muhammad Hassan:
Hochqualitativ Verifikation für VP-basierte Heterogene Systeme. 71-80 - Samira Hayat:
Drohnennetzwerke zur Suche und Rettung. 81-90 - Markus Hecher:
Werkzeuge und Methoden zum Lösen von Problemen mittels Baumweite . 91-100 - Heiko Klare:
Modell-Konsistenzerhaltung mittels Transformationsnetzwerken. 101-110 - Jascha Kolberg:
Sicherheit und Datenschutz für Biometrische Systeme. 111-120 - Daniel Kottke:
Ein holistischer Ansatz für Pool-basiertes Aktives Lernen. 121-130 - Matthias Kraus:
Die Bewertung der Anwendbarkeit von VR für Datenvisualisierung. 131-140 - Jacob Krüger:
Das Re-Engineering variantenreicher Systeme verstehen. 141-150 - Anne Lauscher:
Sprachrepräsentationen für Rechnerische Argumentation. 151-160 - Moritz Lipp:
Sicherheitsaspekte von Mikroarchitektur-Optimierungen. 161-170 - Linghui Luo:
Verbesserung der Praxistauglichkeit der statischen Taint-Analyse. 181-190 - Sebastian Mair:
Berechnung effizienter Datenzusammenfassungen. 191-200 - Tobias Meggendorfer:
Verifikation von Markov Entscheidungsprozessen in diskreter Zeit. 201-210 - Alejandro Molina Ramirez:
Tiefe Netzwerke, die wissen, wenn sie etwas nicht wissen. 211-220 - Eric Müller-Budack:
Quantifizierung der intermodalen Konsistenz von Nachrichten. 221-230 - Christian Roschke:
Bilderkennung und Wissenstransfer in verteilten Systemen. 231-240 - David Schaller:
Entwicklungsgeschichte von Genfamilien - Theorie und Algorithmen. 241-250 - Sarah Suleri:
Arbeitsbelastung beim Software Prototyping. 251-260 - Alexander Svozil:
Moderne Graphalgorithmen für die formale Verifikation. 261-270 - Tamás Szabó:
Inkrementalisierung Statischer Analysen in Datalog. 271-280 - Sri Aravinda Krishnan Thyagarajan:
Kryptographische Schlösser für Skriptlose Kryptowährungszahlungen. 281-290 - Hristina Uzunova:
Generative Modelle für pathologische Bilddaten. 291-300 - Markus Weninger:
Trace-basierte Erkennung und Analyse von Speicheranomalien. 301-310 - Daniele Zambon:
Erkennung von Anomalien und Veränderung in Graphsequenzen. 311-320
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-10 18:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
