• Nijenborgh9, Gebouw 5161, ruimte 0376

    9747 AG Groningen

    Netherlands

If you made any changes in Pure these will be visible here soon.

Search results

  • 2012

    Linear Logical Relations for Session-Based Concurrency

    Pérez, J. A., Caires, L., Pfenning, F. & Toninho, B., 2012, Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, March 24 - April 1, 2012. Proceedings. Tallinn, Estonia, p. 539-558 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    30 Citations (Scopus)
  • Towards the Verification of Adaptable Processes

    Bravetti, M., Giusto, C. D., Pérez, J. A. & Zavattaro, G., 2012, 5th International Symposium, ISoLA 2012, October 15-18, 2012, Proceedings, Part I: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Heraklion, Crete, Greece, p. 269-283 15 p. (Lecture notes in computer science; vol. 7609).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Citations (Scopus)
  • 2011

    Adaptable Processes (Extended Abstract)

    Bravetti, M., Giusto, C. D., Pérez, J. A. & Zavattaro, G., 2011, Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, June 6-9, 2011. Proceedings: Formal Techniques for Distributed Systems. Reykjavik, Iceland, p. 90-105 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    6 Citations (Scopus)
  • On the expressiveness and decidability of higher-order process calculi

    Lanese, I., Perez, J. A., Sangiorgi, D. & Schmitt, A., Feb-2011, In: Information and Computation. 209, 2, p. 198-226 29 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    34 Citations (Scopus)
    48 Downloads (Pure)
  • Time and Exceptional Behavior in Multiparty Structured Interactions

    López, H. A. & Pérez, J. A., 2011, Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, September 1-2, 2011, Revised Selected Papers. Clermont-Ferrand, France, p. 48-63 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)
  • Type-Based Access Control in Data-Centric Systems

    Caires, L., Pérez, J. A., Seco, J. C., Vieira, H. T. & Ferrão, L., 2011, Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, March 26-April 3, 2011. Proceedings. Saarbrücken, Germany, p. 136-155 20 p. (Lecture notes in computer science; vol. 6602).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)
  • 2010

    Higher-Order Concurrency: Expressiveness and Decidability

    Pérez, J. A., 2010, In: Bulletin of the EATCS. 101, p. 92-124 33 p.

    Research output: Contribution to journalArticleAcademic

  • On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi

    Lanese, I., Pérez, J. A., Sangiorgi, D. & Schmitt, A., 2010, Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, July 6-10, 2010. Bordeaux, France, p. 442-453 12 p. (Lecture Notes in Computer Science; vol. 6199).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    22 Citations (Scopus)
  • Steps on the Road to Component Evolvability

    Bravetti, M., Giusto, C. D., Pérez, J. A. & Zavattaro, G., 2010, Formal Aspects of Component Software - 7th International Workshop, FACS 2010, October 14-16, 2010, Revised Selected Papers. Guimarães, Portugal, p. 295-299 5 p. ( Lecture Notes in Computer Science; vol. 6921).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
  • 2009

    An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems

    Aranda, J., Assayag, G., Olarte, C., Pérez, J. A., Rueda, C., Toro, M. & Valencia, F. D., 2009, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. p. 509-513 5 p. (Lecture Notes in Computer Science ; vol. 5649).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi

    Giusto, C. D. & Pérez, J. A., 2009, Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings.. p. 107-112 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • On the Expressiveness of Forwarding in Higher-Order Communication

    Giusto, C. D., Pérez, J. A. & Zavattaro, G., 2009, Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. p. 155-169 15 p. ( Lecture Notes in Computer Science; vol. 5684).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    11 Citations (Scopus)
  • On the Expressiveness of Polyadicity in Higher-Order Process Calculi

    Lanese, I., Pérez, J. A., Sangiorgi, D. & Schmitt, A., 2009, Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings.. p. 143-149 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Towards a Unified Framework for Declarative Structured Communications

    López, H. A., Olarte, C. & Pérez, J. A., 2009, Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009.. p. 1-15 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)
  • 2008

    Non-determinism and Probabilities in Timed Concurrent Constraint Programming

    Pérez, J. A. & Rueda, C., 2008, Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. p. 677-681 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)
  • On the Expressiveness and Decidability of Higher-Order Process Calculi

    Lanese, I., Pérez, J. A., Sangiorgi, D. & Schmitt, A., 2008, Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA. p. 145-155 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    22 Citations (Scopus)
  • Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming

    Aranda, J., Pérez, J. A., Rueda, C. & Valencia, F. D., 2008, Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. p. 682-686 5 p. ( Lecture Notes in Computer Science; vol. 5366).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • 2007

    Timed Concurrent Constraint Programming for Analysing Biological Systems

    Gutierrez, J., Pérez, J. A., Rueda, C. & Valencia, F. D., 2007, In: Electronic Notes in Theoretical Computer Science. 171, 2, p. 117-137 21 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    6 Citations (Scopus)
  • 2006

    A Declarative Framework for Security: Secure Concurrent Constraint Programming

    López, H. A., Palamidessi, C., Pérez, J. A., Rueda, C. & Valencia, F. D., 2006, Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. p. 449-450 2 p. (Lecture Notes in Computer Science; vol. 4079).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
  • 2005

    Implementing an Abstraction Framework for Soft Constraints

    Delgado, A., Pérez, J. A. & Rueda, C., 2005, Abstraction, Reformulation and Approximation, 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings. p. 60-75 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 2004

    An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine

    Delgado, A., Pérez, J. A., Pabón, G., Jordan, R., Díaz, J. F. & Rueda, C., 2004, Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers. p. 317-327 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
  • Implementing Semiring-Based Constraints Using Mozart

    Delgado, A., Olarte, C. A., Pérez, J. A. & Rueda, C., 2004, Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers. p. 224-236 13 p. ( Lecture Notes in Computer Science; vol. 3389).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    7 Citations (Scopus)