Bent Thomsen

View Scopus Profile

Bent Thomsen

Also: Professor with Special Responsibilities

 https://orcid.org/0000-0002-5853-7973

  • Selma Lagerløfs Vej 300, 2-2-01

    9220 Aalborg Øst

    Denmark

  • Selma Lagerløfs Vej 300, 2-2-01

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

1988 …2023

Research activity per year

Search results

  • 2007

    Using Weighted Graphs for Computationally Efficient WLAN Location Determination

    Thomsen, B. & Hansen, R., 2007, Proceedings of the 2007 Fourth Annual International Conference on Mobile and Ubiquitous Systems: Networking&Services (MobiQuitous. IEEE Computer Society Press, Vol. 00. p. 1-5

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)
  • 2006

    A Ravenscar-Java profile implementation

    Thomsen, B., Ravn, A. P. & Søndergaard, H., 2006, ACM International Conference Proceeding Series: JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems. Association for Computing Machinery (ACM), Vol. 177. p. 38-47 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    11 Citations (Scopus)
  • 2003

    Software - til verdens mindste og verdens største computer

    Larsen, K. G., Thomsen, L. L. & Thomsen, B., 2003, Trends i ITEK-Sektoren. Sarborg Pedersen, John : Ørum Larsen, Lars (red.) (ed.). Kbh. : ITEK: Denmark., p. 21-26 (ITEK rapport).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • 2001

    A fully abstract denotational semantics for the calculus of higher-order communicating systems

    Thomsen, B. & Abramsky, S., 2001, In: Theoretical Computer Science. 254, 1-2, p. 557-589 33 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    1 Citation (Scopus)
  • 1999

    Causality for debugging mobile agents

    Degano, P., Priami, C., Leth, L. & Thomsen, B., 1 Sept 1999, In: Acta Informatica. 36, 5, p. 335-374 40 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

    6 Citations (Scopus)
  • 1997

    Analysis of facile programs: A case study

    Degano, P., Priami, C., Leth, L. & Thomsen, B., 1997, Analysis and Verification of Multiple-Agent Languages - 5th LOMAPS Workshop, Selected Papers. p. 345-369 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 1192 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • Logical and operational methods in the analysis of programs and systems

    Nielson, F., Cousot, P., Dam, M., Degano, P., Jouvelot, P., Mycroft, A. & Thomsen, B., 1997, Analysis and Verification of Multiple-Agent Languages - 5th LOMAPS Workshop, Selected Papers. p. 1-21 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 1192 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)
  • 1996

    A facile tutorial

    Thomsen, B., Leth, L. & Kuo, T. M., 1996, CONCUR 1996: Concurrency Theory - 7th International Conference, Proceedings. Montanari, U. & Sassone, V. (eds.). Springer, p. 278-298 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 1119).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    27 Citations (Scopus)

  • Strategic directions in concurrency research

    Cleaveland, R., Smolka, S. A., Alur, R., Baeten, J., Bergstra, J. A., Best, E., Cleaveland, R., De Nicola, R., Gill, H., Gorrieri, R., Gouda, M. G., Groote, J. F., Henzinger, T. A., Hoare, C. A. R., Luginbuhl, D., Meyer, A., Miller, D., Misra, J., Moller, F. & Montanari, U. & 10 others, Pnueli, A., Prasad, S., Pratt, V. R., Sifakis, J., Smolka, S. A., Steffen, B., Thomsen, B., Vaandrager, F., Vardi, M. & Wolper, P., Dec 1996, In: ACM Computing Surveys. 28, 4, p. 607-625 19 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    39 Citations (Scopus)

  • Understanding mobile agents via a non-interleaving semantics for facile

    Borgia, R., Degano, P., Priami, C., Leth, L. & Thomsen, B., 1996, Static Analysis - 3rd International Symposium, SAS 1996, Proceedings. Cousot, R. & Schmidt, D. A. (eds.). Springer, p. 98-112 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 1145).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    8 Citations (Scopus)
  • 1995

    A theory of higher order communicating systems

    Thomsen, B., Jan 1995, In: Information and Computation. 116, 1, p. 38-57 20 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    44 Citations (Scopus)

  • From a concurrent λ-calculus to the π-calculus

    Amadio, R. M., Leth, L. & Thomsen, B., 1995, Fundamentals of Computation Theory - 10th International Conference, FCT 1995, Proceedings. Reichel, H. (ed.). Springer, p. 106-115 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 965).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    7 Citations (Scopus)

  • Some facile chemistry

    Leth, L. & Thomsen, B., May 1995, In: Formal Aspects of Computing. 7, 3, p. 314-328 15 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    9 Citations (Scopus)
  • 1993

    Plain CHOCS A second generation calculus for higher order processes

    Thomsen, B., Jan 1993, In: Acta Informatica. 30, 1, p. 1-59 59 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

    102 Citations (Scopus)

  • Some issues in the semantics of facile distributed programming

    Thomsen, B., Leth, L. & Giacalone, A., 1993, Semantics: Foundations and Applications - REX Workshop, Proceedings. de Bakker, J. W., de Roever, W.-P. & Rozenberg, G. (eds.). Springer, p. 563-593 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 666 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • True concurrency semantics for a linear logic programming language with broadcast communication

    Andreoli, J. M., Leth, L., Pareschi, R. & Thomsen, B., 1993, TAPSOFT 1993: Theory and Practice of Software Development - 4th International Joint Conference CAAP/FASE, Proceedings. Gaudel, M.-C. & Jouannaud, J.-P. (eds.). Springer, p. 182-198 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 668 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    5 Citations (Scopus)
  • 1989

    Calculus of higher order communicating systems

    Thomsen, B., 1989, Conf Rec Sixteenth Annu ACM Symp Princ Program Lang. Publ by ACM, p. 143-154 12 p. (Conf Rec Sixteenth Annu ACM Symp Princ Program Lang).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    65 Citations (Scopus)
  • 1988

    Compositional proofs by partial specification of processes

    Larsen, K. G. & Thomsen, B., 1988, Mathematical Foundations of Computer Science 1988 - Proceedings of the 13th Symposium. Chytil, M. P., Koubek, V. & Janiga, L. (eds.). Springer, p. 414-423 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 324 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    5 Citations (Scopus)

  • Modal process logic.

    Larsen, K. G. & Thomsen, B., 1988, Proc Third Annu Symp on Logic in Comput Sci. IEEE (Institute of Electrical and Electronics Engineers), p. 203-210 8 p. (Proc Third Annu Symp on Logic in Comput Sci).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    342 Citations (Scopus)