Publikationer pr. år
Publikationer pr. år
Publikationer
- 4 resultater
Søgeresultater
-
Analyzing spreadsheets for parallel execution via model checking
Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, s. 27-35 9 s. (Lecture Notes in Computer Science, Bind 11200).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
2 Citationer (Scopus) -
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 proceeding › Bidrag til bog/antologi › Forskning › peer review
-
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 proceeding › Bidrag til bog/antologi › Forskning
-
Using On-Line Tutorials in Introductory IT Courses
Thomsen, B., 2008, Reflections on the Teaching of Programming. Bennedsen, J., Caspersen, M. & Kölling, M. (red.). Berlin Heidelberg: Springer, s. 68-74 (Lecture Notes in Computer Science : Programming and Software Engineering; Nr. 4821).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning
4 Citationer (Scopus)