• Selma Lagerløfs Vej 300, 5-2-36

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

20032019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 2003 2018

Filter
Bidrag til bog/antologi
2017

Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking

Ravn, A. P., Thomsen, B., Søe Luckow, K., Thomsen, L. L. & Bøgholm, T., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (red.). Cham: Springer, s. 269-288 20 s. (Lecture Notes in Computer Science, Bind 10460).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

2008
1 Citation (Scopus)

Mini Project Programming Exams

Nørmark, K., Thomsen, L. L. & Torp, K., 2008, Reflections on the Teaching of Programming. Bennedsen, J., Caspersen, M. & Kölling, M. (red.). Berlin Heidelberg: Springer, s. 228-242 (Lecture Notes in Computer Science : Programming and Software Engineering; Nr. 4821).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

programming
syllabus
fraud
realism
computer science
2003

Software - til verdens mindste og verdens største computer

Larsen, K. G., Thomsen, L. L. & Thomsen, B., 2003, Trends i ITEK-Sektoren. Sarborg Pedersen, John : Ørum Larsen, Lars (red.) (red.). Kbh. : ITEK: Denmark., s. 21-26 (ITEK rapport).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning