Research output

Research output per year 1986 2020

• 2824 Citations
• 25 h-Index
• 102 Conference contribution
• 38 Article
• 19 Other contribution
• 10 Chapter
• 24 More
  • 4 Book
  • 4 Other report
  • 4 Paper
  • 2 Commissioned report
  • 2 Chapter (peer-reviewed)
  • 2 Poster
  • 2 Conference article
  • 1 Scholarly edition
  • 1 Editorial
  • 1 Literature review
  • 1 Working paper

Research output per year

Research output per year

Search results

• 2005

  Class-Level Behavioral Modeling and Synthesis

  Bontemps, Y., Heymans, P., Saval, G., Schobbens, P-Y. & Trigaux, J-C., 2005, Namur, Belgium: University of Namur, Computer Science Institute.

  Research output: Book/Report/Journal › Other report

• 1999

  Axioms for real-time logics

  Henzinger, T., Raskin, J-F. & Schobbens, P-Y., 1999, Saarbrücken (Germany): Max-Planck-Institut für Informatik.

  Research output: Book/Report/Journal › Other report

• The formal semantics of Albert II

  Chabot, F., Ferier, L., Raskin, J-F. & Schobbens, P-Y., 1999, Namur: FUNDP Institut d'Informatique.

  Research output: Book/Report/Journal › Other report

• The logic of event clocks

  Schobbens, P-Y. & Raskin, J-F., 1999, Saarbrücken (Germany): Max-Planck-Institut für Informatik.

  Research output: Book/Report/Journal › Other report