E-mail senden E-Mail Adresse kopieren

Alle PubliKationen 

Unsere wissenschaftlichen Publikationen belegen eindrucksvoll die Exzellenz und internationale Sichtbarkeit unserer Forschung. In den vergangenen Jahren haben CISPA-Forschende zahlreiche Beiträge auf wissenschaftlichen Top-Konferenzen weltweit und in renommierten Fachzeitschriften veröffentlicht. Unsere Publikationen sind in unserer Publikationsdatenbank aufgeführt, einschließlich des Links zur Originalveröffentlichung.

Filter

Jahr 2022

2022-02

From Input Coverage to Code Coverage: Systematically Covering Input Structure with k-Paths

Artikel

ACM Transactions on Software Engineering and Methodology

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
Zum Paper Detail-Seite besuchen
2022-02

Differentially Describing Groups of Graphs

Konferenz / Medium

National Conference of the American Association for Artificial Intelligence (AAAI)

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Zum Paper Detail-Seite besuchen
2022-02

Naming the most Anomalous Cluster in Hilbert Space for Structures with Attribute Information

Konferenz / Medium

National Conference of the American Association for Artificial Intelligence (AAAI)

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Zum Paper Detail-Seite besuchen
2022-02

Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory

Konferenz / Medium

Annual Conference on Computer Science Logic (CSL)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2022-02

Inferring Symbolic Automata

Konferenz / Medium

Annual Conference on Computer Science Logic (CSL)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Dana Fisman
  • Hadar Frenkel
  • Sandra Zilles
Zum Paper Detail-Seite besuchen
2022-01-31

Small Hazard-Free Transducers

Konferenz / Medium

Innovations in Theoretical Computer Science (ITCS)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Johannes Bund
  • Christoph Lenzen
  • Moti Medina
Zum Paper Detail-Seite besuchen
2022-01-31

Algebraic Restriction Codes and their Applications

Konferenz / Medium

Innovations in Theoretical Computer Science (ITCS)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
Zum Paper Detail-Seite besuchen
2022-01-25

Local Problems on Trees from the Perspectives of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics.

Konferenz / Medium

Innovations in Theoretical Computer Science (ITCS)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Sebastian Brandt
  • Yi-Jun Chang
  • Jan Grebík
  • Christoph Grunau
  • Václav Rozhon
  • Zoltán Vidnyánszky
Zum Paper Detail-Seite besuchen
2022-01-22

Subcubic certificates for CFL reachability

Konferenz / Medium

Symposium on Principles of Programming Languages (POPL)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Dmitry Chistikov
  • Rupak Majumdar
  • Philipp Schepper
Zum Paper Detail-Seite besuchen