Bent Thomsen

发表

Hua Lu, Torben Bach Pedersen, Lone Leth Thomsen, 2013, SGMD.
Martin Schoeberl, Anders P. Ravn, Bent Thomsen, 2008 .
Kim G. Larsen, Bent Thomsen, Thomas Bøgholm, 2012, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
Bent Thomsen, Bent Thomsen, 1990 .
Bent Thomsen, Samson Abramsky, S. Abramsky, 2001, Theor. Comput. Sci..
Kim G. Larsen, Bent Thomsen, K. Larsen, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Kim G. Larsen, Lone Leth Thomsen, Bent Thomsen, 2018, Models, Mindsets, Meta.
Bent Thomsen, Corina S. Pasareanu, Kasper Søe Luckow, 2015, EURASIP J. Embed. Syst..
Lone Leth Thomsen, Bent Thomsen, Kurt Nørmark, 2010, J. Object Technol..
Flemming Nielson, Pierre Jouvelot, Bent Thomsen, 1996, LOMAPS.
Lone Leth Thomsen, Bent Thomsen, Kurt Nørmark, 2012, DLS.
Lone Leth Thomsen, Bent Thomsen, Kurt Nørmark, 2008, J. Object Technol..
Bent Thomsen, Bent Thomsen, 2005, Acta Informatica.
Lone Leth Thomsen, Bent Thomsen, Roberto M. Amadio, 1995, FCT.
Bent Thomsen, Hans Hüttel, Erik Ramsgaard Wognsen, 2012, Anais do XII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg 2012).
L. L. Thomsen, P. Sestoft, Bent Thomsen, 2022, J. Comput. Lang..
Lone Leth Thomsen, Bent Thomsen, Martin Schoberl, 2009 .
Bent Thomsen, Bent Thomsen, 1989, POPL '89.
Lone Leth Thomsen, Bent Thomsen, Alessandro Giacalone, 1992, REX Workshop.
Lone Leth Thomsen, Bent Thomsen, Corrado Priami, 1996, LOMAPS.
Kim G. Larsen, Bent Thomsen, Petur Olsen, 2008, JTRES '08.
Lone Leth Thomsen, Bent Thomsen, René Hansen, 2013, 2013 IEEE 14th International Conference on Mobile Data Management.
Bent Thomsen, Kasper Søe Luckow, Stephan Korsholm, 2014, JTRES '14.
Bent Thomsen, Svetomir Kurtev, Tommy Aagaard Christensen, 2016, PLATEAU@SPLASH.
Jean-Marc Andreoli, Lone Leth Thomsen, Bent Thomsen, 1993, TAPSOFT.