The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bent Thomsen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bent Thomsen, Lone Leth, Tsung-Min Kuo
    A Facile Tutorial. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:278-298 [Conf]
  2. Roberto M. Amadio, Lone Leth, Bent Thomsen
    From a Concurrent Lambda-Calculus to the Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    FCT, 1995, pp:106-115 [Conf]
  3. Kim Guldstrand Larsen, Bent Thomsen
    A Modal Process Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:203-210 [Conf]
  4. Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen
    Analysis of Facile Programs: A Case Study. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:345-369 [Conf]
  5. Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen
    Logical and Operational Methods in the Analysis of Programs and Systems. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:1-21 [Conf]
  6. Kim Guldstrand Larsen, Bent Thomsen
    Compositional Proofs by Partial Specification of Processes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1988, pp:414-423 [Conf]
  7. Bent Thomsen
    A Calculus of Higher Order Communicating Systems. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:143-154 [Conf]
  8. Bent Thomsen, Lone Leth, Alessandro Giacalone
    Some Issues in the Semantics of Facile Distributed Programming. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:563-593 [Conf]
  9. Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen
    Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:98-112 [Conf]
  10. Jean-Marc Andreoli, Lone Leth, Remo Pareschi, Bent Thomsen
    True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:182-198 [Conf]
  11. Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen
    Causality for Debugging Mobile Agents. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1999, v:36, n:5, pp:335-374 [Journal]
  12. Bent Thomsen
    Plain CHOCS: A Second Generation Calculus for Higher Order Processes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1993, v:30, n:1, pp:1-59 [Journal]
  13. Bent Thomsen
    Programming Languages, Analysis Tools, and Concurrency Theory. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:57- [Journal]
  14. Bent Thomsen, Lone Leth Thomsen
    Towards Global Computations Guided by Concurrency Theory. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1998, v:66, n:, pp:92-99 [Journal]
  15. Lone Leth, Bent Thomsen
    Some Facile Chemistry. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:3, pp:314-328 [Journal]
  16. Bent Thomsen
    A Theory of Higher Order Communicating Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:116, n:1, pp:38-57 [Journal]
  17. Kim Guldstrand Larsen, Bent Thomsen
    Partial Specifications and Compositional Verification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:88, n:1, pp:15-32 [Journal]

  18. A Profile for Safety Critical Java. [Citation Graph (, )][DBLP]


  19. Seamless Indoor/Outdoor Positioning Handover for Location-Based Services in Streamspin. [Citation Graph (, )][DBLP]


  20. Seamless indoor/outdoor positioning with streamspin. [Citation Graph (, )][DBLP]


  21. Using Weighted Graphs for Computationally Efficient WLAN Location Determination. [Citation Graph (, )][DBLP]


  22. Pretty Easy Pervasive Positioning. [Citation Graph (, )][DBLP]


  23. Model-based schedulability analysis of safety critical hard real-time Java programs. [Citation Graph (, )][DBLP]


  24. A predictable Java profile: rationale and implementations. [Citation Graph (, )][DBLP]


  25. Schedulability analysis for Java finalizers. [Citation Graph (, )][DBLP]


  26. Efficient and Accurate WLAN Positioning with Weighted Graphs. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002