Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Crin)

Index « Auteurs » - entrée « Denis Roegel »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Denis Reboul < Denis Roegel < Denis Trystram  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 19. **** probable Xml problem ****
Ident.Authors (with country if any)Title
001732 (1995) Jean-Paul Gibson ; Dominique Méry ; Denis RoegelFormal Methods for Concurrency, Parallelism and Distribution
001C15 (1996) Denis RoegelSpecifying Almost-Real Concurrent Object-Oriented Programs
001E51 (1997) Denis RoegelStudy of the Semantics of ``Real'' Parallel Languages in TLA
001E52 (1997) Denis RoegelCreating 3D animations with METAPOST
001E53 (1997) Denis RoegelDetecting interference through graph reduction
002264 (1998) Jean-Michel Hufflen ; Denis Roegel ; Karl TombreGuide local (La)TeX du LORIA -- Millésime 1998
002445 (1998) Denis RoegelAnatomie d'une macro
002589 (1999) Peter Ladkin ; Leslie Lamport ; Bryan Olivier ; Denis RoegelLazy Caching in TLA
003109 (2001) Denis Roegel ; Scott SmolkaCode Generation From Hierarchical Concurrency Specifications
003110 (2001) Denis RoegelAnatomy of a macro
003111 (2001) Denis RoegelThe METAOBJ tutorial and reference manual
003112 (2001) Denis RoegelLa géométrie dans l'espace avec METAPOST
003113 (2001) Denis RoegelMETAPOST, l'intelligence graphique
003145 (2001) Denis RoegelSpace geometry with MetaPost
003589 (2002) Denis RoegelMETAOBJ : Very High-Level Objects in METAPOST
003984 (2003) Denis RoegelSolving Layout Problems Concurrently With TeX and Java
004034