Searching for authors named "Christoph Meinel" – sorted by Relevance.
109 documents found, showing 1 through 10.
Next 10 →
-
Course management in the twinkle of an eye - lcms: a professional course management system
- … Christoph Meinel FB IV - Informatik Universität Trier D-54286Trier, Germany ++49(651)201-2827 meinel…
- Cited by 1 (0 self) – Add To MetaCart
-
Linear sifting of decision diagrams
- …Abstract Linear Sifting of Decision Diagrams y Christoph Meinel FB IV { Informatik, Universitat…
- Cited by 18 (6 self) – Add To MetaCart
-
Tele-Lab IT Security: A Means to Build Security Laboratories on the Web
- …Tele-Lab IT Security: A Means to Build Security Laboratories on the Web Ji Hu, Christoph Meinel…
- Add To MetaCart
-
⊕-OBDDs - a BDD Structure for Probabilistic Verification
- …, pp. 141--151 \Phi-OBDDs - a BDD Structure for Probabilistic Verification Christoph Meinel, Harald…
- Add To MetaCart
-
Case Study: Manipulating ⊕-OBDDs by Means of Signatures
- …Case Study: Manipulating \Phi-OBDDs by Means of Signatures Christoph Meinel, Harald Sack FB IV…
- Add To MetaCart
-
Algorithmic Considerations for ⊕-OBDD Reordering
- … Reordering Christoph Meinel, Harald Sack FB IV - Informatik, Universitat Trier D-54286 Trier, Germany email…
- Add To MetaCart
-
Dynamic Global Rebuilding
- …Dynamic Global Rebuilding Christoph Meinel Anna Slobodov'a FB IV -- Informatik, Universitat Trier…
- Add To MetaCart
-
Probabilistic Symbolic Simulation and Verification with ⊕-OBDDs
- …Probabilistic Symbolic Simulation and Verification with \Phi-OBDDs Christoph Meinel, Harald Sack…
- Add To MetaCart
-
Heuristics for ⊕-OBDD Minimization
- … Tahoe, CA, USA, June 2001, pp. 304-309. Heuristics for -OBDD Minimization Christoph Meinel, Harald…
- Add To MetaCart
-
Functional Extension of Decision Diagrams in Practice
- … Harald Sack, Christoph Meinel FB IV - Informatik Universitat Trier D-54286 Trier fsack…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
