Sack, Harald 1965-
Sack, Harald, 19..-....
Sack, Harald (Computer science researcher)
Harald Sack
Sack, Harald (Chercheur en informatique)
VIAF ID: 243648322 ( Personal )
Permalink: http://viaf.org/viaf/243648322
Preferred Forms
4xx's: Alternate Name Forms (9)
5xx's: Related Names (7)
- 510 2 _ ‡a FIZ Karlsruhe ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Hasso-Plattner-Institut für Softwaresystemtechnik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Hasso-Plattner-Institut für Softwaresystemtechnik
- 510 2 _ ‡a Institut für Angewandte Informatik und Formale Beschreibungsverfahren ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universität Potsdam ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universität Trier ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universität Trier
Works
Title | Sources |
---|---|
Algorithmic considerations for ⊕-OBDD reordering | |
Case study: manipulating ⊕-OBDDs by means of signatures | |
Digital Communication communication, multimedia, security | |
Einführung von IPv6 in Unternehmensnetzen ein Leitfaden | |
Erster Deutscher IPv6 Gipfel | |
heuristic for ⊕-OBDD minimization | |
IDDS an interactive decentralized documentation system | |
Improving the power of ordered binary decision diagrams by integrating parity nodes | |
Improving XOR-node placement for ⊕-OBDDs | |
Internetworking : technische Grundlagen und Anwendungen | |
Internetworking Technological Foundations and Applications | |
Linked data based exploratory search. | |
Linked Enterprise Data : Management und Bewirtschaftung vernetzter Unternehmensdaten mit Semantic Web Technologien | |
Mod p decision diagrams a data structure for multiple valued functions | |
NFDI4Culture - Consortium for research data on material and immaterial cultural heritage | |
NFDI4Memory. Consortium for the historically oriented humanities. Proposal for the National Research Data Infrastructure (NFDI) | |
⊕-OBDDs a BDD structure for probabilistic verification | |
PMD Core Ontology: Achieving semantic interoperability in materials science | |
A provenance-based semantic approach to support understandability, reproducibility, and reuse of scientific experiments | |
Recherche exploratoire basée sur des données liées | |
Semantic Web ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29 – June 2, 2016, Revised Selected Papers | |
Shu zi tong xin ji shu | |
Sicherheit und Vertrauen im Internet eine technische Perspektive | |
SOFSEM 2013 : theory and practice of computer science, 2103: | |
Towards an interpretable model of learners in a learning environment based on knowledge graphs. | |
User-centered semantic dataset retrieval | |
Vers un modèle interprétable pour la prédiction de la performance des apprenants dans un environnement d'apprentissage basée sur l'exploitation de graphes de connaissances | |
VisBDD - a web based visualization framework for OBDDs | |
WWW.BDD-Portal.ORG an experimentation platform for binary decision diagram algorithms | |
WWW Kommunikation, Internetworking, Web-Technologien ; mit 106 Tabellen |