Ulrik Nyman

Research output

Research output per year 2003 2010 2012 2014 2015 2017 2018 2022 2023 2024

• 36 Article in proceeding
• 14 Journal article
• 5 Conference article in Journal
• 3 Book
• 11 More
  • 3 Working paper
  • 2 Book chapter
  • 1 Report
  • 1 Preface/Introduction/postscript
  • 1 Conference abstract for conference
  • 1 Review article
  • 1 PhD thesis
  • 1 Preprint

Research output per year

Research output per year

Search results

• 2012

  New Results on Timed Specifications

  Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. & Wasowski, A., 23 Feb 2012, Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Mossakowski, T. & Kreowski, H.-J. (eds.). Springer, p. 175-192 18 p. (Lecture Notes in Computer Science, Vol. 7137).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  Open Access

  File
  4 Citations (Scopus)

  538 Downloads (Pure)
• 2007

  Modal I/O Automata for Interface and Product Line Theories

  Larsen, K. G., Nyman, U. & Wasowski, A., 2007, Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007Braga, Portugal, March/April 2007, Proceedings. De Nicola, R. (ed.). IEEE Computer Society Press, p. 64-79 16 p. (Lecture Notes in Computer Science; No. 4421).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  Open Access

  File
  204 Citations (Scopus)

  486 Downloads (Pure)