( en | de | ru )

 

Disambiguation of "Raynaud, Yves"

Author of the publication

copydeleteadd this publication to your clipboard
Quantifier elimination in the theory of Lp(Lq) Banach lattices.

, and . J. Logic & Analysis, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Guillaume Raynaud

Franziska Raynaud-Matheis

Yves Robert

Yves Matthess

Yves Steinmetz

 

Other publications of authors with the same name

A generic multi-agent conceptual framework towards self-management., , and . NOMS, page 394-403. IEEE, (2006)A KQML-CORBA based architecture for intelligent agents communication in cooperative service and network management., , and . MMNS, volume 112 of IFIP Conference Proceedings, page 95-106. Chapman & Hall, (1997)APL as a compiler-writing language., and . ACM SIGAPL APL Quote Quad, 16 (1): 7-10 (1985)Quantifier elimination in the theory of Lp(Lq) Banach lattices., and . J. Logic & Analysis, (2011)An active CIM dependency pattern for a consistent service state monitoring., , , and . NOMS (1), page 883-884. IEEE, (2004)COBALT: an architecture for intelligent agent-based management., , and . NOMS, page 670-676. IEEE, (1998)Flow control in ATM based local area networks., and . HPN, volume 29 of IFIP Conference Proceedings, page 57-70. Chapman & Hall, (1995)Performance Evaluation for the Specification of Communicative Objects within a Cooperative GIS., , and . Applied Informatics, page 184-191. IASTED/ACTA Press, (1994)A generic conceptual framework for self-managed environments., , and . Net-Con, volume 229 of IFIP, page 131-136. Springer, (2005)Introducing Rigorous Metrics Specification and Verification into a Measurement Program., , and . IEEE METRICS, page 12-19. IEEE Computer Society, (1997)