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-10

Exponential Speedup Over Locality in MPC with Optimal Memory

Konferenz / Medium

DISC International Symposium on Distributed Computing (DISC)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Alkida Balliu
  • Sebastian Brandt
  • Manuela Fischer
  • Rustam Latypov
  • Yannic Maus
  • Dennis Olivetti
  • Jara Uitto
Zum Paper Detail-Seite besuchen
2022-10

Parameterized Complexity of Weighted Multicut in Trees

Konferenz / Medium

International Workshop on Graph-Theoretic Concepts in Computer Science (WG)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Esther Galby
  • Dániel Marx
  • Philipp Schepper
  • Roohani Sharma
  • Prafullkumar Tale
Zum Paper Detail-Seite besuchen
2022-10

Almost Universally Optimal Distributed Laplacian Solvers via Low-Congestion Shortcuts

Konferenz / Medium

DISC International Symposium on Distributed Computing (DISC)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Ioannis Anagnostides
  • Christoph Lenzen
  • Bernhard Haeupler
  • Goran Zuzic
  • Themis Gouleakis
Zum Paper Detail-Seite besuchen
2022-09-29

Smooth Transition of Vehicles' Maximum Speed for Lane Detection based on Computer Vision

Konferenz / Medium

IEEE Vehicular Technology Conference (VTC)

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
  • Ghaeini Hamid Reza
  • Tippenhauer Nils Ole
Zum Paper Detail-Seite besuchen
2022-09-29

Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties.

Artikel

International Journal on Software Tools for Technology Transfer

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
  • Hadar Frenkel
  • Orna Grumberg
  • Corina Pasareanu
  • Sarai Sheinvald
Zum Paper Detail-Seite besuchen
2022-09-28

Real-time Visualization of Stream-based Monitoring Data

Konferenz / Medium

International Conference on Runtime Verification (RV)

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

G-SINC: Global Synchronization Infrastructure for Network Clocks

Konferenz / Medium

Symposium on Reliable Distributed Systems (SRDS)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Marc Frei
  • Jonghoon Kwon
  • Tabaeiaghdaei Seyedali
  • Marc Wyss
  • Christoph Lenzen
  • Adrian Perrig
Zum Paper Detail-Seite besuchen
2022-09-20

Realizable and Context-Free Hyperlanguages

Konferenz / Medium

Games Automata Logics and Formal Verification (GandALF)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Hadar Frenkel
  • Sarai Sheinvald
Zum Paper Detail-Seite besuchen
2022-09-19

pEncode: A Tool for Visualizing Pen Signal Encodings in Real-Time

Buchkapitel

HHAI2022: Augmenting Human Intellect

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
  • Felix Céard-Falkenberg
  • Konstantin Kuznetsov
  • Alexander Prange
  • Michael Barz
  • Daniel Sonntag
Zum Paper Detail-Seite besuchen