Billede af Ulrik Nyman

Vis Scopus-profil

Ulrik Nyman

Lektor

 https://orcid.org/0000-0001-6430-540X

  • Selma Lagerløfs Vej 300, 2-2-38

    9220 Aalborg Øst

    Danmark

  • Selma Lagerløfs Vej 300, 2-2-38

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

20032024

Publikationer pr. år

Filter
Bidrag til bog/antologi

Søgeresultater

  • 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. (red.). Springer, s. 175-192 18 s. (Lecture Notes in Computer Science, Bind 7137).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil
    4 Citationer (Scopus)
    533 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. (red.). IEEE Computer Society Press, s. 64-79 16 s. (Lecture Notes in Computer Science; Nr. 4421).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil
    204 Citationer (Scopus)
    482 Downloads (Pure)