Nicht ermittelbar
Refine
Year of publication
Document Type
- Monograph/Edited Volume (98) (remove)
Language
- English (98) (remove)
Is part of the Bibliography
- yes (98) (remove)
Keywords
- cyber-physical systems (4)
- probabilistic timed systems (4)
- qualitative Analyse (4)
- qualitative analysis (4)
- quantitative Analyse (4)
- quantitative analysis (4)
- machine learning (3)
- maschinelles Lernen (3)
- Bounded Model Checking (2)
- Cloud Computing (2)
- Digitalisierung (2)
- Forschungsprojekte (2)
- Future SOC Lab (2)
- Graphentransformationssysteme (2)
- In-Memory Technologie (2)
- Modellprüfung (2)
- Multicore Architekturen (2)
- artifical intelligence (2)
- bounded model checking (2)
- cloud computing (2)
- cyber-physische Systeme (2)
- digitalization (2)
- graph transformation systems (2)
- in-memory technology (2)
- künstliche Intelligenz (2)
- model checking (2)
- multicore architectures (2)
- openHPI (2)
- probabilistische gezeitete Systeme (2)
- probabilistische zeitgesteuerte Systeme (2)
- research projects (2)
- Analog-zu-Digital-Konvertierung (1)
- Bahnwesen (1)
- Betriebssysteme (1)
- Blockchain (1)
- Bounded Backward Model Checking (1)
- Cyber-physikalische Systeme (1)
- Datensatz (1)
- Datenvisualisierung (1)
- Dekubitus (1)
- Distributed-Ledger-Technologie (DLT) (1)
- Echtzeit (1)
- Europe (1)
- European Union (1)
- Europäische Union (1)
- Fehlertoleranz (1)
- Generalized Discrimination Networks (1)
- GitHub (1)
- HPI Schul-Cloud (1)
- Heuristiken (1)
- Häkeln (1)
- Interval Timed Automata (1)
- Java (1)
- Kausalität (1)
- Konsensprotokolle (1)
- Kunstanalyse (1)
- Live-Programmierung (1)
- Lively Kernel (1)
- MERLOT (1)
- MOOC (1)
- Modelle mit mehreren Versionen (1)
- Netzwerkprotokolle (1)
- Posenabschätzung (1)
- Quanten-Computing (1)
- Regressionstests (1)
- Reverse Engineering (1)
- Savanne (1)
- Scrollytelling (1)
- Software/Hardware Co-Design (1)
- Standardisierung (1)
- Telemedizin (1)
- Testergebnisse (1)
- Testpriorisierungs (1)
- Timed Automata (1)
- Trajektorien (1)
- Tripel-Graph-Grammatiken (1)
- Verlässlichkeit (1)
- Versionsverwaltung (1)
- Visualisierungskonzept-Exploration (1)
- Werkzeuge (1)
- Wüstenbildung (1)
- analog-to-digital conversion (1)
- art analysis (1)
- asset management (1)
- benutzergenerierte Inhalte (1)
- bounded backward model checking (1)
- causality (1)
- compositional analysis (1)
- computer vision (1)
- computer-aided design (1)
- consensus protocols (1)
- contestation (1)
- continuous integration (1)
- convolutional neural networks (1)
- crochet (1)
- cultural heritage (1)
- cyber-physikalische Systeme (1)
- data set (1)
- data visualization (1)
- decentral identities (1)
- decubitus (1)
- deep learning (1)
- democracy (1)
- demografische Informationen (1)
- demographic information (1)
- dependability (1)
- desertification (1)
- dezentrale Identitäten (1)
- digital education (1)
- digital enlightenment (1)
- digital learning platform (1)
- digital picture archive (1)
- digital sovereignty (1)
- digitale Aufklärung (1)
- digitale Bildung (1)
- digitale Lernplattform (1)
- digitale Souveränität (1)
- digitales Bildarchiv (1)
- discrete-event model (1)
- diskretes Ereignismodell (1)
- dynamic systems (1)
- dynamische Systeme (1)
- fault tolerance (1)
- gefaltete neuronale Netze (1)
- generalized discrimination networks (1)
- global model management (1)
- globales Modellmanagement (1)
- globalization (1)
- heuristics (1)
- interactive media (1)
- interaktive Medien (1)
- international law (1)
- international legal order (1)
- international relations (1)
- international trade (1)
- interval probabilistic timed systems (1)
- interval probabilistische zeitgesteuerte Systeme (1)
- interval timed automata (1)
- intuitive Benutzeroberflächen (1)
- intuitive interfaces (1)
- juridical recording (1)
- k-inductive invariant checking (1)
- k-induktive Invariantenprüfung (1)
- kompositionale Analyse (1)
- kontinuierliche Integration (1)
- kulturelles Erbe (1)
- lebenslanges Lernen (1)
- left recursion (1)
- legal change (1)
- lifelong learning (1)
- live programming (1)
- local autonomy (1)
- local government (1)
- maschinelles Sehen (1)
- metamorphosis of international law (1)
- multi-version models (1)
- network protocols (1)
- new public management (1)
- norm change (1)
- operating systems (1)
- packrat parsing (1)
- parallel and sequential independence (1)
- parallele und Sequentielle Unabhängigkeit (1)
- parsing expression grammars (1)
- pose estimation (1)
- public sector reform (1)
- qualitative model (1)
- qualitatives Modell (1)
- quantum computing (1)
- railways (1)
- real-time (1)
- rechnerunterstütztes Konstruieren (1)
- regression testing (1)
- reverse engineering (1)
- savanna (1)
- scrollytelling (1)
- selbstbestimmte Identitäten (1)
- self-governance (1)
- self-sovereign identity (1)
- software/hardware co-design (1)
- standardization (1)
- static source-code analysis (1)
- statische Quellcodeanalyse (1)
- symbolic analysis (1)
- symbolische Analyse (1)
- telemedicine (1)
- test case prioritization (1)
- test results (1)
- tiefes Lernen (1)
- timed automata (1)
- tools (1)
- trajectories (1)
- triple graph grammars (1)
- user-generated content (1)
- value change (1)
- verifiable credentials (1)
- version control (1)
- visual language (1)
- visualization concept exploration (1)
- visuelle Sprache (1)
- web-based development (1)
- web-based development environment (1)
- web-basierte Entwicklungsumgebung (1)
- webbasierte Entwicklung (1)
- überprüfbare Nachweise (1)
Institute
- Institut für Mathematik (45)
- Hasso-Plattner-Institut für Digital Engineering GmbH (22)
- Institut für Informatik und Computational Science (17)
- Fachgruppe Politik- & Verwaltungswissenschaft (5)
- Wirtschaftswissenschaften (2)
- Bürgerliches Recht (1)
- Department Linguistik (1)
- Fachgruppe Betriebswirtschaftslehre (1)
- Institut für Anglistik und Amerikanistik (1)
- Institut für Germanistik (1)