dblp.uni-trier.dewww.uni-trier.de

Philippe Jorrand Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
20EEPhilippe Jorrand, Simon Perdrix: Towards a Quantum Calculus: (Work in Progress, Extended Abstract). Electr. Notes Theor. Comput. Sci. 210: 75-83 (2008)
2007
19EEPhilippe Jorrand: Quantum information processing and communication: the computer science perspective. ACM Southeast Regional Conference 2007: 509
18EEPhilippe Jorrand: The quantum challenge to computer science. Conf. Computing Frontiers 2007: 195-196
2006
17EESimon Perdrix, Philippe Jorrand: Classically-controlled Quantum Computation. Electr. Notes Theor. Comput. Sci. 135(3): 119-128 (2006)
16EESylvain Gravier, Philippe Jorrand, Mehdi Mhalla, Charles Payan: Quantum Octal Games. Int. J. Found. Comput. Sci. 17(4): 919-932 (2006)
15EESimon Perdrix, Philippe Jorrand: Classically controlled quantum computation. Mathematical Structures in Computer Science 16(4): 601-620 (2006)
2004
14EEPhilippe Jorrand, Marie Lalire: Toward a quantum process algebra. Conf. Computing Frontiers 2004: 111-119
13EEPhilippe Jorrand, Marie Lalire: From Quantum Physics to Programming Languages: A Process Algebraic Approach. UPP 2004: 1-16
12EEMarie Lalire, Philippe Jorrand: A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics CoRR quant-ph/0407005: (2004)
2003
11EEPhilippe Jorrand, Mehdi Mhalla: Separability Of Pure N-Qubit States: Two Characterizations. Int. J. Found. Comput. Sci. 14(5): 797-814 (2003)
1993
10EEPhilippe Jorrand: Communication as Unification in Process Algebras: Operational Semantics (Invited Paper). Formal Methods in Programming and Their Applications 1993: 190-216
1991
9 Philippe Jorrand, Jozef Kelemen: Fundamentals of Artificial Intelligence Research, International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991, Proceedings Springer 1991
1990
8 Mounira Belmesk, Zineb Habbas, Philippe Jorrand: A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 163-181
1987
7 Philippe Jorrand: Fundamental Mechanisms for Artificial Intelligence Programming Language - An Introduction. Advanced Topics in Artificial Intelligence 1987: 1-40
6EEPhilippe Jorrand: Design and Implementaion of a Parallel Inference Machine for First Order Logic: An Overview. PARLE (1) 1987: 434-445
1986
5 Wolfgang Bibel, Philippe Jorrand: Fundamentals of Artificial Intelligence: An Advanced Course, held in Vignieu, France, July 1985 Springer 1986
1985
4 Philippe Jorrand: Term Rewriting as a Basis for the Design of a Functional and Parallel Programming Language. A case study: the language FP2. Advanced Course: Fundamentals of Artificial Intelligence 1985: 221-276
3 Ricardo Caferra, Philippe Jorrand: Unification in Parallel with Refined Linearity Test: An Example of Recursive Network Structure in FP2, A Functional Parallel Programming Language. European Conference on Computer Algebra (2) 1985: 539-540
1984
2 Philippe Jorrand: FP2: Functional Parallel Programming Based on Term Substitution. AIMSA 1984: 95-112
1977
1 Philippe Jorrand: Very High Level Languages - Some Aspects of the Evolution of Language Design. International Computing Symposium 1977: 61-75

Coauthor Index

1Mounira Belmesk [8]
2Wolfgang Bibel [5]
3Ricardo Caferra [3]
4Sylvain Gravier [16]
5Zineb Habbas [8]
6Jozef Kelemen [9]
7Marie Lalire [12] [13] [14]
8Mehdi Mhalla [11] [16]
9Charles Payan [16]
10Simon Perdrix [15] [17] [20]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)