Refine
Year of publication
Document Type
- Monograph/Edited Volume (1227) (remove)
Language
- English (1227) (remove)
Keywords
- Hasso-Plattner-Institut (9)
- Forschungskolleg (8)
- Forschungsprojekte (8)
- Future SOC Lab (8)
- Hasso Plattner Institute (8)
- In-Memory Technologie (8)
- Klausurtagung (8)
- Multicore Architekturen (8)
- Service-oriented Systems Engineering (8)
- cloud computing (8)
- Cloud Computing (7)
- multicore architectures (7)
- research projects (7)
- Modellierung (5)
- Ph.D. retreat (5)
- cyber-physical systems (5)
- in-memory technology (5)
- machine learning (5)
- maschinelles Lernen (5)
- quantitative analysis (5)
- service-oriented systems engineering (5)
- Research School (4)
- artifical intelligence (4)
- nested graph conditions (4)
- probabilistic timed systems (4)
- qualitative Analyse (4)
- qualitative analysis (4)
- quantitative Analyse (4)
- research school (4)
- Curriculum Framework (3)
- Datenintegration (3)
- European values education (3)
- Europäische Werteerziehung (3)
- Graphtransformationen (3)
- In-Memory technology (3)
- Lehrevaluation (3)
- Model Synchronisation (3)
- Model Transformation (3)
- Ph.D. Retreat (3)
- Sicherheit (3)
- Smalltalk (3)
- Studierendenaustausch (3)
- Tripel-Graph-Grammatik (3)
- Unterrichtseinheiten (3)
- Verifikation (3)
- Virtualisierung (3)
- curriculum framework (3)
- graph transformation (3)
- graph transformation systems (3)
- information structure (3)
- künstliche Intelligenz (3)
- lesson evaluation (3)
- openHPI (3)
- privacy (3)
- security (3)
- student exchange (3)
- syntax (3)
- teaching units (3)
- virtual machines (3)
- AUTOSAR (2)
- BPMN (2)
- Betriebssysteme (2)
- Bounded Model Checking (2)
- Cape Town (2)
- Cloud-Sicherheit (2)
- Cloud-Speicher (2)
- Data Integration (2)
- Design Thinking (2)
- Digitalisierung (2)
- East Germany (2)
- Europe (2)
- Governance (2)
- Graphentransformationssysteme (2)
- Graphtransformationssysteme (2)
- Identitätsmanagement (2)
- Innovation (2)
- Java (2)
- Kapstadt (2)
- Live-Programmierung (2)
- Lively Kernel (2)
- Model Synchronization (2)
- Model-Driven Engineering (2)
- Modeling (2)
- Modellprüfung (2)
- Privacy (2)
- Process Modeling (2)
- Prozessmodellierung (2)
- Psycholinguistik (2)
- Ressourcenoptimierung (2)
- Slumming (2)
- Social Sciences (2)
- South Africa (2)
- Sprachkontakt (2)
- Syntax (2)
- SysML (2)
- Südafrika (2)
- Telekommunikation (2)
- Versionsverwaltung (2)
- Verwaltung (2)
- Virtuelle Maschinen (2)
- Werkzeuge (2)
- bounded model checking (2)
- cloud (2)
- continuous integration (2)
- cyber-physische Systeme (2)
- data profiling (2)
- debugging (2)
- digitalization (2)
- focus sensitive expressions (2)
- graph constraints (2)
- identity management (2)
- incremental graph pattern matching (2)
- k-inductive invariant checking (2)
- kontinuierliche Integration (2)
- live programming (2)
- methodology (2)
- model checking (2)
- modeling (2)
- modellgetriebene Entwicklung (2)
- operating systems (2)
- probabilistische gezeitete Systeme (2)
- probabilistische zeitgesteuerte Systeme (2)
- prosody (2)
- semantic fieldwork (2)
- slumming (2)
- smalltalk (2)
- township tourism (2)
- triple graph grammars (2)
- typed attributed graphs (2)
- verification (2)
- verschachtelte Graphbedingungen (2)
- version control (2)
- virtualization (2)
- virtuelle Maschinen (2)
- 17th century (1)
- ACINQ (1)
- ARCH (1)
- ARIMA Models (1)
- ARMA Processes (1)
- ASIC (1)
- Abhängigkeiten (1)
- Absolute Advantage (1)
- Absoluter Kostenvorteil (1)
- Abstraktion von Geschäftsprozessmodellen (1)
- Adam Smith (1)
- Adverbial Quantification (1)
- Adverbs of Frequency (1)
- Adverbs of Quantity (1)
- Agile (1)
- Agilität (1)
- Akan (1)
- Aktienmarkt (1)
- Aktivitäten (1)
- Albania (1)
- Alexander von Humboldt (1)
- Alte Geschichte (1)
- Alterung (1)
- Ambiguity (1)
- Ambiguität (1)
- Analog-zu-Digital-Konvertierung (1)
- Ancient Rome (1)
- Andrei Konchalovsky (1)
- Andrej Končalovskij (1)
- Angola (1)
- Antike Literatur (1)
- Antipersistence (1)
- Apriori (1)
- Arbeitsethik (1)
- Architektur (1)
- Armed Conflicts (1)
- Armenia ; Human Rights ; Minorities ; Education (1)
- Armut (1)
- Arnos Padiri (1)
- Artem Erkomaishvili (1)
- Aspect-oriented Programming (1)
- Aspektorientierte Softwareentwicklung (1)
- Association Rule Mining (1)
- Assoziationsregeln (1)
- Asynchrone Schaltung (1)
- Asynchronous circuit (1)
- Attribut-Merge-Prozess (1)
- Attribute Merge Process (1)
- Aufgabenerfüllung (1)
- Aufsatzsammlung (1)
- Ausführung von Modellen (1)
- Australia (1)
- Australian securities exchange (1)
- Auswirkungen (1)
- Authentizität (1)
- Autocorrelation (1)
- Autokorrelation (1)
- Außenhandel (1)
- BCCC (1)
- BPM (1)
- BTC (1)
- Bahnwesen (1)
- Batchprozesse (1)
- Bayes'sche Netze (1)
- Bayesian networks (1)
- Bedingte Inklusionsabhängigkeiten (1)
- Behavior change (1)
- Beschränkungen und Abhängigkeiten (1)
- Beveridge-Nelson Decomposition (1)
- Bisimulation (1)
- BitShares (1)
- Bitcoin (1)
- Bitcoin Core (1)
- Blockchain (1)
- Blockchain Auth (1)
- Blockchain-Konsortium R3 (1)
- Blockkette (1)
- Blockstack (1)
- Blockstack ID (1)
- Blumix-Plattform (1)
- Blöcke (1)
- Bottom-up (1)
- Bounded Backward Model Checking (1)
- Built Environment (1)
- Byzantine Agreement (1)
- Bürokratisierung (1)
- CEP (1)
- CSC (1)
- CSCW (1)
- Case studies (1)
- Celtic languages (1)
- Central Banking Policy (1)
- Change Management (1)
- Christlich-jüdische Beziehung (1)
- Cloud (1)
- Co-Regulation (1)
- Cold War (1)
- Colombia (1)
- Colored Coins (1)
- Comparative Advantage (1)
- Comparative Public Administration (1)
- Conditional Inclusion Dependency (1)
- Conformance Überprüfung (1)
- Constraints (1)
- Consumption (1)
- Context-oriented Programming (1)
- Continental Celtic (1)
- Contracts (1)
- Controller-Resynthese (1)
- Creative (1)
- Cyber-Physical Systems (1)
- Cyber-Physical-Systeme (1)
- Cyber-physical-systems (1)
- Cyber-physikalische Systeme (1)
- DAO (1)
- DPoS (1)
- DaZ (1)
- Data Dependency (1)
- Data Modeling (1)
- Data Profiling (1)
- Data Quality (1)
- Data Warehouse (1)
- Database Cost Model (1)
- Datenabhängigkeiten (1)
- Datenanalyse (1)
- Datenbank-Kostenmodell (1)
- Datenflusskorrektheit (1)
- Datenmodellierung (1)
- Datenqualität (1)
- Datensatz (1)
- Datenvertraulichkeit (1)
- Datenvisualisierung (1)
- Deadline-Verbreitung (1)
- Debugging (1)
- Decentralization (1)
- Decentralization in government (1)
- Dekubitus (1)
- Delegated Proof-of-Stake (1)
- Demokratie (1)
- Demokratisierung (1)
- Denkweise (1)
- Deutsch (1)
- Deutschunterricht (1)
- Dezentralisation (1)
- Dezentralisierung (1)
- Diaspora (1)
- Differential Privacy (1)
- Diffusionsprozess (1)
- Discrimination Networks (1)
- Distributed Proof-of-Research (1)
- Distributed-Ledger-Technologie (DLT) (1)
- Domänen (1)
- Duplicate Detection (1)
- Duplikaterkennung (1)
- Dynamic Type System (1)
- Dynamische Typ Systeme (1)
- E-Learning (1)
- E-Wallet (1)
- ECDSA (1)
- EEG (1)
- EHR (1)
- EPA (1)
- EU (1)
- Echtzeit (1)
- Echtzeitsysteme (1)
- Effectiveness (1)
- Effektivität (1)
- Einnahmenautonomie (1)
- Elektronische Patientenakte (1)
- Energie (1)
- Energieerzeugung (1)
- Environment and Sustainability (1)
- Ereignisse (1)
- Erfüllbarkeitsanalyse (1)
- Eris (1)
- Erkennen von Meta-Daten (1)
- Estonia (1)
- Ether (1)
- Ethereum (1)
- European Immigration Policies (1)
- European Union (1)
- European public administration (1)
- Europäische Union (1)
- Evidentialität (1)
- Evolution (1)
- Evolution in MDE (1)
- Expenditure Assignment (1)
- Experimentelle Linguisitk (1)
- Extract-Transform-Load (ETL) (1)
- FRP (1)
- Fallstudie (1)
- Familie (1)
- Family (1)
- Federated Byzantine Agreement (1)
- Feedback Loops (1)
- Fehlersuche (1)
- Fehlertoleranz (1)
- Festschrift (1)
- Filmgeschichte (1)
- Finanzielle Performance (1)
- Finanzzuweisungen (1)
- Fiscal Federalism (1)
- Fiskalischer Föderalismus (1)
- FollowMyVote (1)
- Fork (1)
- Formale Verifikation (1)
- Frequenz (1)
- Friedensforschung (1)
- Frühe Neuzeit (1)
- Functional Lenses (1)
- GARCH (1)
- GDR (1)
- Gas (1)
- Generalized Discrimination Networks (1)
- Genre Eastern (1)
- Geography (1)
- Georgian chant (1)
- Georgische liturgische Gesänge (1)
- German (1)
- German lessons (1)
- Germany (1)
- Geschichte 1600-1700 (1)
- Geschichte 2003-2006 (1)
- Geschichte der Sprachwissenschaft (1)
- Geschichtsschreibung (1)
- Geschäftsprozesse (1)
- Geschäftsprozessmanagement (1)
- Gesetze (1)
- Gibbs field (1)
- GitHub (1)
- Global History (1)
- Governance and Government (1)
- Grammatica (1)
- Grammatikalisation (1)
- Grandonica (1)
- Graph-Constraints (1)
- Graph-basierte Suche (1)
- Graphbedingungen (1)
- Graphdatenbanken (1)
- Graphreparatur (1)
- Graphtransformation (1)
- Great Britain (1)
- Gridcoin (1)
- Großbritannien (1)
- HENSHIN (1)
- HPI Schul-Cloud (1)
- Hanxleden (1)
- Hard Fork (1)
- Hashed Timelock Contracts (1)
- Hasso-Plattner-Institute (1)
- Hauptspeicherdatenbank (1)
- Hebrew (1)
- Heuristiken (1)
- Historiography (1)
- History (1)
- Homomorphe Verschlüsselung (1)
- Human Rights (1)
- Human-Animal Studies (1)
- Häkeln (1)
- Ideation (1)
- Ideenfindung (1)
- Identität, jüdische (1)
- Ideologien und Kino (1)
- Impact (1)
- Implementation in Organizations (1)
- Implementierung in Organisationen (1)
- In-Memory Database (1)
- In-Memory Datenbank (1)
- In-Memory-Datenbank (1)
- Individuen (1)
- Infinite State (1)
- Inflation (1)
- Information Extraction (1)
- Information Systems (1)
- Informationsextraktion (1)
- Informationsstruktur (1)
- Informationssysteme (1)
- Inkrementelle Graphmustersuche (1)
- Innovationsmanagement (1)
- Innovationsmethode (1)
- Inselkeltisch (1)
- Insular Celtic (1)
- Integration Policy (1)
- Interdisciplinary Teams (1)
- Intergovernmental transfers (1)
- International trade (1)
- Internet Content Regulation (1)
- Internet der Dinge (1)
- Internet of Things (1)
- Interpreter (1)
- Interval Timed Automata (1)
- Invariant-Checking (1)
- Invarianten (1)
- Invariants (1)
- Investitionspolitik (1)
- Investment (1)
- IoT (1)
- Irak (1)
- Iroquoian languages (1)
- Italien (1)
- JCop (1)
- Japanese (1)
- Japanese Blockchain Consortium (1)
- Japanisches Blockchain-Konsortium (1)
- Judentum (1)
- Katutura (1)
- Kausalität (1)
- Kette (1)
- Kind (1)
- Ko-Regulierung (1)
- Kognitionswissenschaften (1)
- Kollaborationen (1)
- Kolumbien (1)
- Komparativer Kostenvorteil (1)
- Konsensalgorithmus (1)
- Konsensprotokoll (1)
- Konsensprotokolle (1)
- Konsistenzrestauration (1)
- Kontinentalkeltisch (1)
- Konvergenzrate (1)
- Kooperation (1)
- Korpuslinguistik (1)
- Kreativität (1)
- Kunstanalyse (1)
- Kunststofflichtwellenleiter (1)
- Künstliche Intelligenz (1)
- Labor Migration (1)
- Langzeitverhalten (1)
- Lateinamerika (1)
- Lateinische Literatur (1)
- Latin America (1)
- Latin literature (1)
- Laufzeitanalyse (1)
- Laufzeitmodelle (1)
- Leadership (1)
- Leistungsmodelle von virtuellen Maschinen (1)
- Lesen (1)
- Lexikalisierung (1)
- Lichtwellenleiter (1)
- Lightning Network (1)
- Linguistik (1)
- Link Discovery (1)
- Link-Entdeckung (1)
- Linked Data (1)
- Linked Open Data (1)
- Local Civil Society Networks (1)
- Local Governance (1)
- Lock-Time-Parameter (1)
- Länder (1)
- Lösungsraum (1)
- MDE Ansatz (1)
- MDE settings (1)
- MERLOT (1)
- MOOC (1)
- MOOCs (1)
- Management (1)
- Mandarin (1)
- Markov processes (1)
- Markovprozesse (1)
- Measurement (1)
- Megamodell (1)
- Megamodels (1)
- Mehrkernsysteme (1)
- Mehrsprachigkeit (1)
- Membran (1)
- Menschenrechte (1)
- Messung (1)
- Metadata Discovery (1)
- Metadatenentdeckung (1)
- Metadatenqualität (1)
- Micropayment-Kanäle (1)
- Microsoft Azur (1)
- Middleware (1)
- Migration (1)
- Migration Policy (1)
- Mikrofinanzinstitutionen (1)
- Mikrokredite (1)
- Minderheit (1)
- Mindset (1)
- Ministerialverwaltung (1)
- Mission-Drift (1)
- Missionarsgrammatik (1)
- Mobile Application Development (1)
- Modalität (1)
- Model Execution (1)
- Modeling Languages (1)
- Modell-getriebene Softwareentwicklung (1)
- Modelle mit mehreren Versionen (1)
- Modellerzeugung (1)
- Modellgetriebene Softwareentwicklung (1)
- Modellierungssprachen (1)
- Modellreparatur (1)
- Modelltransformationen (1)
- Models at Runtime (1)
- Money Supply (1)
- Monte Carlo testing (1)
- Morphic (1)
- Morphologie (1)
- Mozambique (1)
- Multi-Instanzen (1)
- Multicore architectures (1)
- Multidisciplinary Teams (1)
- Muster (1)
- Musterabgleich (1)
- NASDAQ (1)
- Nachhaltigkeit (1)
- NameID (1)
- Namecoin (1)
- Namibia (1)
- Neoliberalismus (1)
- Nested Graph Conditions (1)
- Network Enforcement Act (1)
- Netzwerkdurchsetzungsgesetz (1)
- Netzwerkprotokolle (1)
- Newspeak (1)
- Ngizim (1)
- Object Constraint Programming (1)
- Object-Oriented Programming (1)
- Objekt-Constraint Programmierung (1)
- Objekt-Orientiertes Programmieren (1)
- Objekt-orientiertes Programmieren mit Constraints (1)
- Objektlebenszyklus-Synchronisation (1)
- Off-Chain-Transaktionen (1)
- Onename (1)
- Online Course (1)
- Online-Learning (1)
- Online-Lernen (1)
- Onlinekurs (1)
- Open Access (1)
- Open access (1)
- OpenBazaar (1)
- Oracles (1)
- Organisationsveränderung (1)
- Orinoco River system (1)
- Orphan Block (1)
- P2P (1)
- PLS (1)
- POF (1)
- PRISM Modell-Checker (1)
- PRISM model checker (1)
- PTCTL (1)
- Paradoxographie (1)
- Paradoxography (1)
- Pattern Matching (1)
- Patterns (1)
- Peace Studies (1)
- Peer-to-Peer Netz (1)
- Peercoin (1)
- Persistenz (1)
- Petri net Mapping (1)
- Petri net mapping (1)
- Petrinetz (1)
- Phonologie (1)
- PoB (1)
- PoS (1)
- PoW (1)
- Polen (1)
- Political science (1)
- Politics & International Relations (1)
- Politisierung (1)
- Posenabschätzung (1)
- Principal agent relation (1)
- Privatsphäre (1)
- Problem Solving (1)
- Problemlösung (1)
- Process (1)
- Process Enactment (1)
- Process Mining (1)
- Programmiererlebnis (1)
- Programmierung (1)
- Programming Languages (1)
- Proof-of-Burn (1)
- Proof-of-Stake (1)
- Proof-of-Work (1)
- Propagation von Aktivitätsinstanzzuständen (1)
- Property Prices (1)
- Prototyping (1)
- Prozess (1)
- Prozessausführung (1)
- Prozesserhebung (1)
- Prozessinstanz (1)
- Prozessoren (1)
- Psychologie (1)
- Psychology (1)
- Public Debt (1)
- Public administration (1)
- Public-Private Partnerships (1)
- Python (1)
- Quanten-Computing (1)
- Quantitative Analysen (1)
- Raumkonstruktion (1)
- Reflektierende Randbedingungen (1)
- Regenerierung (1)
- Regressionstests (1)
- Regulierung (1)
- Regulierung von Internetinhalten (1)
- Religion (1)
- Republicanism (1)
- Republikanismus (1)
- Research Methods (1)
- Research Projects (1)
- Revenue Autonomy (1)
- Reverse Engineering (1)
- Ripple (1)
- Rohstoffe (1)
- Romanische Sprachen (1)
- Ruby (1)
- Runtime Binding (1)
- Runtime-monitoring (1)
- Russia (1)
- Russland (1)
- SCP (1)
- SHA (1)
- SPV (1)
- SQL (1)
- STG decomposition (1)
- STG-Dekomposition (1)
- Sammlungsdatentypen (1)
- Sanskrit (1)
- Savanne (1)
- Schemaentdeckung (1)
- Schlüsselentdeckung (1)
- Schreiben (1)
- Schreibfähigkeit (1)
- Schriftartgestaltung (1)
- Schriftrendering (1)
- Schriftsprache (1)
- Schriftspracherwerb (1)
- Schwierigkeitsgrad (1)
- Scrollytelling (1)
- Second World (1)
- Self-Adaptive Software (1)
- Sequenzeigenschaften (1)
- Sequenzen von s/t-Pattern (1)
- Serialisierung (1)
- Service-Oriented Architecture (1)
- Service-Orientierte Architekturen (1)
- Service-orientierte Systme (1)
- Sierra Leone (1)
- Signalflankengraph (SFG oder STG) (1)
- Simplified Payment Verification (1)
- Simulation (1)
- Situations (1)
- Skalierbarkeit der Blockchain (1)
- Slock.it (1)
- Slovakia (1)
- Slowakei (1)
- Slumtourismus (1)
- SoaML (1)
- Socialism (1)
- Soft Fork (1)
- Software/Hardware Co-Design (1)
- Softwarearchitektur (1)
- Softwareproduktlinien (1)
- Softwaretests (1)
- Solution Space (1)
- Soziale Ziele (1)
- Sozialen Medien (1)
- Soziologie (1)
- Spectral Density (1)
- Speicheroptimierungen (1)
- Spektraldichte (1)
- Spezifikation von gezeiteten Graph Transformationen (1)
- Spitzenbeamte (1)
- Sprachförderung (1)
- Sprachspezifikation (1)
- Sprachverarbeitung (1)
- Squeak (1)
- Standardisierung (1)
- Standards (1)
- Stationary Stochastic Processes (1)
- Stationärer Prozess (1)
- Steemit (1)
- Stellar Consensus Protocol (1)
- Stimulus-Onset Asynchrony (1)
- Stock Prices (1)
- Storj (1)
- Streuung (1)
- Studie (1)
- Sub-national Autonomy (1)
- Synchronisation (1)
- System of Systems (1)
- Systemsoftware (1)
- Tableaumethode (1)
- Tacitus (1)
- Tele-Lab (1)
- Tele-Teaching (1)
- Telemedizin (1)
- Temperatur (1)
- Temporallogik (1)
- Tense Semantics (1)
- Testergebnisse (1)
- Testpriorisierungs (1)
- The Bitfury Group (1)
- The DAO (1)
- Third World (1)
- Threshold Cryptography (1)
- Time Series Analysis (1)
- Timed Automata (1)
- Tools (1)
- Top-down (1)
- Tourismus (1)
- Township (1)
- Township Tourismus (1)
- Townshiptourismus (1)
- Trajektorien (1)
- Transaktion (1)
- Transformation (1)
- Transformationsebene (1)
- Transformationssequenzen (1)
- Transitional Justice (1)
- Transitions (1)
- Transparency (1)
- Transparenz (1)
- Transtional Justice (1)
- Travis CI (1)
- Tripel-Graph-Grammatiken (1)
- Triple Graph Grammar (1)
- Triple Graph Grammars (1)
- Triple-Graph-Grammatiken (1)
- Turkish (1)
- Two-Way-Peg (1)
- Türkisch (1)
- Unbegrenzter Zustandsraum (1)
- United Nations (1)
- Unspent Transaction Output (1)
- Unveränderlichkeit (1)
- Urban Studies (1)
- VUCA-World (1)
- Variationslinguistik (1)
- Vector Error Correction Model (1)
- Verbindungsnetzwerke (1)
- Verbkomplexe (1)
- Verbsyntax (1)
- Verbzweit (1)
- Vereinte Nationen (1)
- Vergleich Filmkulturen (1)
- Verhaltensabstraktion (1)
- Verhaltensbewahrung (1)
- Verhaltensverfeinerung (1)
- Verhaltensänderung (1)
- Verhaltensäquivalenz (1)
- Verification (1)
- Verlässlichkeit (1)
- Versöhnung (1)
- Verteilungsalgorithmen (1)
- Verteilungsalgorithmus (1)
- Verträge (1)
- Verwaltungsreform (1)
- Verzögerungs-Verbreitung (1)
- Vesikel (1)
- Vietnamese (1)
- Virtual machines (1)
- Visualisierung (1)
- Visualisierungskonzept-Exploration (1)
- Vorhersagbarkeit (1)
- Warlpiri (1)
- Wartung von Graphdatenbanksichten (1)
- Watson IoT (1)
- Web applications (1)
- Web-Anwendungen (1)
- Western literature (1)
- Wicked Problems (1)
- Wikipedia (1)
- Windhoek (1)
- Wissenszirkulation (1)
- Worterkennung (1)
- Wüstenbildung (1)
- Zeitgenössisches Judentum (1)
- Zeitreihenanalyse (1)
- Zielvorgabe (1)
- Zookos Dreieck (1)
- Zookos triangle (1)
- Zugriffskontrolle (1)
- Zweitsprache (1)
- academic leadership (1)
- accelerated life time model (1)
- acceptability study (1)
- access control (1)
- activity instance state propagation (1)
- adaptive Systeme (1)
- adaptive systems (1)
- administration (1)
- adoption (1)
- afro-asiatic (1)
- agil (1)
- agricultural policy (1)
- allegory (1)
- altchain (1)
- alternative chain (1)
- alumni work (1)
- analog-to-digital conversion (1)
- andean geology (1)
- apriori (1)
- architecture (1)
- argument / adjunct focus (1)
- art analysis (1)
- asset management (1)
- atomic swap (1)
- ausführbare Semantiken (1)
- authenticity (1)
- batch processing (1)
- behavior preservation (1)
- behavioral abstraction (1)
- behavioral equivalenc (1)
- behavioral refinement (1)
- benutzergenerierte Inhalte (1)
- beschreibende Feldstudie (1)
- bewaffnete Konflikte (1)
- bicameralism (1)
- bidirectional payment channels (1)
- big data services (1)
- bilingualism (1)
- biogeography (1)
- bisimulation (1)
- bitcoin (1)
- bitcoins (1)
- blockchain (1)
- blockchain consortium (1)
- blockchain-übergreifend (1)
- blocks (1)
- blumix platform (1)
- bottom-up (1)
- bounded backward model checking (1)
- buraucratisation (1)
- business process management (1)
- business process model abstraction (1)
- business processes (1)
- capacity building (1)
- capital and ownership structure (1)
- case study (1)
- causality (1)
- censoring (1)
- chain (1)
- change management (1)
- child (1)
- circulation of knowledge (1)
- climate time series analysis (1)
- cloud security (1)
- cloud storage (1)
- cluster expansion (1)
- cognitive sciences (1)
- collaboration (1)
- collection types (1)
- comparative urban studies (1)
- compositional analysis (1)
- computational ethnomusicology (1)
- computational geosciences (1)
- computer vision (1)
- computer-aided design (1)
- computergestützte Musikethnologie (1)
- confidentiality (1)
- confirmation period (1)
- conflict management (1)
- conformance checking (1)
- congruence (1)
- consensus algorithm (1)
- consensus protocol (1)
- consensus protocols (1)
- consistency restoration (1)
- constitutional design (1)
- contest period (1)
- contestation (1)
- continuous testing (1)
- contracts (1)
- control resynthesis (1)
- controlled experiment (1)
- convolutional neural networks (1)
- cooperation (1)
- coordination (1)
- core executive (1)
- corporate governance (1)
- crochet (1)
- cross-chain (1)
- cultural heritage (1)
- cyber-physikalische Systeme (1)
- data center management (1)
- data flow correctness (1)
- data integration (1)
- data set (1)
- data visualization (1)
- deadline propagation (1)
- decentral identities (1)
- decentralized autonomous organization (1)
- decubitus (1)
- deep learning (1)
- delay propagation (1)
- democracy (1)
- democratic theory (1)
- demografische Informationen (1)
- demographic information (1)
- dependability (1)
- dependable computing (1)
- dependencies (1)
- desertification (1)
- design thinking (1)
- dezentrale Identitäten (1)
- dezentrale autonome Organisation (1)
- differential privacy (1)
- difficulty (1)
- difficulty target (1)
- diffusion (1)
- diffusion process (1)
- digital education (1)
- digital elevation models (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)
- direct manipulation (1)
- direkte Manipulation (1)
- discrete-event model (1)
- discrimination networks (1)
- diskretes Ereignismodell (1)
- distributed performance monitoring (1)
- distribution algorithm (1)
- domains (1)
- doppelsemigroup (1)
- doppelter Hashwert (1)
- double hashing (1)
- dynamic typing (1)
- dynamic models (1)
- dynamic programming languages (1)
- dynamic systems (1)
- dynamische Programmiersprachen (1)
- dynamische Sprachen (1)
- dynamische Systeme (1)
- early modern manuscript culture (1)
- earth system sciences (1)
- econometric modelling (1)
- economic disparities (1)
- economy (1)
- efficient market hypothesis (1)
- eindeutig (1)
- electronic health record (1)
- energy (1)
- entre-local relations (1)
- environmentalism (1)
- ereigniskorrelierte Potentiale (1)
- erfahrbare Medien (1)
- ergodic rates (1)
- europäische Sprachen (1)
- event-related potentials (1)
- events (1)
- evolution in MDE (1)
- evolutionary economics (1)
- executable semantics (1)
- executive personalism (1)
- expedition (1)
- experimental linguistics (1)
- exploratives Programmieren (1)
- exploratory programming (1)
- fault tolerance (1)
- federated voting (1)
- feedback loops (1)
- fehlende Daten (1)
- festschrift (1)
- film cultures in comparison (1)
- financial performance (1)
- firm behaviour (1)
- first-person (1)
- fiscal policy (1)
- fluctuation (1)
- focus asymmetries (1)
- focus particle (1)
- font engineering (1)
- font rendering (1)
- foreign direct investment (1)
- formal semantics (1)
- formal verification (1)
- formal verification methods (1)
- formale Verifikation (1)
- free algebra (1)
- frequency (1)
- frühneuzeitliche Manuskriptkultur (1)
- functional dependency (1)
- functional lenses (1)
- functional programming (1)
- funktionale Abhängigkeit (1)
- funktionale Programmierung (1)
- future SOC lab (1)
- gas (1)
- gefaltete neuronale Netze (1)
- generalized discrimination networks (1)
- geoinformatics (1)
- geomodeling (1)
- geostatistics (1)
- gesture (1)
- getypte Attributierte Graphen (1)
- global model management (1)
- globales Modellmanagement (1)
- globalization (1)
- goodness-of-fit testing (1)
- governance (1)
- government (1)
- grammaticalization (1)
- graph databases (1)
- graph queries (1)
- graph repair (1)
- graph transformations (1)
- hashrate (1)
- heuristics (1)
- higher education management (1)
- historical geography (1)
- history of cinema (1)
- history of linguistics (1)
- homomorphic encryption (1)
- human language processing (1)
- human-centered (1)
- hybrid graph-transformation-systems (1)
- hybride Graph-Transformations-Systeme (1)
- ideologies and cinema (1)
- immutable values (1)
- in situ upgrading (1)
- in-memory database (1)
- individuals (1)
- inductive invariant checking (1)
- induktives Invariant Checking (1)
- infinite-dimensional Brownian diffusion (1)
- informal settlements (1)
- informelle Siedlungen (1)
- inkrementelles Graph Pattern Matching (1)
- innovation (1)
- innovation capabilities (1)
- innovation management (1)
- integrated development environments (1)
- integrierte Entwicklungsumgebungen (1)
- intelligente Verträge (1)
- inter-chain (1)
- interactive media (1)
- interaktive Medien (1)
- interassociativity (1)
- interconnect (1)
- intercultural understanding (1)
- interdisciplinarity (1)
- interdisziplinäre Teams (1)
- interest group (1)
- interface (1)
- interface between grammar and information structure (1)
- intergovernmental relations (1)
- international law (1)
- international legal order (1)
- international relations (1)
- international trade (1)
- interpreters (1)
- interval probabilistic timed systems (1)
- interval probabilistische zeitgesteuerte Systeme (1)
- interval timed automata (1)
- intuitive Benutzeroberflächen (1)
- intuitive interfaces (1)
- invariant checking (1)
- investment climate (1)
- irokesische Sprachen (1)
- juridical recording (1)
- k-Induktion (1)
- k-induction (1)
- k-inductive invariants (1)
- k-induktive Invarianten (1)
- k-induktive Invariantenprüfung (1)
- k-induktives Invariant-Checking (1)
- keltische Sprachen (1)
- key discovery (1)
- kompositionale Analyse (1)
- kontinuierliches Testen (1)
- kontrolliertes Experiment (1)
- kulturelles Erbe (1)
- language contact (1)
- language specification (1)
- late medieval (1)
- law (1)
- leadership (1)
- lebenslanges Lernen (1)
- lebenszentriert (1)
- ledger assets (1)
- left periphery (1)
- left recursion (1)
- legal change (1)
- lexical databases (1)
- lexikalische Datenbanken (1)
- life-centered (1)
- lifelong learning (1)
- linguistics (1)
- local autonomy (1)
- local government (1)
- local jurisdictions (1)
- local self-government (1)
- location-based (1)
- long memory (1)
- long-time behaviour (1)
- management (1)
- many-core (1)
- maschinelles Sehen (1)
- mathematical geology (1)
- mehrdimensionale Belangtrennung (1)
- mehrsprachige Ausführungsumgebungen (1)
- membrane (1)
- memory optimization (1)
- menschenzentriert (1)
- menschliche Sprachverarbeitung (1)
- merged mining (1)
- mergers and acquisitions (1)
- merkle root (1)
- metadata discovery (1)
- metadata quality (1)
- metamorphosis of international law (1)
- metric temporal logic (1)
- metric termporal graph logic (1)
- metrisch temporale Graph Logic (1)
- metrische Temporallogik (1)
- micro loans (1)
- microfinance institutions (1)
- micropayment (1)
- micropayment channels (1)
- middleware (1)
- migration (1)
- miner (1)
- mining (1)
- mining hardware (1)
- mining sciences (1)
- ministry of agriculture (1)
- minting (1)
- missing data (1)
- mission drift (1)
- missionary grammar (1)
- modality (1)
- model generation (1)
- model repair (1)
- model transformation (1)
- model-driven engineering (1)
- modelling optical fibres waveguides pof scattering temperature aging ageing (1)
- monitoring (1)
- morphic (1)
- morphology (1)
- multi-core (1)
- multi-dimensional separation of concerns (1)
- multi-instances (1)
- multi-version models (1)
- multidisziplinäre Teams (1)
- multiethnolect (1)
- multilingualism (1)
- multiperspective reception of AvH (1)
- musical scales (1)
- musikalische Tonleitern (1)
- narratives (1)
- nested application conditions (1)
- network protocols (1)
- neue Institutionentheorie (1)
- new institutional theory (1)
- new public management (1)
- non-manuals (1)
- nonce (1)
- nonparametric regression estimation (1)
- norm change (1)
- novel analysis (1)
- object life cycle synchronization (1)
- object-constraint programming (1)
- object-oriented programming (1)
- objektorientiertes Programmieren (1)
- off-chain transaction (1)
- optische Fasern (1)
- organizational change (1)
- orts-basiert (1)
- packrat parsing (1)
- pandemic (1)
- parallel and sequential independence (1)
- parallel computing (1)
- parallele und Sequentielle Unabhängigkeit (1)
- paralleles Rechnen (1)
- parliament (1)
- parliamentary government (1)
- parsing expression grammars (1)
- partial application conditions (1)
- partielle Anwendungsbedingungen (1)
- path models (1)
- patterns of democracy (1)
- peer-to-peer network (1)
- pegged sidechains (1)
- performance models of virtual machines (1)
- periodic tasks (1)
- periodische Aufgaben (1)
- persistence (1)
- petri net (1)
- planning (1)
- policy (1)
- political opportunism (1)
- politicisation (1)
- polyglot execution environments (1)
- pose estimation (1)
- poverty (1)
- predictability (1)
- presidential government (1)
- probabilistic timed automata (1)
- probabilistische zeitbehaftete Automaten (1)
- process elicitation (1)
- process instance (1)
- process mining (1)
- processor hardware (1)
- professionalization (1)
- profiling (1)
- programming (1)
- programming experience (1)
- prototyping (1)
- psycholinguistics (1)
- public sector reform (1)
- qualitative model (1)
- qualitatives Modell (1)
- quantum computing (1)
- quorum slices (1)
- railways (1)
- random point processes (1)
- reactive (1)
- reading (1)
- reaktive Programmierung (1)
- real-time (1)
- real-time systems (1)
- rechnerunterstütztes Konstruieren (1)
- reconciliation (1)
- reflecting boundary (1)
- refugee crisis (1)
- regional development (1)
- regional integration (1)
- regions (1)
- regression testing (1)
- relational model transformation (1)
- relationale Modelltransformationen (1)
- religion (1)
- resource optimization (1)
- resources (1)
- reverse engineering (1)
- rootstock (1)
- runtime adaptations (1)
- runtime monitoring (1)
- s/t-pattern sequences (1)
- satisfiabilitiy solving (1)
- savanna (1)
- scalability of blockchain (1)
- scarce tokens (1)
- schema discovery (1)
- schrumpfende Städte (1)
- scrollytelling (1)
- second language (1)
- selbstbestimmte Identitäten (1)
- self-governance (1)
- self-sovereign identity (1)
- semantics preservation (1)
- semi-parliamentary government (1)
- semigroup (1)
- separation of powers (1)
- sequence properties (1)
- serialization (1)
- service-oriented systems (1)
- shareholders (1)
- sidechain (1)
- sign languages (1)
- signal transition graph (1)
- simulation (1)
- slum tourism (1)
- small talk (1)
- smart contracts (1)
- social goals (1)
- social housing (1)
- software architecture (1)
- software product lines (1)
- software tests (1)
- software/hardware co-design (1)
- sozialer Wohnungsbau (1)
- spatial construction (1)
- specification of timed graph transformations (1)
- speed independent (1)
- squeak (1)
- standardization (1)
- standards (1)
- state and local budgets (1)
- static analysis (1)
- static source-code analysis (1)
- statische Analyse (1)
- statische Quellcodeanalyse (1)
- statistical mechanics (1)
- stimulus-onset asynchrony (1)
- stochastic Petri nets (1)
- stochastic analysis (1)
- stochastic differential equations (1)
- stochastische Differentialgleichungen (1)
- stochastische Petri Netze (1)
- stock market (1)
- stock returns (1)
- study (1)
- sub-national governance (1)
- sustainable development (1)
- symbolic analysis (1)
- symbolic graphs (1)
- symbolische Analyse (1)
- symbolische Graphen (1)
- synchronization (1)
- syntax of the clausal left periphery (1)
- system of property rights (1)
- system of systems (1)
- systems software (1)
- t.BPM (1)
- tableau method (1)
- tangible media (1)
- tax distribution (1)
- tele-TASK (1)
- telemedicine (1)
- temporal logic (1)
- test case prioritization (1)
- test results (1)
- threshold cryptography (1)
- tiefes Lernen (1)
- timed automata (1)
- tools (1)
- top bureaucrats (1)
- top-down (1)
- tourism (1)
- township (1)
- traditional Georgian music (1)
- traditionelle Georgische Musik (1)
- trajectories (1)
- transaction (1)
- transaction costs (1)
- transformation (1)
- transformation level (1)
- transformation sequences (1)
- transformative justice (1)
- transitional justice (1)
- typed graph transformation systems (1)
- typisierte attributierte Graphen (1)
- typology (1)
- understudied languages (1)
- unique (1)
- urban decline (1)
- urban regeneration (1)
- user-generated content (1)
- value change (1)
- vergleichende Stadtforschung (1)
- verifiable credentials (1)
- verschachtelte Anwednungsbedingungen (1)
- verschachtelte Anwendungsbedingungen (1)
- verteilte Leistungsüberwachung (1)
- verzwickte Probleme (1)
- vesicle (1)
- view maintenance (1)
- visual language (1)
- visual word recognition (1)
- visualization (1)
- visualization concept exploration (1)
- visuelle Sprache (1)
- visuelle Worterkennung (1)
- web-applications (1)
- web-based development (1)
- web-based development environment (1)
- web-basierte Entwicklungsumgebung (1)
- webbasierte Entwicklung (1)
- word recognition (1)
- work ethics (1)
- writing ability (1)
- written language acquisition (1)
- zuverlässige Datenverarbeitung (1)
- zuverlässigen Datenverarbeitung (1)
- Öffentlich-Privater-Partnershaften (1)
- Übergangsjustiz (1)
- Übergangsprozesse (1)
- Überwachung (1)
- überprüfbare Nachweise (1)
Institute
- Institut für Mathematik (353)
- Wirtschaftswissenschaften (191)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (89)
- Institut für Informatik und Computational Science (82)
- Department Linguistik (48)
- Institut für Anglistik und Amerikanistik (46)
- Sozialwissenschaften (39)
- Hasso-Plattner-Institut für Digital Engineering GmbH (35)
- Institut für Physik und Astronomie (35)
- Department Psychologie (25)
- Institut für Umweltwissenschaften und Geographie (21)
- Historisches Institut (20)
- Fachgruppe Politik- & Verwaltungswissenschaft (19)
- Institut für Biochemie und Biologie (19)
- Interdisziplinäres Zentrum für Dynamik komplexer Systeme (19)
- Institut für Germanistik (18)
- Institut für Jüdische Studien und Religionswissenschaft (18)
- Institut für Romanistik (18)
- Extern (16)
- Institut für Chemie (13)
- Institut für Geowissenschaften (13)
- MenschenRechtsZentrum (11)
- Philosophische Fakultät (11)
- Department Erziehungswissenschaft (9)
- Öffentliches Recht (9)
- Institut für Slavistik (8)
- Sonderforschungsbereich 632 - Informationsstruktur (6)
- Strukturbereich Kognitionswissenschaften (6)
- Bürgerliches Recht (5)
- Department Grundschulpädagogik (5)
- Institut für Künste und Medien (5)
- Department Sport- und Gesundheitswissenschaften (4)
- Fachgruppe Betriebswirtschaftslehre (4)
- Zentrum für Gerechtigkeitsforschung (4)
- Fachgruppe Soziologie (3)
- Institut für Jüdische Theologie (3)
- Klassische Philologie (3)
- Institut für Ernährungswissenschaft (2)
- WeltTrends e.V. Potsdam (2)
- Zentrum für Australienforschung (2)
- Department Musik und Kunst (1)
- Fakultät für Gesundheitswissenschaften (1)
- Institut für Philosophie (1)
- Interdisziplinäres Zentrum für Biopolymere (1)
- Lehreinheit für Wirtschafts-Arbeit-Technik (1)
- Strafrecht (1)
- Wirtschafts- und Sozialwissenschaftliche Fakultät (1)
- Zentrum für Qualitätsentwicklung in Lehre und Studium (ZfQ) (1)