2008 |
20 | EE | Philippe Jorrand,
Simon Perdrix:
Towards a Quantum Calculus: (Work in Progress, Extended Abstract).
Electr. Notes Theor. Comput. Sci. 210: 75-83 (2008) |
2007 |
19 | EE | Philippe Jorrand:
Quantum information processing and communication: the computer science perspective.
ACM Southeast Regional Conference 2007: 509 |
18 | EE | Philippe Jorrand:
The quantum challenge to computer science.
Conf. Computing Frontiers 2007: 195-196 |
2006 |
17 | EE | Simon Perdrix,
Philippe Jorrand:
Classically-controlled Quantum Computation.
Electr. Notes Theor. Comput. Sci. 135(3): 119-128 (2006) |
16 | EE | Sylvain Gravier,
Philippe Jorrand,
Mehdi Mhalla,
Charles Payan:
Quantum Octal Games.
Int. J. Found. Comput. Sci. 17(4): 919-932 (2006) |
15 | EE | Simon Perdrix,
Philippe Jorrand:
Classically controlled quantum computation.
Mathematical Structures in Computer Science 16(4): 601-620 (2006) |
2004 |
14 | EE | Philippe Jorrand,
Marie Lalire:
Toward a quantum process algebra.
Conf. Computing Frontiers 2004: 111-119 |
13 | EE | Philippe Jorrand,
Marie Lalire:
From Quantum Physics to Programming Languages: A Process Algebraic Approach.
UPP 2004: 1-16 |
12 | EE | Marie Lalire,
Philippe Jorrand:
A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics
CoRR quant-ph/0407005: (2004) |
2003 |
11 | EE | Philippe Jorrand,
Mehdi Mhalla:
Separability Of Pure N-Qubit States: Two Characterizations.
Int. J. Found. Comput. Sci. 14(5): 797-814 (2003) |
1993 |
10 | | Philippe 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 |
6 | | Philippe 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 |