Christoph Leuschner < Christoph Meinel < Christoph Menke

Facettes :

List of bibliographic references

Number of relevant bibliographic references: 32.
[0-20] [0 - 20][0 - 32][20-31][20-40]

Ident.	Authors (with country if any)	Title
000850 (2005)	LONG WANG [Allemagne] ; Christoph Meinel [Allemagne] ; CHUNNIAN LIU [République populaire de Chine]	Discovering characteristic individual accessing behaviors in web environment
000900 (2004)	WANJUN HUANG [Allemagne] ; XINHUA ZHANG [Allemagne] ; Uwe Roth [Allemagne] ; Christoph Meinel [Allemagne]	Routing based workflow for construction of distributed applications
000935 (2004)	Mohammad Ghasemzadeh [Allemagne] ; Volker Klotz [Allemagne] ; Christoph Meinel [Allemagne]	Embedding memoization to the semantic tree search for deciding QBFs
000944 (2004)	LONG WANG [Allemagne] ; Christoph Meinel [Allemagne]	Behaviour recovery and complicated pattern definition in web usage mining
000945 (2004)	Serge Linckels [Allemagne] ; Christoph Meinel [Allemagne]	Automatic interpretation of natural language for a multimedia E-learning tool
000A33 (2003)	WANJUN HUANG [Allemagne] ; Uwe Roth [Allemagne] ; Christoph Meinel [Allemagne]	A flexible middleware platform with piped workflow
000A34 (2003)	Volker Schillings [Allemagne] ; Christoph Meinel [Allemagne]	tele-TASK: Teleteaching Anywhere Solution Kit
000A57 (2002)	Christoph Meinel [Allemagne] ; Harald Sack [Allemagne] ; Arno Wagner [Suisse]	WWW.BDD-Portal.ORG: An experimentation platform for binary decision diagram algorithms
000B26 (2002)	Christoph Meinel [Allemagne] ; Christian Stangier [Allemagne]	Algorithms and heuristics in VLSI design
000C06 (2001)	Christoph Meinel [Allemagne] ; Christian Stangier [Allemagne]	Data structures for Boolean functions BDDs: Foundations and applications
000C48 (2000)	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 (2000)	Christoph Meinel [Allemagne] ; Christian Stangier [Allemagne]	Speeding up image computation by using RTL information
000C89 (2000)	Christoph Meinel [Allemagne] ; F. Somenzi ; T. Theobald	Linear sifting of decision diagrams and its application in synthesis
000D08 (2000)	L. Vorwerk [Allemagne] ; F. Losemann [Allemagne] ; T. Engel [Allemagne] ; Christoph Meinel [Allemagne]	Constructing a secure HIPACS with Structured Reporting
000D21 (2000)	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 (2000)	L. Vorwerk [Allemagne] ; T. Engel [Allemagne] ; Christoph Meinel [Allemagne]	A proposal for a combination of compression and encryption
000D72 (1999)	Christoph Meinel [Allemagne] ; T. Theobald [Allemagne]	On the influence of the state encoding on OBDD-representations of finite state machines
000E52 (1998)	J. Bern [Allemagne] ; Christoph Meinel [Allemagne] ; H. Sack [Allemagne]	The STACS electronic submission service
000E56 (1998)	Christoph Meinel [Allemagne] ; C. Stangier [Allemagne]	Speeding up symbolic model checking
000E60 (1998)	A. Slobodova [États-Unis, Slovaquie] ; Christoph Meinel [Allemagne]	Sample method for minimization of OBDDs
000F21 (1998)	S. Hludov [Allemagne] ; C. Schröter [Allemagne] ; Christoph Meinel [Allemagne]	Adaptive compression of image data

---

List of associated FC03.fr.i

Nombre de documents	Descripteur
8	Diagramme binaire décision
8	Fonction booléenne
8	Structure donnée
5	Conception assistée
5	Internet
4	Algorithme
4	Conception circuit
3	Circuit intégré
3	Compression donnée
3	Graphe
3	Méthode heuristique
3	Optimisation
3	Routage
3	Réseau web
3	Traitement image
3	Transformation ondelette
3	Vérification formelle
2	Algorithme réparti
2	Automate fini
2	Bibliothèque électronique
2	Circuit VLSI
2	Classification
2	Codage
2	Collecticiel
2	Complexité
2	Complexité calcul
2	Comportement utilisateur
2	Fouille donnée
2	Implémentation
2	Modélisation
2	Multimédia
2	Méthode arborescente
2	Performance algorithme
2	Site Web
2	Synthèse circuit
2	Système expert
2	Système information
2	Sémantique
2	Transformation mathématique
2	Vérification
2	Workflow
1	0705P
1	4230V
1	Accès séquentiel
1	Acte congrès
1	Algorithme adaptatif
1	Algorithme apprentissage
1	Algorithme recherche
1	Algèbre Boole
1	Algèbre matricielle
1	Analyse atteignabilité
1	Analyse donnée
1	Analyse forme
1	Analyse spectre
1	Antémémoire
1	Arbre recherche
1	Architecture logiciel
1	Architecture reconfigurable
1	Architecture système
1	Article
1	Association statistique
1	Atteignabilité
1	Banque image
1	Base connaissance
1	Boolean manipulator
1	Borne inférieure
1	Borne supérieure
1	CA circuit design
1	Calcul
1	Calcul réparti
1	Circuit combinatoire
1	Circuit décision
1	Circuit numérique
1	Circuit séquentiel
1	Code Gray
1	Combinational circuit
1	Communication
1	Conception intégrée
1	Confidentialité
1	Congrès
1	Connaissance
1	Contrôle information
1	Contrôleur
1	Cryptographie
1	Diagramme décision binaire
1	Diagramme état
1	Diffusion information
1	Document publié
1	Document électronique
1	Donnée textuelle
1	Décomposition domaine
1	Démonstration automatique
1	ECCC (Electronic Colloquium on Computational Complexity)
1	Echantillonnage
1	Enseignement
1	Enseignement assisté par ordinateur
1	Enseignement à distance
1	Espace état
1	Etude expérimentale
1	Etude théorique

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i -k "Christoph Meinel" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "Christoph Meinel" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Rhénanie
   |area=    UnivTrevesV1
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Christoph Meinel
}}

---

This area was generated with Dilib version V0.6.31. Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024