Lone Leth Thomsen
Orcid: 0000-0003-1035-5975Affiliations:
- Aalborg University, Denmark
According to our database1,
Lone Leth Thomsen
authored at least 24 papers
between 1991 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
J. Comput. Lang., 2022
2020
J. Comput. Lang., 2020
2018
Proceedings of the Models, Mindsets, 2018
2017
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking.
Proceedings of the Models, Algorithms, Logics and Tools, 2017
2016
Assessing Problem-Based Learning in a Software Engineering Curriculum Using Bloom's Taxonomy and the IEEE Software Engineering Body of Knowledge.
ACM Trans. Comput. Educ., 2016
Extending Software Transactional Memory in Clojure with Side-Effects and Transaction Control.
Proceedings of the 9th European Lisp Symposium (ELS 2016), Kraków, Poland, May 9-10, 2016., 2016
2015
Proceedings of the Programming Languages with Applications to Biology and Security, 2015
2013
Proceedings of the 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013, 2013
2012
SIGMOD Rec., 2012
Proceedings of the 8th Symposium on Dynamic Languages, 2012
2010
2008
Proceedings of the Reflections on the Teaching of Programming, Methods and Implementations, 2008
J. Object Technol., 2008
2001
Towards Global Computations Guided by Concurrency Theory.
Proceedings of the Current Trends in Theoretical Computer Science, 2001
1999
1998
Towards Global Computations Guided by Concurrency Theory.
Bull. EATCS, 1998
1996
Proceedings of the Static Analysis, Third International Symposium, 1996
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996
1995
Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995
1993
True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993
1992
Proceedings of the Sematics: Foundations and Applications, 1992
1991
PhD thesis, 1991