„temporal reachability“

Suchergebnisse

20 Treffer

• Span-reachability querying in large temporal graphs
  Wen, Dong ; Yang, Bohua ; Zhang, Ying ; Qin, Lu ; Cheng, Dawei ; Zhang, Wenjie
• Simple, Strict, Proper, and Directed: Comparing Reachability in Directed and Undirected Temporal Graphs
  Döring, Michelle 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
  Appold, Christian ; Kolla, Reiner ; Scholl, Christoph 2016 Universität Würzburg
• Recognizing and Realizing Temporal Reachability Graphs
  Erlebach, Thomas ; Michail, Othon ; Morawietz, Nils 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Temporal Explorability Games
  Austin, Pete ; Bose, Sougata ; Mazzocchi, Nicolas ; Totzke, Patrick 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dismountability in Temporal Cliques Revisited
  Carnevale, Daniele ; Casteigts, Arnaud ; Corsini, Timothée 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Restless reachability problems in temporal graphs
  Thejaswi, Suhas ; Lauri, Juho ; Gionis, Aristides
• Temporal Queries for Dynamic Temporal Forests
  Bilò, Davide ; Gualà, Luciano ; Leucci, Stefano ; Proietti, Guido ; Straziota, Alessandro 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distance to Transitivity: New Parameters for Taming Reachability in Temporal Graphs
  Casteigts, Arnaud ; Morawietz, Nils ; Wolf, Petra 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computing Temporal Reachability Under Waiting-Time Constraints in Linear Time
  Brunelli, Filippo ; Viennot, Laurent 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Temporal Reachability Minimization: Delaying vs. Deleting
  Molter, Hendrik ; Renken, Malte ; Zschoche, Philipp 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Extending Propositional Separation Logic for Robustness Properties
  Mansutti, Alessio 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An extremum timed extended reachability graph for temporal analysis of time Petri nets
  Zhou, Jiazhong ; Lefebvre, Dimitri ; Li, Zhiwu
• Efficient algorithms for reachability and path queries on temporal bipartite graphs
  Wang, Kai ; Cai, Minghao ; Chen, Xiaoshuang ; Lin, Xuemin ; Zhang, Wenjie ; Qin, Lu ; Zhang, Ying
• Virtuelle Erreichbarkeitsanalysen in KomMonitor zur sozialräumlichen Bedarfsplanung
  Drost, Sebastian ; Rohling, Isabell ; Danowski-Buhren, Christian 2024 KartDok - Repositorium Kartographie Staatsbibliothek zu Berlin - Preußischer Kulturbesitz - Kartenabteilung -
• A dynamic data structure for temporal reachability with unsorted contact insertions
  Brito, Luiz F. A. ; Albertini, Marcelo K. ; Casteigts, Arnaud ; Travençolo, Bruno A. N.
• Efficient distributed reachability querying of massive temporal graphs
  Zhang, Tianming ; Gao, Yunjun ; Chen, Lu ; Guo, Wei ; Pu, Shiliang ; Zheng, Baihua ; Jensen, Christian S.
• The reachability of contagion in temporal contact networks: how disease latency can exploit the rhythm of human behavior
  Colman, Ewan ; Spies, Kristen ; Bansal, Shweta
• Protocol Engineering
  König, Hartmut 2012 Springer Berlin Heidelberg
• Protocol engineering
  König, Hartmut 2012 Springer