BibTeX records: Philippe Jorrand

download as .bib file

@inproceedings{DBLP:conf/ACMse/Jorrand07,
  author       = {Philippe Jorrand},
  editor       = {David John and
                  Sandria N. Kerr},
  title        = {Quantum information processing and communication: the computer science
                  perspective},
  booktitle    = {Proceedings of the 45th Annual Southeast Regional Conference, 2007,
                  Winston-Salem, North Carolina, USA, March 23-24, 2007},
  pages        = {509},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1233341.1233435},
  doi          = {10.1145/1233341.1233435},
  timestamp    = {Fri, 12 Mar 2021 15:27:48 +0100},
  biburl       = {https://dblp.org/rec/conf/ACMse/Jorrand07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cf/Jorrand07,
  author       = {Philippe Jorrand},
  editor       = {Utpal Banerjee and
                  Jos{\'{e}} Moreira and
                  Michel Dubois and
                  Per Stenstr{\"{o}}m},
  title        = {The quantum challenge to computer science},
  booktitle    = {Proceedings of the 4th Conference on Computing Frontiers, 2007, Ischia,
                  Italy, May 7-9, 2007},
  pages        = {195--196},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1242531.1242534},
  doi          = {10.1145/1242531.1242534},
  timestamp    = {Mon, 06 Dec 2021 16:37:01 +0100},
  biburl       = {https://dblp.org/rec/conf/cf/Jorrand07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GravierJMP06,
  author       = {Sylvain Gravier and
                  Philippe Jorrand and
                  Mehdi Mhalla and
                  Charles Payan},
  title        = {Quantum Octal Games},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {919--932},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004182},
  doi          = {10.1142/S0129054106004182},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/GravierJMP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PerdrixJ06,
  author       = {Simon Perdrix and
                  Philippe Jorrand},
  title        = {Classically controlled quantum computation},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {16},
  number       = {4},
  pages        = {601--620},
  year         = {2006},
  url          = {https://doi.org/10.1017/S096012950600538X},
  doi          = {10.1017/S096012950600538X},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/PerdrixJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JorrandP08,
  author       = {Philippe Jorrand and
                  Simon Perdrix},
  editor       = {Peter Selinger},
  title        = {Towards a Quantum Calculus: (Work in Progress, Extended Abstract)},
  booktitle    = {Proceedings of the 4th International Workshop on Quantum Programming
                  Languages, {QPL} 2006, Oxford, UK, July 17-19, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {210},
  pages        = {75--83},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.019},
  doi          = {10.1016/J.ENTCS.2008.04.019},
  timestamp    = {Mon, 13 Feb 2023 14:33:04 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JorrandP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PerdrixJ06,
  author       = {Simon Perdrix and
                  Philippe Jorrand},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {Classically-controlled Quantum Computation},
  booktitle    = {Proceedings of the First International Workshop on Developments in
                  Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {3},
  pages        = {119--128},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.09.026},
  doi          = {10.1016/J.ENTCS.2005.09.026},
  timestamp    = {Thu, 15 Dec 2022 14:14:49 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PerdrixJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cf/JorrandL04,
  author       = {Philippe Jorrand and
                  Marie Lalire},
  editor       = {Stamatis Vassiliadis and
                  Jean{-}Luc Gaudiot and
                  Vincenzo Piuri},
  title        = {Toward a quantum process algebra},
  booktitle    = {Proceedings of the First Conference on Computing Frontiers, 2004,
                  Ischia, Italy, April 14-16, 2004},
  pages        = {111--119},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/977091.977108},
  doi          = {10.1145/977091.977108},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cf/JorrandL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/upp/JorrandL04,
  author       = {Philippe Jorrand and
                  Marie Lalire},
  editor       = {Jean{-}Pierre Ban{\^{a}}tre and
                  Pascal Fradet and
                  Jean{-}Louis Giavitto and
                  Olivier Michel},
  title        = {From Quantum Physics to Programming Languages: {A} Process Algebraic
                  Approach},
  booktitle    = {Unconventional Programming Paradigms, International Workshop {UPP}
                  2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised
                  Selected and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3566},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11527800\_1},
  doi          = {10.1007/11527800\_1},
  timestamp    = {Thu, 17 Aug 2023 17:06:47 +0200},
  biburl       = {https://dblp.org/rec/conf/upp/JorrandL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/quant-ph-0407005,
  author       = {Marie Lalire and
                  Philippe Jorrand},
  title        = {A Process Algebraic Approach to Concurrent and Distributed Quantum
                  Computation: Operational Semantics},
  journal      = {CoRR},
  volume       = {quant-ph/0407005},
  year         = {2004},
  url          = {http://arxiv.org/abs/quant-ph/0407005},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/quant-ph-0407005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/JorrandM03,
  author       = {Philippe Jorrand and
                  Mehdi Mhalla},
  title        = {Separability Of Pure N-Qubit States: Two Characterizations},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {14},
  number       = {5},
  pages        = {797--814},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129054103002035},
  doi          = {10.1142/S0129054103002035},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/JorrandM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Jorrand93,
  author       = {Philippe Jorrand},
  editor       = {Dines Bj{\o}rner and
                  Manfred Broy and
                  Igor V. Pottosin},
  title        = {Communication as Unification in Process Algebras: Operational Semantics
                  (Invited Paper)},
  booktitle    = {Formal Methods in Programming and Their Applications, International
                  Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2,
                  1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {735},
  pages        = {190--216},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0039709},
  doi          = {10.1007/BFB0039709},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Jorrand93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fair/1991,
  editor       = {Philippe Jorrand and
                  Jozef Kelemen},
  title        = {Fundamentals of Artificial Intelligence Research, International Workshop
                  {FAIR} '91, Smolenice, Czechoslovakia, September 8-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {535},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54507-7},
  doi          = {10.1007/3-540-54507-7},
  isbn         = {3-540-54507-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fair/1991.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BelmeskHJ90,
  author       = {Mounira Belmesk and
                  Zineb Habbas and
                  Philippe Jorrand},
  editor       = {Bertram Fronh{\"{o}}fer and
                  Graham Wrightson},
  title        = {A Process Algebra over the Herbrand Universe: Application to Parallelism
                  in Automated Deduction},
  booktitle    = {Parallelization in Inference Systems, International Workshop, Dagstuhl
                  Castle, Germany, December 17-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {590},
  pages        = {163--181},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-55425-4\_7},
  doi          = {10.1007/3-540-55425-4\_7},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BelmeskHJ90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aimsa/1990,
  editor       = {Philippe Jorrand and
                  Vassil Stoyanov Sgurev},
  title        = {Artificial Intelligence {IV:} Methodology, Systems, Applications -
                  Proceedings of the Fourth International Conference on Artificial Intelligence:
                  Methodology, Systems, Applications, {AIMSA} 1990, Albena, Bulgaria,
                  September 19-22, 1990},
  publisher    = {North-Holland},
  year         = {1990},
  isbn         = {0-444-88771-7},
  timestamp    = {Thu, 16 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aimsa/1990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Jorrand87,
  author       = {Philippe Jorrand},
  editor       = {Rolf Nossum},
  title        = {Fundamental Mechanisms for Artificial Intelligence Programming Language
                  - An Introduction},
  booktitle    = {Advanced Topics in Artificial Intelligence, 2nd Advanced Course, {ACAI}
                  '87, Oslo, Norway, July 28 - August 7, 1987},
  series       = {Lecture Notes in Computer Science},
  volume       = {345},
  pages        = {1--40},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-50676-4\_8},
  doi          = {10.1007/3-540-50676-4\_8},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Jorrand87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Jorrand87,
  author       = {Philippe Jorrand},
  editor       = {J. W. de Bakker and
                  A. J. Nijman and
                  Philip C. Treleaven},
  title        = {Design and Implementaion of a Parallel Inference Machine for First
                  Order Logic: An Overview},
  booktitle    = {PARLE, Parallel Architectures and Languages Europe, Volume {I:} Parallel
                  Architectures, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {258},
  pages        = {434--445},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-17943-7\_143},
  doi          = {10.1007/3-540-17943-7\_143},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/Jorrand87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aimsa/1986,
  editor       = {Philippe Jorrand and
                  Vassil Stoyanov Sgurev},
  title        = {Artificial Intelligence {II:} Methodology, Systems, Applications -
                  Proceedings of the Second International Conference on Artificial Intelligence:
                  Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria,
                  September 16-19, 1986},
  publisher    = {North-Holland},
  year         = {1987},
  isbn         = {0-444-70205-9},
  timestamp    = {Thu, 16 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aimsa/1986.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ac/1985ai,
  editor       = {Wolfgang Bibel and
                  Philippe Jorrand},
  title        = {Fundamentals of Artificial Intelligence: An Advanced Course, held
                  in Vignieu, France, July 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {232},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/BFb0022678},
  doi          = {10.1007/BFB0022678},
  isbn         = {3-540-16782-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/1985ai.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Jorrand85,
  author       = {Philippe Jorrand},
  editor       = {Wolfgang Bibel and
                  Philippe Jorrand},
  title        = {Term Rewriting as a Basis for the Design of a Functional and Parallel
                  Programming Language. {A} case study: the language {FP2}},
  booktitle    = {Fundamentals of Artificial Intelligence: An Advanced Course, held
                  in Vignieu, France, July 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {232},
  pages        = {221--276},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/BFb0022684},
  doi          = {10.1007/BFB0022684},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Jorrand85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/CaferraJ85,
  author       = {Ricardo Caferra and
                  Philippe Jorrand},
  editor       = {Bob F. Caviness},
  title        = {Unification in Parallel with Refined Linearity Test: An Example of
                  Recursive Network Structure in FP2, {A} Functional Parallel Programming
                  Language},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 2: Research Contributions},
  series       = {Lecture Notes in Computer Science},
  volume       = {204},
  pages        = {539--540},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15984-3\_326},
  doi          = {10.1007/3-540-15984-3\_326},
  timestamp    = {Tue, 29 Aug 2023 20:47:14 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/CaferraJ85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Jorrand84,
  author       = {Philippe Jorrand},
  editor       = {Wolfgang Bibel and
                  Boris Petkoff},
  title        = {{FP2:} Functional Parallel Programming Based on Term Substitution},
  booktitle    = {Artificial Intelligence: Methodology, Systems, Applications - Proceedings
                  of the International Conference on Artificial Intelligence: Methodology,
                  Systems, Applications, {AIMSA} 1984, Varna, Bulgaria, September 17-20,
                  1984},
  pages        = {95--112},
  publisher    = {North-Holland},
  year         = {1984},
  timestamp    = {Thu, 16 Mar 2017 14:35:43 +0100},
  biburl       = {https://dblp.org/rec/conf/aimsa/Jorrand84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsym/Jorrand77,
  author       = {Philippe Jorrand},
  editor       = {E. Morlet and
                  D. Ribbens},
  title        = {Very High Level Languages - Some Aspects of the Evolution of Language
                  Design},
  booktitle    = {International Computing Symposium 1977, Proceedings of the International
                  Computing Symposium 1977, Li{\`{e}}ge, Belgium, 4-7 April 1977 (Preprint)},
  pages        = {61--75},
  publisher    = {North-Holland},
  year         = {1977},
  timestamp    = {Tue, 01 Apr 2003 10:45:57 +0200},
  biburl       = {https://dblp.org/rec/conf/icsym/Jorrand77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Jorrand75,
  author       = {Philippe Jorrand},
  title        = {Contribution au d{\'{e}}veloppement des langages extensibles},
  school       = {Grenoble Institute of Technology, France},
  year         = {1975},
  url          = {https://tel.archives-ouvertes.fr/tel-00009193},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Jorrand75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/exla/Jorrand71,
  author       = {Philippe Jorrand},
  editor       = {Stephen A. Schuman},
  title        = {Data types and extensible languages},
  booktitle    = {Proceedings of the International Symposium on Extensible Languages,
                  Grenoble, France, September 6-8, 1971},
  pages        = {75--83},
  publisher    = {{ACM}},
  year         = {1971},
  url          = {https://doi.org/10.1145/800006.807986},
  doi          = {10.1145/800006.807986},
  timestamp    = {Tue, 01 Mar 2022 09:26:41 +0100},
  biburl       = {https://dblp.org/rec/conf/exla/Jorrand71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afips/SchumanJ70,
  author       = {Stephen A. Schuman and
                  Philippe Jorrand},
  title        = {Definition mechanisms in extensible programming languages},
  booktitle    = {American Federation of Information Processing Societies: Proceedings
                  of the {AFIPS} '70 Fall Joint Computer Conference, November 17-19,
                  1970, Houston, Texas, {USA}},
  series       = {{AFIPS} Conference Proceedings},
  volume       = {37},
  pages        = {9--20},
  publisher    = {{AFIPS} / {ACM}},
  year         = {1970},
  url          = {https://doi.org/10.1145/1478462.1478465},
  doi          = {10.1145/1478462.1478465},
  timestamp    = {Tue, 01 Jun 2021 15:22:48 +0200},
  biburl       = {https://dblp.org/rec/conf/afips/SchumanJ70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Jorrand69,
  author       = {Philippe Jorrand},
  title        = {Some aspects of Basel, the base language for an extensible language
                  facility},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {4},
  number       = {8},
  pages        = {14--17},
  year         = {1969},
  url          = {https://doi.org/10.1145/1115858.1115862},
  doi          = {10.1145/1115858.1115862},
  timestamp    = {Wed, 02 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigplan/Jorrand69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics