Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

• Datei:CeTI MZ RGB Subline.svg  + (4. März 2025, 08:02:34)
• Concurrency Theory  + (4. März 2025, 08:05:47)
• Vorlage:DisplayForschungsgruppe  + (4. März 2025, 13:30:16)
• Vorlage:ModuleLink  + (4. März 2025, 13:57:31)
• Vorlage:DisplayVorlesung  + (4. März 2025, 14:32:32)
• Attribut:Examination type  + (4. März 2025, 15:07:25)
• Datei:Andrea.jpeg  + (5. März 2025, 10:23:30)
• Benutzer:Max Korn  + (5. März 2025, 10:30:55)
• Benutzer:Andrea Kühn  + (5. März 2025, 11:27:36)
• Benutzer:Calvin Chau  + (5. März 2025, 11:27:38)
• Benutzer:Jakob Piribauer  + (5. März 2025, 11:27:42)
• Benutzer:Timm Spork  + (5. März 2025, 11:27:43)
• Benutzer:Patrick Wienhöft  + (5. März 2025, 11:27:46)
• Benutzer:Robin Ziemek  + (5. März 2025, 11:27:47)
• Datei:A spectrum of approximate probabilistic bisimulations.pdf  + (5. März 2025, 13:18:35)
• Datei:LIPIcs.CONCUR.2024.37.pdf  + (5. März 2025, 13:21:29)
• Algebraische und logische Grundlagen der Informatik/en  + (5. März 2025, 13:34:08)
• Publikationen der Gruppe Algebraische und logische Grundlagen der Informatik  + (5. März 2025, 13:34:08)
• Publications of Group Algebraische und logische Grundlagen der Informatik  + (5. März 2025, 13:34:08)
• Algebraische und logische Grundlagen der Informatik: Abgeschlossene Arbeiten  + (5. März 2025, 13:34:09)
• : Completed Theses  + (5. März 2025, 13:34:09)
• Metric semantics for true concurrent real time  + (5. März 2025, 13:39:58)
• Trace Machines for Observing Continuous-Time Markov Chains  + (5. März 2025, 13:40:01)
• Models and temporal logical specifications for timed component connectors  + (5. März 2025, 13:40:03)
• Synthesis of Optimal Resilient Control Strategies  + (5. März 2025, 13:40:04)
• ProFeat: feature-oriented engineering for family-based probabilistic model checking  + (5. März 2025, 13:40:12)

• CeTI  + (5. März 2025, 13:40:13)
• On model checking techniques for randomized distributed systems  + (5. März 2025, 13:40:13)
• Weak Bisimulation for Fully Probabilistic Processes  + (5. März 2025, 13:40:13)

• Supporting Ontology-Mediated Stream Reasoning with Model Checking  + (5. März 2025, 13:40:14)
• Symbolic Reasoning with Weighted and Normalized Decision Diagrams  + (5. März 2025, 13:40:23)
• Computing Conditional Probabilities in Markovian Models Efficiently  + (5. März 2025, 13:40:24)
• Stochastic Timed Automata  + (5. März 2025, 13:40:25)
• Synthesis of Reo circuits from scenario-based specifications  + (5. März 2025, 13:40:25)
• On reduction criteria for probabilistic reward models  + (5. März 2025, 13:40:27)
• Formal Verification for Components and Connectors  + (5. März 2025, 13:40:29)
• Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms  + (5. März 2025, 13:40:34)
• When are timed automata determinizable?  + (5. März 2025, 13:40:36)
• Components in Probabilistic Systems: Suitable by Construction  + (5. März 2025, 13:40:36)
• Probabilistic Model Checking for Energy-Utility Analysis  + (5. März 2025, 13:40:36)
• From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata  + (5. März 2025, 13:40:36)
• Probabilistic automata over infinite words: expressiveness, efficiency, and decidability  + (5. März 2025, 13:40:36)
• Formale Systeme  + (5. März 2025, 13:40:36)
• Modeling component connectors in Reo by constraint automata  + (5. März 2025, 13:40:39)
• On the Foundations of Cycles in Bayesian Networks  + (5. März 2025, 13:40:41)
• The Connection between an Event Structure Semantics and an Operational Semantics for TCSP  + (5. März 2025, 13:40:47)
• Probabilistic and Topological Semantics for Timed Automata  + (5. März 2025, 13:40:47)
• Weak Bisimulation for Fully Probabilistic Processes  + (5. März 2025, 13:40:48)
• Cost-Utility Analysis in Probabilistic Models  + (5. März 2025, 13:40:48)
• Quantitative analysis under fairness constraints  + (5. März 2025, 13:40:50)
• The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP  + (5. März 2025, 13:40:51)
• Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams  + (5. März 2025, 13:40:54)
• Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach  + (5. März 2025, 13:40:58)