Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 31.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000900 | WANJUN HUANG [Allemagne] ; XINHUA ZHANG [Allemagne] ; Uwe Roth [Allemagne] ; Christoph Meinel [Allemagne] | Routing based workflow for construction of distributed applications |
| 000935 | Mohammad Ghasemzadeh [Allemagne] ; Volker Klotz [Allemagne] ; Christoph Meinel [Allemagne] | Embedding memoization to the semantic tree search for deciding QBFs |
| 000944 | LONG WANG [Allemagne] ; Christoph Meinel [Allemagne] | Behaviour recovery and complicated pattern definition in web usage mining |
| 000945 | Serge Linckels [Allemagne] ; Christoph Meinel [Allemagne] | Automatic interpretation of natural language for a multimedia E-learning tool |
| 000A33 | WANJUN HUANG [Allemagne] ; Uwe Roth [Allemagne] ; Christoph Meinel [Allemagne] | A flexible middleware platform with piped workflow |
| 000A34 | Volker Schillings [Allemagne] ; Christoph Meinel [Allemagne] | tele-TASK: Teleteaching Anywhere Solution Kit |
| 000A57 | Christoph Meinel [Allemagne] ; Harald Sack [Allemagne] ; Arno Wagner [Suisse] | WWW.BDD-Portal.ORG: An experimentation platform for binary decision diagram algorithms |
| 000B26 | Christoph Meinel [Allemagne] ; Christian Stangier [Allemagne] | Algorithms and heuristics in VLSI design |
| 000C06 | Christoph Meinel [Allemagne] ; Christian Stangier [Allemagne] | Data structures for Boolean functions BDDs: Foundations and applications |
| 000C48 | Ernst-Georg Haffner [Allemagne] ; Uwe Roth [Allemagne] ; Andreas Heuer [Allemagne] ; Thomas Engel [Allemagne] ; Christoph Meinel [Allemagne] | What do hyperlink-proposals and request-prediction have in common? |
| 000C57 | Christoph Meinel [Allemagne] ; Christian Stangier [Allemagne] | Speeding up image computation by using RTL information |
| 000C89 | Christoph Meinel [Allemagne] ; F. Somenzi ; T. Theobald | Linear sifting of decision diagrams and its application in synthesis |
| 000D08 | L. Vorwerk [Allemagne] ; F. Losemann [Allemagne] ; T. Engel [Allemagne] ; Christoph Meinel [Allemagne] | Constructing a secure HIPACS with Structured Reporting |
| 000D21 | E.-G. Haffner [Allemagne] ; A. Heuer [Allemagne] ; U. Roth [Allemagne] ; T. Engel [Allemagne] ; Christoph Meinel [Allemagne] | Advanced studies on link proposals and knowledge retrieval of hypertexts with CBR |
| 000D22 | L. Vorwerk [Allemagne] ; T. Engel [Allemagne] ; Christoph Meinel [Allemagne] | A proposal for a combination of compression and encryption |
| 000D72 | Christoph Meinel [Allemagne] ; T. Theobald [Allemagne] | On the influence of the state encoding on OBDD-representations of finite state machines |
| 000E52 | J. Bern [Allemagne] ; Christoph Meinel [Allemagne] ; H. Sack [Allemagne] | The STACS electronic submission service |
| 000E56 | Christoph Meinel [Allemagne] ; C. Stangier [Allemagne] | Speeding up symbolic model checking |
| 000E60 | A. Slobodova [États-Unis, Slovaquie] ; Christoph Meinel [Allemagne] | Sample method for minimization of OBDDs |
| 000F21 | S. Hludov [Allemagne] ; C. Schröter [Allemagne] ; Christoph Meinel [Allemagne] | Adaptive compression of image data |
| 000F22 | S. Hludov [Allemagne] ; T. Engel [Allemagne] ; Christoph Meinel [Allemagne] | Adaptive compression of DICOM-image data |
| 000F44 | Christoph Meinel [Allemagne] ; T. Engel [Allemagne] | Institut für Telematik (Trier) : angewandte Forschung nach Fraunhofer Ideal |
| 000F88 | Christoph Meinel [Allemagne] ; A. Slobodov | Unifying theoretical background for some BDD-based data structures |
| 001004 | J. Bern [Allemagne] ; C. Damm [Allemagne] ; Christoph Meinel [Allemagne] | The Electronic Colloquium on Computational Complexity (ECCC) : A digital library in use |
| 001028 | Christoph Meinel [Allemagne] ; T. Theobald [Allemagne] | On the influence of the state encoding on OBDD-representations of finite state machines |
| 001083 | Christoph Meinel [Allemagne] ; A. Slobodova [Allemagne] | A reducibility concept for problems defined in terms of ordered binary decision diagrams |
| 001191 | J. Bern [Allemagne] ; Christoph Meinel [Allemagne] ; A. Slobodova [Allemagne] | Some heuristics for generating tree-like FBDD types |
| 001200 | Christoph Meinel [Allemagne] ; T. Theobald [Allemagne] | Local encoding transformations for optimizing OBDD-representations of finite state machines |
| 001209 | J. Bern [Allemagne] ; Christoph Meinel [Allemagne] ; A. Slobodova [Allemagne] | Global rebuilding of OBDD's avoiding memory requirement maxima |
| 001334 | J. Gergov [Allemagne] ; Christoph Meinel [Allemagne] | On the complexity of analysis and manipulation of Boolean functions in terms of decision graphs |
| 001342 | J. Gergov [Allemagne] ; Christoph Meinel [Allemagne] | Efficient boolean manipulation with OBDD's can be extended to FBDD's |
| This area was generated with Dilib version V0.6.31. |  |