Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Bent Thomsen
@article{DBLP:journals/vlc/BockBSTT22,
author = {Alexander Asp Bock and
Thomas B{\o}gholm and
Peter Sestoft and
Bent Thomsen and
Lone Leth Thomsen},
title = {On the cost semantics for spreadsheets with sheet-defined functions},
journal = {J. Comput. Lang.},
volume = {69},
pages = {101103},
year = {2022},
url = {https://doi.org/10.1016/j.cola.2022.101103},
doi = {10.1016/J.COLA.2022.101103},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlc/BockBSTT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/BockBSTT20,
author = {Alexander Asp Bock and
Thomas B{\o}gholm and
Peter Sestoft and
Bent Thomsen and
Lone Leth Thomsen},
title = {On the semantics for spreadsheets with sheet-defined functions},
journal = {J. Comput. Lang.},
volume = {57},
pages = {100960},
year = {2020},
url = {https://doi.org/10.1016/j.cola.2020.100960},
doi = {10.1016/J.COLA.2020.100960},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/BockBSTT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BogholmLMTT18,
author = {Thomas B{\o}gholm and
Kim G. Larsen and
Marco Mu{\~{n}}iz and
Bent Thomsen and
Lone Leth Thomsen},
editor = {Tiziana Margaria and
Susanne Graf and
Kim G. Larsen},
title = {Analyzing Spreadsheets for Parallel Execution via Model Checking},
booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11200},
pages = {27--35},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-22348-9\_3},
doi = {10.1007/978-3-030-22348-9\_3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BogholmLMTT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/LuckowTK17,
author = {Kasper S{\o}e Luckow and
Bent Thomsen and
Stephan Erbs Korsholm},
title = {HVM\({}_{\mbox{TP}}\): {A} time predictable and portable java virtual
machine for hard real-time embedded systems},
journal = {Concurr. Comput. Pract. Exp.},
volume = {29},
number = {22},
year = {2017},
url = {https://doi.org/10.1002/cpe.3828},
doi = {10.1002/CPE.3828},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/LuckowTK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/RavnTLLB17,
author = {Anders P. Ravn and
Bent Thomsen and
Kasper S{\o}e Luckow and
Lone Leth and
Thomas B{\o}gholm},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {Firm Deadline Checking of Safety-Critical Java Applications with Statistical
Model Checking},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {269--288},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_14},
doi = {10.1007/978-3-319-63121-9\_14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/RavnTLLB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jeric/DologTT16,
author = {Peter Dolog and
Lone Leth Thomsen and
Bent Thomsen},
title = {Assessing Problem-Based Learning in a Software Engineering Curriculum
Using Bloom's Taxonomy and the {IEEE} Software Engineering Body of
Knowledge},
journal = {{ACM} Trans. Comput. Educ.},
volume = {16},
number = {3},
pages = {9:1--9:41},
year = {2016},
url = {https://doi.org/10.1145/2845091},
doi = {10.1145/2845091},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jeric/DologTT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KurtevCT16,
author = {Svetomir Kurtev and
Tommy Aagaard Christensen and
Bent Thomsen},
editor = {Craig Anslow and
Thomas D. LaToza and
Joshua Sunshine},
title = {Discount method for programming language evaluation},
booktitle = {Proceedings of the 7th International Workshop on Evaluation and Usability
of Programming Languages and Tools, PLATEAU@SPLASH 2016, Amsterdam,
Netherlands, November 1, 2016},
pages = {1--8},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3001878.3001879},
doi = {10.1145/3001878.3001879},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/KurtevCT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/LuckowPT15,
author = {Kasper S{\o}e Luckow and
Corina S. Pasareanu and
Bent Thomsen},
title = {Symbolic execution and timed automata model checking for timing analysis
of Java real-time systems},
journal = {{EURASIP} J. Embed. Syst.},
volume = {2015},
pages = {2},
year = {2015},
url = {https://doi.org/10.1186/s13639-015-0020-8},
doi = {10.1186/S13639-015-0020-8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejes/LuckowPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ThomsenLLB15,
author = {Bent Thomsen and
Kasper S{\o}e Luckow and
Lone Leth Thomsen and
Thomas B{\o}gholm},
editor = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
title = {From Safety Critical Java Programs to Timed Process Models},
booktitle = {Programming Languages with Applications to Biology and Security -
Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9465},
pages = {319--338},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25527-9\_21},
doi = {10.1007/978-3-319-25527-9\_21},
timestamp = {Fri, 23 Jun 2023 22:30:53 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ThomsenLLB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/LuckowTK14,
author = {Kasper S{\o}e Luckow and
Bent Thomsen and
Stephan Erbs Korsholm},
editor = {Wolfgang Puffitsch},
title = {{HVMTP:} {A} Time Predictable and Portable Java Virtual Machine for
Hard Real-Time Embedded Systems},
booktitle = {Proceedings of the 12th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2014, Niagara Falls, NY,
USA, October 13-14, 2014},
pages = {107},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661020.2661022},
doi = {10.1145/2661020.2661022},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/LuckowTK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/BogholmFHJLRST13,
author = {Thomas B{\o}gholm and
Christian Frost and
Ren{\'{e}} Rydhof Hansen and
Casper Svenning Jensen and
Kasper S{\o}e Luckow and
Anders P. Ravn and
Hans S{\o}ndergaard and
Bent Thomsen},
title = {Towards harnessing theories through tool support for hard real-time
Java programming},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {1},
pages = {17--28},
year = {2013},
url = {https://doi.org/10.1007/s11334-012-0185-4},
doi = {10.1007/S11334-012-0185-4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/BogholmFHJLRST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/LuckowBTL13,
author = {Kasper S{\o}e Luckow and
Thomas B{\o}gholm and
Bent Thomsen and
Kim Guldstrand Larsen},
editor = {Fridtjof Siebert and
Kelvin Nilsen},
title = {TetaSARTS: a tool for modular timing analysis of safety critical Java
systems},
booktitle = {The 11th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '13, Karlsruhe, Germany, October 9-11,
2013},
pages = {11--20},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2512989.2512992},
doi = {10.1145/2512989.2512992},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/LuckowBTL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdm/HansenTTA13,
author = {Ren{\'{e}} Hansen and
Bent Thomsen and
Lone Leth Thomsen and
Filip Stubkjaer Adamsen},
title = {SmartCampusAAU - An Open Platform Enabling Indoor Positioning and
Navigation},
booktitle = {2013 {IEEE} 14th International Conference on Mobile Data Management,
Milan, Italy, June 3-6, 2013 - Volume 2},
pages = {33--38},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/MDM.2013.62},
doi = {10.1109/MDM.2013.62},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mdm/HansenTTA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/LuPSTTT12,
author = {Hua Lu and
Torben Bach Pedersen and
Simonas Saltenis and
Bent Thomsen and
Lone Leth Thomsen and
Kristian Torp},
title = {Daisy: the center for data-intensive systems at Aalborg University},
journal = {{SIGMOD} Rec.},
volume = {41},
number = {4},
pages = {39--44},
year = {2012},
url = {https://doi.org/10.1145/2430456.2430467},
doi = {10.1145/2430456.2430467},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmod/LuPSTTT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/NormarkTT12,
author = {Kurt N{\o}rmark and
Lone Leth Thomsen and
Bent Thomsen},
editor = {Alessandro Warth},
title = {Object-oriented programming with gradual abstraction},
booktitle = {Proceedings of the 8th Symposium on Dynamic Languages, {DLS} '12,
Tucson, AZ, USA, October 22, 2012},
pages = {41--52},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384577.2384583},
doi = {10.1145/2384577.2384583},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dls/NormarkTT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BogholmTLM12,
author = {Thomas B{\o}gholm and
Bent Thomsen and
Kim G. Larsen and
Alan Mycroft},
editor = {Chunming Hu and
Gabor Karsai and
Jie Xu and
Andreas Polze and
Ji Wang and
Andy J. Wellings},
title = {Schedulability Analysis Abstractions for Safety Critical Java},
booktitle = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2012, Shenzhen, China, April
11-13, 2012},
pages = {71--78},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISORC.2012.18},
doi = {10.1109/ISORC.2012.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/BogholmTLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/SondergaardTRHB11,
author = {Hans S{\o}ndergaard and
Bent Thomsen and
Anders P. Ravn and
Ren{\'{e}} Rydhof Hansen and
Thomas B{\o}gholm},
title = {Refactoring Real-Time Java Profiles},
booktitle = {14th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2011, Newport Beach, California,
USA, 28-31 March 2011},
pages = {109--116},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISORC.2011.23},
doi = {10.1109/ISORC.2011.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/SondergaardTRHB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/FrostJLT11,
author = {Christian Frost and
Casper Svenning Jensen and
Kasper S{\o}e Luckow and
Bent Thomsen},
editor = {Andy J. Wellings and
Anders P. Ravn},
title = {{WCET} analysis of Java bytecode featuring common execution environments},
booktitle = {The 9th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '11, York, United Kingdom, September
26-28, 2011},
pages = {30--39},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2043910.2043916},
doi = {10.1145/2043910.2043916},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/FrostJLT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobilight/FrostJLTH11,
author = {Christian Frost and
Casper Svenning Jensen and
Kasper S{\o}e Luckow and
Bent Thomsen and
Ren{\'{e}} Hansen},
editor = {Javier Del Ser and
Eduard A. Jorswieck and
Joaqu{\'{\i}}n M{\'{\i}}guez and
Marja Matinmikko and
Daniel P. Palomar and
Sancho Salcedo{-}Sanz and
Sergio Gil{-}Lopez},
title = {Bluetooth Indoor Positioning System Using Fingerprinting},
booktitle = {Mobile Lightweight Wireless Systems - Third International {ICST} Conference,
{MOBILIGHT} 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected
Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {81},
pages = {136--150},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29479-2\_11},
doi = {10.1007/978-3-642-29479-2\_11},
timestamp = {Sun, 04 Jun 2017 10:08:04 +0200},
biburl = {https://dblp.org/rec/conf/mobilight/FrostJLTH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/ThomsenTN10,
author = {Lone Leth Thomsen and
Bent Thomsen and
Kurt N{\o}rmark},
title = {Computational Abstraction Steps},
journal = {J. Object Technol.},
volume = {9},
number = {6},
pages = {1--23},
year = {2010},
url = {https://doi.org/10.5381/jot.2010.9.6.a1},
doi = {10.5381/JOT.2010.9.6.A1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/ThomsenTN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipin/HansenWJT10,
author = {Ren{\'{e}} Hansen and
Rico Wind and
Christian S. Jensen and
Bent Thomsen},
editor = {Rainer Mautz and
Melanie Kunz and
Hilmar Ingensand},
title = {Algorithmic strategies for adapting to environmental changes in 802.11
location fingerprinting},
booktitle = {2010 International Conference on Indoor Positioning and Indoor Navigation,
{IPIN} 2010, ETH, Zurich, Switzerland, September 15-17, 2010},
pages = {1--10},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/IPIN.2010.5648270},
doi = {10.1109/IPIN.2010.5648270},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipin/HansenWJT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/BogholmHRTS10,
author = {Thomas B{\o}gholm and
Ren{\'{e}} Rydhof Hansen and
Anders P. Ravn and
Bent Thomsen and
Hans S{\o}ndergaard},
editor = {Tomas Kalibera and
Jan Vitek},
title = {Schedulability analysis for Java finalizers},
booktitle = {Proceedings of the 8th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2010, Prague, Czech Republic,
August 19-21, 2010},
series = {{ACM} International Conference Proceeding Series},
pages = {1--7},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1850771.1850772},
doi = {10.1145/1850771.1850772},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jtres/BogholmHRTS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BogholmHRST10,
author = {Thomas B{\o}gholm and
Ren{\'{e}} Rydhof Hansen and
Anders P. Ravn and
Hans S{\o}ndergaard and
Bent Thomsen},
title = {Formal Modelling and Analysis of Predictable Java},
journal = {{ERCIM} News},
volume = {2010},
number = {81},
year = {2010},
url = {http://ercim-news.ercim.eu/en81/rd/formal-modelling-and-analysis-of-predictable-java},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BogholmHRST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/BogholmHRTS09,
author = {Thomas B{\o}gholm and
Ren{\'{e}} Rydhof Hansen and
Anders P. Ravn and
Bent Thomsen and
Hans S{\o}ndergaard},
editor = {M. Teresa Higuera{-}Toledano and
Martin Schoeberl},
title = {A predictable Java profile: rationale and implementations},
booktitle = {Proceedings of the 7th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2009, Madrid, Spain, September
23-25, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {150--159},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1620405.1620427},
doi = {10.1145/1620405.1620427},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jtres/BogholmHRTS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdm/HansenWJT09,
author = {Ren{\'{e}} Hansen and
Rico Wind and
Christian S. Jensen and
Bent Thomsen},
editor = {Yu{-}Chee Tseng and
Peter Scheuermann and
Ralf Hartmut G{\"{u}}ting and
Wang{-}Chien Lee and
Chung{-}Ta King and
Evaggelia Pitoura},
title = {Seamless Indoor/Outdoor Positioning Handover for Location-Based Services
in Streamspin},
booktitle = {{MDM} 2009, Tenth International Conference on Mobile Data Management,
Taipei, Taiwan, 18-20 May 2009},
pages = {267--272},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/MDM.2009.39},
doi = {10.1109/MDM.2009.39},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mdm/HansenWJT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobilight/HansenT09,
author = {Ren{\'{e}} Hansen and
Bent Thomsen},
editor = {Fabrizio Granelli and
Charalabos Skianis and
Periklis Chatzimisios and
Yang Xiao and
Simone Redana},
title = {Efficient and Accurate {WLAN} Positioning with Weighted Graphs},
booktitle = {Mobile Lightweight Wireless Systems, First International {ICST} Conference,
{MOBILIGHT} 2009, Athens, Greece, May 18-20, 2009, Revised Selected
Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {13},
pages = {372--386},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03819-8\_35},
doi = {10.1007/978-3-642-03819-8\_35},
timestamp = {Thu, 22 Dec 2022 15:41:57 +0100},
biburl = {https://dblp.org/rec/conf/mobilight/HansenT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssd/HansenWJT09,
author = {Ren{\'{e}} Hansen and
Rico Wind and
Christian S. Jensen and
Bent Thomsen},
editor = {Nikos Mamoulis and
Thomas Seidl and
Torben Bach Pedersen and
Kristian Torp and
Ira Assent},
title = {Pretty Easy Pervasive Positioning},
booktitle = {Advances in Spatial and Temporal Databases, 11th International Symposium,
{SSTD} 2009, Aalborg, Denmark, July 8-10, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5644},
pages = {417--421},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02982-0\_31},
doi = {10.1007/978-3-642-02982-0\_31},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssd/HansenWJT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/NormarkTT08,
author = {Kurt N{\o}rmark and
Bent Thomsen and
Lone Leth Thomsen},
title = {Mapping and Visiting in Functional and Object-Oriented Programming},
journal = {J. Object Technol.},
volume = {7},
number = {7},
pages = {75--107},
year = {2008},
url = {https://doi.org/10.5381/jot.2008.7.7.a2},
doi = {10.5381/JOT.2008.7.7.A2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/NormarkTT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/BogholmKOTL08,
author = {Thomas B{\o}gholm and
Henrik Kragh{-}Hansen and
Petur Olsen and
Bent Thomsen and
Kim Guldstrand Larsen},
editor = {Gregory Bollella and
C. Douglass Locke},
title = {Model-based schedulability analysis of safety critical hard real-time
Java programs},
booktitle = {Proceedings of the 6th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2008, 24-26 September
2008, Santa Clara, California, {USA}},
series = {{ACM} International Conference Proceeding Series},
volume = {343},
pages = {106--114},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1434790.1434807},
doi = {10.1145/1434790.1434807},
timestamp = {Wed, 20 Apr 2022 10:08:38 +0200},
biburl = {https://dblp.org/rec/conf/jtres/BogholmKOTL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/HansenJTW08,
author = {Ren{\'{e}} Hansen and
Christian S. Jensen and
Bent Thomsen and
Rico Wind},
editor = {Vinny Cahill},
title = {Seamless indoor/outdoor positioning with streamspin},
booktitle = {5th Annual International Conference on Mobile and Ubiquitous Systems:
Computing, Networking, and Services, MobiQuitous 2008, July 21-25,
2008, Dublin, Ireland},
publisher = {{ICST} / {ACM}},
year = {2008},
url = {https://doi.org/10.4108/ICST.MOBIQUITOUS2008.4080},
doi = {10.4108/ICST.MOBIQUITOUS2008.4080},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobiquitous/HansenJTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Thomsen08,
author = {Bent Thomsen},
editor = {Jens Bennedsen and
Michael E. Caspersen and
Michael K{\"{o}}lling},
title = {Using On-Line Tutorials in Introductory {IT} Courses},
booktitle = {Reflections on the Teaching of Programming, Methods and Implementations},
series = {Lecture Notes in Computer Science},
volume = {4821},
pages = {68--74},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77934-6\_6},
doi = {10.1007/978-3-540-77934-6\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/Thomsen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/SchoeberlSTR07,
author = {Martin Schoeberl and
Hans S{\o}ndergaard and
Bent Thomsen and
Anders P. Ravn},
title = {A Profile for Safety Critical Java},
booktitle = {Tenth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2007), 7-9 May 2007, Santorini Island,
Greece},
pages = {94--101},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISORC.2007.9},
doi = {10.1109/ISORC.2007.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/SchoeberlSTR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/HansenT07,
author = {Ren{\'{e}} Hansen and
Bent Thomsen},
title = {Using Weighted Graphs for Computationally Efficient {WLAN} Location
Determination},
booktitle = {4th Annual International Conference on Mobile and Ubiquitous Systems
(MobiQuitous 2007), August 6-10, 2007, Philadelphia, PA, {USA}},
pages = {1--5},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MOBIQ.2007.4451008},
doi = {10.1109/MOBIQ.2007.4451008},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobiquitous/HansenT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/SondergaardTR06,
author = {Hans S{\o}ndergaard and
Bent Thomsen and
Anders P. Ravn},
editor = {Marc Richard{-}Foy},
title = {A Ravenscar-Java profile implementation},
booktitle = {Proceedings of the 4th international workshop on Java technologies
for real-time and embedded systems, {JTRES} '06, Paris, France, October
11-13, 2006},
pages = {38--47},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167999.1168008},
doi = {10.1145/1167999.1168008},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jtres/SondergaardTR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ThomsenA01,
author = {Bent Thomsen and
Samson Abramsky},
title = {A fully abstract denotational semantics for the calculus of higher-order
communicating systems},
journal = {Theor. Comput. Sci.},
volume = {254},
number = {1-2},
pages = {557--589},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00281-4},
doi = {10.1016/S0304-3975(00)00281-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ThomsenA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/phaunRS01/ThomsenT01,
author = {Bent Thomsen and
Lone Leth Thomsen},
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Towards Global Computations Guided by Concurrency Theory},
booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th
Century},
pages = {460--468},
publisher = {World Scientific},
year = {2001},
timestamp = {Sat, 03 Aug 2019 22:52:51 +0200},
biburl = {https://dblp.org/rec/books/ws/phaunRS01/ThomsenT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/DeganoPLT99,
author = {Pierpaolo Degano and
Corrado Priami and
Lone Leth Thomsen and
Bent Thomsen},
title = {Causality for Debugging Mobile Agents},
journal = {Acta Informatica},
volume = {36},
number = {5},
pages = {335--374},
year = {1999},
url = {https://doi.org/10.1007/s002360050164},
doi = {10.1007/S002360050164},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/DeganoPLT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/ThomsenT98,
author = {Bent Thomsen and
Lone Leth Thomsen},
title = {Towards Global Computations Guided by Concurrency Theory},
journal = {Bull. {EATCS}},
volume = {66},
pages = {92--99},
year = {1998},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/ThomsenT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Thomsen96,
author = {Bent Thomsen},
title = {Programming Languages, Analysis Tools, and Concurrency Theory},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {57},
year = {1996},
url = {https://doi.org/10.1145/242224.242297},
doi = {10.1145/242224.242297},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Thomsen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ThomsenLK96,
author = {Bent Thomsen and
Lone Leth Thomsen and
Tsung{-}Min Kuo},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {A Facile Tutorial},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {278--298},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_61},
doi = {10.1007/3-540-61604-7\_61},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/ThomsenLK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/NielsonCDDJMT96,
author = {Flemming Nielson and
Patrick Cousot and
Mads Dam and
Pierpaolo Degano and
Pierre Jouvelot and
Alan Mycroft and
Bent Thomsen},
editor = {Mads Dam},
title = {Logical and Operational Methods in the Analysis of Programs and Systems},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {1--21},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_1},
doi = {10.1007/3-540-62503-8\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/NielsonCDDJMT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/DeganoPLT96,
author = {Pierpaolo Degano and
Corrado Priami and
Lone Leth Thomsen and
Bent Thomsen},
editor = {Mads Dam},
title = {Analysis of Facile Programs: {A} Case Study},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {345--369},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_16},
doi = {10.1007/3-540-62503-8\_16},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/DeganoPLT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BorgiaDPLT96,
author = {Roberta Borgia and
Pierpaolo Degano and
Corrado Priami and
Lone Leth Thomsen and
Bent Thomsen},
editor = {Radhia Cousot and
David A. Schmidt},
title = {Understanding Mobile Agents via a Non-Interleaving Semantics for Facile},
booktitle = {Static Analysis, Third International Symposium, SAS'96, Aachen, Germany,
September 24-26, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1145},
pages = {98--112},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61739-6\_36},
doi = {10.1007/3-540-61739-6\_36},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BorgiaDPLT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LethT95,
author = {Lone Leth Thomsen and
Bent Thomsen},
title = {Some Facile Chemistry},
journal = {Formal Aspects Comput.},
volume = {7},
number = {3},
pages = {314--328},
year = {1995},
url = {https://doi.org/10.1007/BF01211076},
doi = {10.1007/BF01211076},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LethT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Thomsen95,
author = {Bent Thomsen},
title = {A Theory of Higher Order Communicating Systems},
journal = {Inf. Comput.},
volume = {116},
number = {1},
pages = {38--57},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1004},
doi = {10.1006/INCO.1995.1004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Thomsen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/AmadioLT95,
author = {Roberto M. Amadio and
Lone Leth Thomsen and
Bent Thomsen},
editor = {Horst Reichel},
title = {From a Concurrent Lambda-Calculus to the Pi-Calculus},
booktitle = {Fundamentals of Computation Theory, 10th International Symposium,
{FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {965},
pages = {106--115},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60249-6\_43},
doi = {10.1007/3-540-60249-6\_43},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/AmadioLT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Thomsen93,
author = {Bent Thomsen},
title = {Plain {CHOCS:} {A} Second Generation Calculus for Higher Order Processes},
journal = {Acta Informatica},
volume = {30},
number = {1},
pages = {1--59},
year = {1993},
url = {https://doi.org/10.1007/BF01200262},
doi = {10.1007/BF01200262},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Thomsen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/AndreoliLPT93,
author = {Jean{-}Marc Andreoli and
Lone Leth Thomsen and
Remo Pareschi and
Bent Thomsen},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {True Concurrency Semantics for a Linear Logic Programming Language
with Braodcast Communication},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {182--198},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_64},
doi = {10.1007/3-540-56610-4\_64},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/AndreoliLPT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/ThomsenLG92,
author = {Bent Thomsen and
Lone Leth Thomsen and
Alessandro Giacalone},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Some Issues in the Semantics of Facile Distributed Programming},
booktitle = {Sematics: Foundations and Applications, {REX} Workshop, Beekbergen,
The Netherlands, June 1-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {666},
pages = {563--593},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56596-5\_47},
doi = {10.1007/3-540-56596-5\_47},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/ThomsenLG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LarsenT91,
author = {Kim Guldstrand Larsen and
Bent Thomsen},
title = {Partial Specifications and Compositional Verification},
journal = {Theor. Comput. Sci.},
volume = {88},
number = {1},
pages = {15--32},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90071-9},
doi = {10.1016/0304-3975(91)90071-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LarsenT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Thomsen90,
author = {Bent Thomsen},
title = {Calculi for higher order communicating systems},
school = {Imperial College London, {UK}},
year = {1990},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.243859},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Thomsen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Thomsen89,
author = {Bent Thomsen},
title = {A Calculus of Higher Order Communicating Systems},
booktitle = {Conference Record of the Sixteenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 11-13, 1989},
pages = {143--154},
publisher = {{ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/75277.75290},
doi = {10.1145/75277.75290},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Thomsen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LarsenT88,
author = {Kim Guldstrand Larsen and
Bent Thomsen},
title = {A Modal Process Logic},
booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
{(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
pages = {203--210},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/LICS.1988.5119},
doi = {10.1109/LICS.1988.5119},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/LarsenT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LarsenT88,
author = {Kim Guldstrand Larsen and
Bent Thomsen},
editor = {Michal Chytil and
Ladislav Janiga and
V{\'{a}}clav Koubek},
title = {Compositional Proofs by Partial Specification of Processes},
booktitle = {Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad,
Czechoslovakia, August 29 - September 2, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {324},
pages = {414--423},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0017164},
doi = {10.1007/BFB0017164},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LarsenT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-02 00:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
