Ed Brinksma

Research output

Research output per year 1987 1990 1991 1992 1993 1994 1995 1996 1997 1998 2001 2004 2005 2017

• 49 Conference contribution
• 30 Report
• 24 Article
• 15 Chapter
• 29 More
  • 14 Paper
  • 4 Book
  • 3 Book editing
  • 3 Other contribution
  • 2 Abstract
  • 1 Inaugural speech
  • 1 Conference article
  • 1 Working paper

Research output per year

Research output per year

Search results

• 2008

  Optimal infinite scheduling for multi-priced timed automata

  Bouyer, P., Brinksma, E. & Larsen, K. G., Feb 2008, In: Formal methods in system design. 32, 1, p. 3-23 21 p.

  Research output: Contribution to journal › Conference article › Academic › peer-review

  • Corner Point 100%
  • Wide Class 100%
  • Finite Graph 100%
  • Classes 100%
  • Modeling 100%
  55 Citations (Scopus)

  53 Downloads (Pure)