dblp.uni-trier.dewww.uni-trier.de

Bent Thomsen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
25EEThomas Bøgholm, René Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard: A predictable Java profile: rationale and implementations. JTRES 2009: 150-159
24EERene Hansen, Bent Thomsen: Efficient and Accurate WLAN Positioning with Weighted Graphs. MOBILIGHT 2009: 372-386
23EERene Hansen, Rico Wind, Christian S. Jensen, Bent Thomsen: Pretty Easy Pervasive Positioning. SSTD 2009: 417-421
2008
22EEThomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen: Model-based schedulability analysis of safety critical hard real-time Java programs. JTRES 2008: 106-114
21EEBent Thomsen: Using On-Line Tutorials in Introductory IT Courses. Reflections on the Teaching of Programming 2008: 68-74
2007
20EEMartin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn: A Profile for Safety Critical Java. ISORC 2007: 94-101
19EERene Hansen, Bent Thomsen: Using Weighted Graphs for Computationally Efficient WLAN Location Determination. MobiQuitous 2007: 1-5
2001
18 Bent Thomsen, Lone Leth Thomsen: Towards Global Computations Guided by Concurrency Theory. Current Trends in Theoretical Computer Science 2001: 460-468
1999
17EEPierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen: Causality for Debugging Mobile Agents. Acta Inf. 36(5): 335-374 (1999)
1998
16 Bent Thomsen, Lone Leth Thomsen: Towards Global Computations Guided by Concurrency Theory. Bulletin of the EATCS 66: 92-99 (1998)
1996
15EEBent Thomsen, Lone Leth, Tsung-Min Kuo: A Facile Tutorial. CONCUR 1996: 278-298
14EEFlemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen: Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS 1996: 1-21
13EEPierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen: Analysis of Facile Programs: A Case Study. LOMAPS 1996: 345-369
12 Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen: Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. SAS 1996: 98-112
11 Bent Thomsen: Programming Languages, Analysis Tools, and Concurrency Theory. ACM Comput. Surv. 28(4es): 57 (1996)
1995
10 Roberto M. Amadio, Lone Leth, Bent Thomsen: From a Concurrent Lambda-Calculus to the Pi-Calculus. FCT 1995: 106-115
9 Lone Leth, Bent Thomsen: Some Facile Chemistry. Formal Asp. Comput. 7(3): 314-328 (1995)
8 Bent Thomsen: A Theory of Higher Order Communicating Systems Inf. Comput. 116(1): 38-57 (1995)
1993
7EEJean-Marc Andreoli, Lone Leth, Remo Pareschi, Bent Thomsen: True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication. TAPSOFT 1993: 182-198
6 Bent Thomsen: Plain CHOCS: A Second Generation Calculus for Higher Order Processes. Acta Inf. 30(1): 1-59 (1993)
1992
5EEBent Thomsen, Lone Leth, Alessandro Giacalone: Some Issues in the Semantics of Facile Distributed Programming. REX Workshop 1992: 563-593
1991
4 Kim Guldstrand Larsen, Bent Thomsen: Partial Specifications and Compositional Verification. Theor. Comput. Sci. 88(1): 15-32 (1991)
1989
3 Bent Thomsen: A Calculus of Higher Order Communicating Systems. POPL 1989: 143-154
1988
2 Kim Guldstrand Larsen, Bent Thomsen: A Modal Process Logic LICS 1988: 203-210
1EEKim Guldstrand Larsen, Bent Thomsen: Compositional Proofs by Partial Specification of Processes. MFCS 1988: 414-423

Coauthor Index

1Roberto M. Amadio [10]
2Jean-Marc Andreoli [7]
3Thomas Bøgholm [22] [25]
4Roberta Borgia [12]
5Patrick Cousot [14]
6Mads Dam [14]
7Pierpaolo Degano [12] [13] [14] [17]
8Alessandro Giacalone [5]
9Rene Hansen [19] [23] [24]
10René Hansen [25]
11Christian S. Jensen [23]
12Pierre Jouvelot [14]
13Henrik Kragh-Hansen [22]
14Tsung-Min Kuo [15]
15Kim Guldstrand Larsen [1] [2] [4] [22]
16Lone Leth [5] [7] [9] [10] [12] [13] [15] [17]
17Alan Mycroft [14]
18Flemming Nielson [14]
19Petur Olsen [22]
20Remo Pareschi [7]
21Corrado Priami [12] [13] [17]
22Anders P. Ravn [20] [25]
23Martin Schoeberl [20]
24Hans Søndergaard [20] [25]
25Lone Leth Thomsen [16] [18]
26Rico Wind [23]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)