Bent Thomsen

发表

Lone Leth Thomsen, Bent Thomsen, 2005, Formal Aspects of Computing.
Bent Thomsen, 2008, Reflections on the Teaching of Programming.
Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, 2017, Models, Algorithms, Logics and Tools.
Lone Leth Thomsen, Bent Thomsen, Peter Sestoft, 2018 .
Kim G. Larsen, Lone Leth Thomsen, Bent Thomsen, 2018, Models, Mindsets, Meta.
Anders P. Ravn, Bent Thomsen, René Rydhof Hansen, 2010, ERCIM News.
Lone Leth Thomsen, Bent Thomsen, Peter Sestoft, 2020, J. Comput. Lang..
Bent Thomsen, Kasper Søe Luckow, Christian Frost, 2011, JTRES '11.
Bent Thomsen, Samson Abramsky, S. Abramsky, 2001, Theor. Comput. Sci..
Martin Schoeberl, Anders P. Ravn, Bent Thomsen, 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).
Kim G. Larsen, Bent Thomsen, Kasper Søe Luckow, 2013, JTRES '13.
Lone Leth Thomsen, Bent Thomsen, Kasper Søe Luckow, 2015, Programming Languages with Applications to Biology and Security.
Kim G. Larsen, Bent Thomsen, Petur Olsen, 2008, JTRES '08.
Tsung-Min Kuo, Bent Thomsen, Lone Leth, 1997 .
Lone Leth Thomsen, Bent Thomsen, Kurt Nørmark, 2008, J. Object Technol..
Anders P. Ravn, Bent Thomsen, René Rydhof Hansen, 2009, JTRES 2009.
Bent Thomsen, Kasper Søe Luckow, Stephan Erbs Korsholm, 2011 .
Bent Thomsen, Bent Thomsen, 1990 .
Hua Lu, Torben Bach Pedersen, Lone Leth Thomsen, 2013, SGMD.
Lone Leth Thomsen, Bent Thomsen, Alessandro Giacalone, 1992, REX Workshop.
Kim G. Larsen, Bent Thomsen, 1991, Theor. Comput. Sci..
Christian S. Jensen, Bent Thomsen, Rico Wind, 2009, 2009 Tenth International Conference on Mobile Data Management: Systems, Services and Middleware.
Kim G. Larsen, Bent Thomsen, K. Larsen, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Christian S. Jensen, Bent Thomsen, Rico Wind, 2008, MobiQuitous.
Kim G. Larsen, Bent Thomsen, 1988, MFCS.
Bent Thomsen, Kasper Søe Luckow, Stephan Korsholm, 2014, JTRES '14.
Flemming Nielson, Pierre Jouvelot, Bent Thomsen, 1996, LOMAPS.
Anders P. Ravn, Bent Thomsen, René Rydhof Hansen, 2011, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
Bent Thomsen, Kasper Søe Luckow, Thomas Bøgholm, 2012 .
Lone Leth Thomsen, Bent Thomsen, Kurt Nørmark, 2012, DLS.
Kim G. Larsen, Bent Thomsen, Thomas Bøgholm, 2012, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
Anders P. Ravn, Bent Thomsen, René Rydhof Hansen, 2009, JTRES '09.
Bent Thomsen, René Hansen, 2009, MOBILIGHT.
Bent Thomsen, 1995, Inf. Comput..
Bent Thomsen, René Hansen, 2007, 2007 Fourth Annual International Conference on Mobile and Ubiquitous Systems: Networking & Services (MobiQuitous).
Anders P. Ravn, Bent Thomsen, René Rydhof Hansen, 2010, JTRES '10.
Jean-Marc Andreoli, Lone Leth Thomsen, Bent Thomsen, 1993, TAPSOFT.
Bent Thomsen, Svetomir Kurtev, Tommy Aagaard Christensen, 2016, PLATEAU@SPLASH.
Lone Leth Thomsen, Bent Thomsen, Corrado Priami, 1996, LOMAPS.
Bent Thomsen, Kasper Søe Luckow, Thomas Bøgholm, 2013, RTAS 2013.
Lone Leth Thomsen, Bent Thomsen, Martin Schoberl, 2009 .
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).
Bent Thomsen, Kasper Søe Luckow, Christian Frost, 2011, MOBILIGHT.
Bent Thomsen, Bent Thomsen, 2005, Acta Informatica.
Anders P. Ravn, Bent Thomsen, Thomas Bøgholm, 2009, SSV 2009.
Lone Leth Thomsen, Bent Thomsen, Corrado Priami, 1996, SAS.
Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, 2012, Innovations in Systems and Software Engineering.
Lone Leth Thomsen, Bent Thomsen, René Hansen, 2013, 2013 IEEE 14th International Conference on Mobile Data Management.
Lone Leth Thomsen, Bent Thomsen, Kim Christensen, 2007 .
Bent Thomsen, L. L. Thomsen, 1997 .
Christian S. Jensen, Bent Thomsen, Rico Wind, 2008, Mobiquitous 2008.
Christian S. Jensen, Bent Thomsen, Rico Wind, 2010, 2010 International Conference on Indoor Positioning and Indoor Navigation.
Lone Leth Thomsen, Bent Thomsen, 1998, Bull. EATCS.
Lone Leth Thomsen, Bent Thomsen, Corrado Priami, 1999, Acta Informatica.
Bent Thomsen, Corina S. Pasareanu, Kasper Søe Luckow, 2015, EURASIP J. Embed. Syst..
Anders P. Ravn, Bent Thomsen, Hans Søndergaard, 2006, JTRES '06.
Lone Leth Thomsen, Bent Thomsen, Kurt Nørmark, 2010, J. Object Technol..
Bent Thomsen, Kasper Søe Luckow, Stephan Erbs Korsholm, 2017, Concurr. Comput. Pract. Exp..
Christian S. Jensen, Bent Thomsen, Rico Wind, 2009, SSTD.
Bent Thomsen, Bent Thomsen, 1989, POPL '89.
Lone Leth Thomsen, Bent Thomsen, Roberto M. Amadio, 1995, FCT.
Lone Leth Thomsen, Bent Thomsen, Kim Guldstrand Larsen, 2003 .
Tsung-Min Kuo, Lone Leth Thomsen, Bent Thomsen, 1996, CONCUR.
Martin Schoeberl, Anders P. Ravn, Bent Thomsen, 2008 .
Lone Leth Thomsen, Bent Thomsen, Kasper Søe Luckow, 2015 .