• 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
Konferenceartikel i proceeding
2018

Analyzing spreadsheets for parallel execution via model checking

Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2018, (Accepteret/In press) Essays on the Occasion of Bernhard Steffen's 60th Birthday: Models, Mindsets, Meta: The What, the How, and the Why Not?.. Springer, Bind 11200. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
2016

Extending Software Transactional Memory in Clojure with Side-Effects and Transaction Control

Jensen, S. K. & Thomsen, L. L., 9 maj 2016, Proceedings of the 9th European Lisp Symposium. Durand, I. (red.). European Lisp Scientific Activities Association, s. 65-72 8 s. 8

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Data storage equipment
Functional programming
Computer programming languages
Program processors
2015
4 Citationer (Scopus)

From Safety Critical Java Programs to Timed Process Models

Thomsen, B., Luckow, K. S., Thomsen, L. L. & Bøgholm, T., 2015, Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Bodei, C., Ferrari, G-L. & Priami, C. (red.). Springer, s. 319-338 20 s. (Lecture Notes in Computer Science; Nr. 9465).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Semantics
Mobile agents
Computer programming languages
Algebra

Safety Critical Java for Robotics Programming

Thomsen, B., Luckow, K. S., Bøgholm, T., Thomsen, L. L. & Korsholm, S., 2015, The 3rd AAU Workshop on Robotics: Proceedings. Tan, Z-H., Bai, S., Bak, T., Rehm, M. & Jochum, E. A. (red.). Aalborg Universitetsforlag, s. 38-47 10 s. 6

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
2013
15 Citationer (Scopus)

SmartCampusAAU: An Open Platform Enabling Indoor Positioning and Navigation

Hansen, R., Thomsen, B., Thomsen, L. L. & Adamsen, F. S., jun. 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Volume 2. IEEE Computer Society Press, Bind 2. s. 33-38 6 s. (I E E E International Conference on Mobile Data Management. Proceedings, Bind 2).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2012

Object-oriented programming with gradual abstraction

Nørmark, K., Thomsen, L. L. & Thomsen, B., 22 okt. 2012, Proceedings of the 8th symposium on Dynamic languages. Warth, A. (red.). Association for Computing Machinery, s. 41 - 52 11 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2006

Matching Semantically Described Web Services Using Ontologies

Bidragets oversatte titel: Matching af semantisk beskrevede web services ved hjælp af ontologierChristensen, K., Thomsen, L. L. & Højgaard Olesen, T., 2006, Information Technology And Control. Kaunas Technologija Universiteta, s. 267-275 9 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review