It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited anonymously
April 30, 2008 | History
Edit

Joost-Pieter Katoen

We need a photo of Joost-Pieter Katoen

10 works Add another?

  • Cover of: Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings

    First published in 2019 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Foundations of Probabilistic Programming

    First published in 2020 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science)

    First published in 2004 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Model-Based Testing of Reactive Systems: Advanced Lectures

    First published in 2005 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings

    First published in 2003 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

    First published in 2017 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Formal Methods: 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings

    First published in 2023 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, the Netherlands, July 3-7, 2000. Revised Lectures

    First published in 2003 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

    First published in 2011 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

  • Cover of: Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings

    First published in 1999 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

We need a photo of Joost-Pieter Katoen

Subjects

Computer Communication Networks, Computer science, Logic design, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software engineering, Artificial Intelligence (incl. Robotics), Artificial intelligence, Computer networks, Computer science, mathematics, Computer simulation, Computer software, testing, Electronic data processing, Information Systems Applications (incl.Internet), Information systems, Logic, symbolic and mathematical, Parallel processing (electronic computers), Special Purpose and Application-Based Systems, Stochastic analysis, Stochastic processes, Stochastic systems, Technology

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL3401145A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 30, 2008 Created by an anonymous user initial import