Philippe Jorrand

According to our database, Philippe Jorrand authored at least 21 papers between 1969 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2007

The quantum challenge to computer science.

Philippe Jorrand

Proceedings of the 4th Conference on Computing Frontiers, 2007

Quantum information processing and communication: the computer science perspective.

Philippe Jorrand

Proceedings of the 45th Annual Southeast Regional Conference, 2007

2006

Quantum Octal Games.

Sylvain Gravier, Philippe Jorrand, Mehdi Mhalla, Charles Payan

Int. J. Found. Comput. Sci., 2006

Towards a Quantum Calculus: (Work in Progress, Extended Abstract).

Philippe Jorrand, Simon Perdrix

Proceedings of the 4th International Workshop on Quantum Programming Languages, 2006

2005

Classically-controlled Quantum Computation.

Simon Perdrix, Philippe Jorrand

Proceedings of the First International Workshop on Developments in Computational Models, 2005

2004

A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics

Marie Lalire, Philippe Jorrand

CoRR, 2004

From Quantum Physics to Programming Languages: A Process Algebraic Approach.

Philippe Jorrand, Marie Lalire

Proceedings of the Unconventional Programming Paradigms, 2004

Toward a quantum process algebra.

Philippe Jorrand, Marie Lalire

Proceedings of the First Conference on Computing Frontiers, 2004

2003

Separability Of Pure N-Qubit States: Two Characterizations.

Philippe Jorrand, Mehdi Mhalla

Int. J. Found. Comput. Sci., 2003

1993

Communication as Unification in Process Algebras: Operational Semantics (Invited Paper).

Philippe Jorrand

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1990

A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction.

Mounira Belmesk, Zineb Habbas, Philippe Jorrand

Proceedings of the Parallelization in Inference Systems, 1990

1987

Design and Implementaion of a Parallel Inference Machine for First Order Logic: An Overview.

Philippe Jorrand

Proceedings of the PARLE, 1987

Fundamental Mechanisms for Artificial Intelligence Programming Language - An Introduction.

Philippe Jorrand

Proceedings of the Advanced Topics in Artificial Intelligence, 2nd Advanced Course, 1987

1985

Unification in Parallel with Refined Linearity Test: An Example of Recursive Network Structure in FP2, A Functional Parallel Programming Language.

Ricardo Caferra, Philippe Jorrand

Proceedings of the EUROCAL '85, 1985

Term Rewriting as a Basis for the Design of a Functional and Parallel Programming Language. A case study: the language FP2.

Philippe Jorrand

Proceedings of the Fundamentals of Artificial Intelligence: An Advanced Course, 1985

1984

FP2: Functional Parallel Programming Based on Term Substitution.

Philippe Jorrand

Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984

1977

Very High Level Languages - Some Aspects of the Evolution of Language Design.

Philippe Jorrand

Proceedings of the International Computing Symposium 1977, 1977

1975

Contribution au développement des langages extensibles.

Philippe Jorrand

PhD thesis, 1975

1971

Data types and extensible languages.

Philippe Jorrand

Proceedings of the International Symposium on Extensible Languages, 1971

1970

Definition mechanisms in extensible programming languages.

Stephen A. Schuman, Philippe Jorrand

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '70 Fall Joint Computer Conference, 1970

1969

Some aspects of Basel, the base language for an extensible language facility.

Philippe Jorrand

ACM SIGPLAN Notices, 1969