Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000121269437 | 1 hits
Person
ISNI: 
0000 0001 2126 9437
Name: 
Meinel, C.
Meinel, Ch
Meinel, Chr
Meinel, Christoph
Meinel, Christopher
Dates: 
1954-
Creation class: 
Language material
lm
Text
Creation role: 
author
contributor
creator
editor
Related names: 
Bern, Jochen
Engel, Thomas
Gergov, Jordan
Haffner, Ernst-Georg (1966-)
Morvan, Michel
Mundhenk, Martin (1961-)
Sack, Harald (1965-)
Schillings, Volker
Slobodová, Anna
Theobald, Thorsten (1971-)
Tison, Sophie
Universität Potsdam
Weinberg, Ulrich (1958- ))
Titles: 
⊕-OBDDs a BDD structure for probabilistic verification
Algorithmen und Datenstrukturen im VLSI-design.
Algorithms and data structures in VLSI-design, c1998:
Algorithms and data structures in VLSI design : OBDD-foundations and applications
Bibliothek des Joachim Jungius ein Beitrag zur Historia litteraria der frühen Neuzeit, Die
Design Thinking : Innovation lernen - Ideenwelten öffnen
Design thinking research : studying co-creation in practice
Dritter Deutscher IPv6-Gipfel 2010
E-librarian service user-friendly semantic search in digital libraries
Effiziente Algorithmen Entwurf und Analyse
Einführung von IPv6 in Unternehmensnetzen ein Leitfaden
electronic colloquium on computational complexity backup archive of ECCC reports volume 2009, The
electronic colloquium on computational complexity backup archive of ECCC reports volume 2010, The
electronic colloquium on computational complexity (ECCC), The ; a digital library in use
Electronic colloquium on computational complexity research reports 2001
Electronic colloquium on computational complexity research reports 2002
Electronic colloquium on computational complexity research reports 2005
Electronic colloquium on computational complexity research reports 2007
Electronic signatures an American and European perspective
Entwicklung der Informatik braucht Theorie und Praxis ein Fallbeispiel aus dem CAD-Schaltkreisentwurf, Die
Flood-Gates statt Firewall eine "High-security"-Lösung zum sicheren Datentausch zwischen Internet und Intranet
Function decomposition and synthesis using linear sifting
Fünfter Deutscher IPv6 Gipfel 2012
Generieren von diagnostischen 3D-Objekten aus deformierten 2D-DICOM-Bildern
Geschlechterverhältnisse in Medizin, Naturwissenschaft und Technik
heuristic for ⊕-OBDD minimization, A
Implement role-based access control with attribute certificates
In physicis futurum saeculum respicio Joachim Jungius und die naturwissenschaftliche Revolution des 17. Jahrhunderts
Information security in diverse computing environments
Integration der Schleusentechnologie Lock-Keeper in moderne Sicherheitsarchitekturen
Internet - neues Medium für kommerzielle Aktivitäten Preprint zur Studie
Internet-Technologie in der Medizin
Internetbasiertes Arztbriefsystem
Internetworking technische Grundlagen und Anwendungen
IT-Sicherheitszertifikate
JAVA-DICOM-Viewer
Lock-Keeper-Architektur sicherer Schutz gegen Online-Attacken aus dem Internet, Die
Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen - eine Einführung
Medizinische Bildverarbeitung eine Übersicht
Mod 2 OBDD's a generalization of OBDD's and EXOR sum of products
Mod p decision diagrams a data structure for multiple valued functions
Modified Branching Programs and Their Computational Power
necessity of a public key infrastructure for a virtual university, The
(nonuniform) and NL (nonuniform), L
note on Möbius functions and the communication complexity of the graph accessibility problem, A
OBDD based verification of communication protocols - methods for the verification of data link protocols
OBDD's im CAD-Prozeß geordnete binäre Entscheidungsgraphen - ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise
OBDD technology speeding up variable reordering of OBDDs
On the complexity of constructing optimal OBDD's
OpenHPI das MOOC-Angebot des Hasso-Plattner-Instituts
OpenHPI the MOOC offer at Hasso Plattner institute
Ordered binary decision diagrams and their significance in computer aided design of VLSI circuits
Ordered binary decision diagrams in electronic design automation foundations, applications and innovations
Parallelizing synchronous systems
Patientenreminder
Praelectiones physicae historisch-kritische Edition
Proceeding
Proceedings 2011
Proceedings of the fall 2010 Future SOC Lab Day
Proceedings of the ... Ph. D. retreat of the HPI Research School on Service-Oriented Systems Engineering
Rudiments of a branching program based complexity theory
Schleusentechnologie "Lock-keeper" und ihre Integration in moderne Sicherheitsarchitekturen, Die
Sechster Berlin-München-Trierer Workshop zur Algorithmischen Diskreten Mathematik und Mathematischen Optimierung
Separating completely complexity classes related to polynomial size Ω-decision trees
Separating complexity classes related to certain input oblivious logarithmic space bounded turing machines
Separating the eraser Turing machine classes Le, NLe, co-NLe, and Pe
Sicherheitsrisiken und Schwachstellenanlyse von IT-Systemen
SOA security 2010
Some heuristics for generating tree like FBDD-types
Speeding up symbolic model checking by accelerating dynamic variable reordering
Speeding up variable reordering of OBDDs
STACS 98 15th annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 : proceedings
STACS 99 : 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings
Structural investigations of parallel computing devices
Symbolic simulation of synchronous parallel systems
Techniques for securing networks against criminal attacks reprint of: Proceedings of the "International Conference on Internet Computing", CSREA, IC100, Las Vegas, Nevada, 2000
tele-TASK - teleteaching anywhere solution kit
Tele-TASK Teleteaching praxistauglich für den Universitätsalltag
TeleMedizin neue Informations- und Kommunikationstechnologien im Gesundheitswesen
Theoretical aspects of computer science
TI-jPACS eine frei verfügbare leistungsfähige Plattform zur medizinischen Bildverarbeitung und -visualisierung
TI-Trust-Center Eröffnung einer Zertifizierungsstelle in Anlehnung an Signaturgesetz u. Signaturverordnung
Trust-Center Konzeption einer Zertifizierungsstelle nach Signaturgesetz u. Signaturverordnung
Über die durch Kodierungen induzierte Hierarchie von Umwelten und Labyrinthen
Umwelten und Automaten in Umwelten
unifying theoretical background for some BDD based data structures, A
Upper and lower bounds for certain graph accessibility problems on bounded alternating ω-branching programs
virtual machine architecture for creating IT security labs, A
Virtualisierung und Cloud Computing Konzepte, Technologiestudie, Marktübersicht
VisBDD - a web based visualization framework for OBDDs
Wie das Internet funktioniert
WWW.BDD-Portal.ORG an experimentation platform for binary decision diagram algorithms
WWW Kommunikation, Internetworking, Web-Technologien ; mit 106 Tabellen
WWW meets EDA usability evaluation of OBDD heuristics via the internet, The
Zum Entwurf hochintegrierter Spezialschaltkreise
Notes: 
Sources: 
VIAF BNF DNB LC NKC NTA NUKAT SUDOC WKP