Lone Leth Thomsen

According to our database1, Lone Leth Thomsen
  • authored at least 20 papers between 1991 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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.
TOCE, 2016

2015
From Safety Critical Java Programs to Timed Process Models.
Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2013
SmartCampusAAU - An Open Platform Enabling Indoor Positioning and Navigation.
Proceedings of the 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013, 2013

2012
Daisy: the center for data-intensive systems at Aalborg University.
SIGMOD Record, 2012

Object-oriented programming with gradual abstraction.
Proceedings of the 8th Symposium on Dynamic Languages, 2012

2010
Computational Abstraction Steps.
Journal of Object Technology, 2010

2008
Mini Project Programming Exams.
Proceedings of the Reflections on the Teaching of Programming, Methods and Implementations, 2008

Mapping and Visiting in Functional and Object-Oriented Programming.
Journal of Object Technology, 2008

2001
Towards Global Computations Guided by Concurrency Theory.
Current Trends in Theoretical Computer Science, 2001

1999
Causality for Debugging Mobile Agents.
Acta Inf., 1999

1998
Towards Global Computations Guided by Concurrency Theory.
Bulletin of the EATCS, 1998

1996
Understanding Mobile Agents via a Non-Interleaving Semantics for Facile.
Proceedings of the Static Analysis, Third International Symposium, 1996

Analysis of Facile Programs: A Case Study.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

A Facile Tutorial.
Proceedings of the CONCUR '96, 1996

1995
Some Facile Chemistry.
Formal Asp. Comput., 1995

From a Concurrent Lambda-Calculus to the Pi-Calculus.
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
Some Issues in the Semantics of Facile Distributed Programming.
Proceedings of the Sematics: Foundations and Applications, 1992

1991
Functional programs as reconfigurable networks of communicating processes.
PhD thesis, 1991


  Loading...