Bent Thomsen - RankMe

58 papers A* 2B 6C 7Journal 20Unranked 20

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Amalgam: Hybrid LLM-PGM Synthesis Algorithm for Accuracy and Realism. CoRR Antheas Kapenekakis, Bent Thomsen, Katja Hose, Michele Albano
2026	—	`conf`	Sustainable Software Development: New Challenges for Programming, Language Design and Analysis. Languages, Compilers, Analysis Bent Thomsen, Lone Leth Thomsen, Thomas Bøgholm
2025	J	`jnl`	Teaching Energy-Efficient Software - An Experience Report. CoRR Henrik Bærbak Christensen, Maja Hanne Kirkeby, Bent Thomsen, Lone Leth Thomsen
2022	J	`jnl`	On the cost semantics for spreadsheets with sheet-defined functions. J. Comput. Lang. Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen
2021	—	`conf`	An Approach to Estimating Energy Consumption of Web-based IT Systems. CERCIRAS Maja H. Kirkeby, John P. Gallagher, Bent Thomsen
2020	J	`jnl`	On the semantics for spreadsheets with sheet-defined functions. J. Comput. Lang. Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen
2018	—	`conf`	Analyzing Spreadsheets for Parallel Execution via Model Checking. Models, Mindsets, Meta Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen
2017	—	`conf`	Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking. Models, Algorithms, Logics and Tools Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm
2017	J	`jnl`	HVM Concurr. Comput. Pract. Exp. Kasper Søe Luckow, Bent Thomsen, Stephan Erbs Korsholm
2016	J	`jnl`	Assessing Problem-Based Learning in a Software Engineering Curriculum Using Bloom's Taxonomy and the IEEE Software Engineering Body of Knowledge. ACM Trans. Comput. Educ. Peter Dolog, Lone Leth Thomsen, Bent Thomsen
2016	—	`conf`	Discount method for programming language evaluation. PLATEAU@SPLASH Svetomir Kurtev, Tommy Aagaard Christensen, Bent Thomsen
2015	—	`conf`	From Safety Critical Java Programs to Timed Process Models. Programming Languages with Applications to Biology and Security Bent Thomsen, Kasper Søe Luckow, Lone Leth Thomsen, Thomas Bøgholm
2015	J	`jnl`	Symbolic execution and timed automata model checking for timing analysis of Java real-time systems. EURASIP J. Embed. Syst. Kasper Søe Luckow, Corina S. Pasareanu, Bent Thomsen
2014	—	`conf`	HVMTP: A Time Predictable and Portable Java Virtual Machine for Hard Real-Time Embedded Systems. JTRES Kasper Søe Luckow, Bent Thomsen, Stephan Erbs Korsholm
2013	—	`conf`	SmartCampusAAU - An Open Platform Enabling Indoor Positioning and Navigation. MDM (2) René Hansen, Bent Thomsen, Lone Leth Thomsen, Filip Stubkjaer Adamsen
2013	—	`conf`	TetaSARTS: a tool for modular timing analysis of safety critical Java systems. JTRES Kasper Søe Luckow, Thomas Bøgholm, Bent Thomsen, Kim Guldstrand Larsen
2013	J	`jnl`	Towards harnessing theories through tool support for hard real-time Java programming. Innov. Syst. Softw. Eng. Thomas Bøgholm, Christian Frost, René Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders P. Ravn, Hans Søndergaard, Bent Thomsen
2012	J	`jnl`	Daisy: the center for data-intensive systems at Aalborg University. SIGMOD Rec. Hua Lu, Torben Bach Pedersen, Simonas Saltenis, Bent Thomsen, Lone Leth Thomsen, Kristian Torp
2012	C	`conf`	Object-oriented programming with gradual abstraction. DLS Kurt Nørmark, Lone Leth Thomsen, Bent Thomsen
2012	C	`conf`	Schedulability Analysis Abstractions for Safety Critical Java. ISORC Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft
2011	—	`conf`	Bluetooth Indoor Positioning System Using Fingerprinting. MOBILIGHT Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen, René Hansen
2011	C	`conf`	Refactoring Real-Time Java Profiles. ISORC Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm
2011	—	`conf`	WCET analysis of Java bytecode featuring common execution environments. JTRES Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen
2010	C	`conf`	Algorithmic strategies for adapting to environmental changes in 802.11 location fingerprinting. IPIN René Hansen, Rico Wind, Christian S. Jensen, Bent Thomsen
2010	J	`jnl`	Computational Abstraction Steps. J. Object Technol. Lone Leth Thomsen, Bent Thomsen, Kurt Nørmark
2010	J	`jnl`	Formal Modelling and Analysis of Predictable Java. ERCIM News Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Hans Søndergaard, Bent Thomsen
2010	—	`conf`	Schedulability analysis for Java finalizers. JTRES Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard
2009	—	`conf`	A predictable Java profile: rationale and implementations. JTRES Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard
2009	—	`conf`	Efficient and Accurate WLAN Positioning with Weighted Graphs. MOBILIGHT René Hansen, Bent Thomsen
2009	B	`conf`	Pretty Easy Pervasive Positioning. SSTD René Hansen, Rico Wind, Christian S. Jensen, Bent Thomsen
2009	B	`conf`	Seamless Indoor/Outdoor Positioning Handover for Location-Based Services in Streamspin. Mobile Data Management René Hansen, Rico Wind, Christian S. Jensen, Bent Thomsen
2008	J	`jnl`	Mapping and Visiting in Functional and Object-Oriented Programming. J. Object Technol. Kurt Nørmark, Bent Thomsen, Lone Leth Thomsen
2008	—	`conf`	Model-based schedulability analysis of safety critical hard real-time Java programs. JTRES Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen
2008	C	`conf`	Seamless indoor/outdoor positioning with streamspin. MobiQuitous René Hansen, Christian S. Jensen, Bent Thomsen, Rico Wind
2008	—	`ch.`	Using On-Line Tutorials in Introductory IT Courses. Reflections on the Teaching of Programming Bent Thomsen
2007	C	`conf`	A Profile for Safety Critical Java. ISORC Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn
2007	C	`conf`	Using Weighted Graphs for Computationally Efficient WLAN Location Determination. MobiQuitous René Hansen, Bent Thomsen
2006	—	`conf`	A Ravenscar-Java profile implementation. JTRES Hans Søndergaard, Bent Thomsen, Anders P. Ravn
2001	J	`jnl`	A fully abstract denotational semantics for the calculus of higher-order communicating systems. Theor. Comput. Sci. Bent Thomsen, Samson Abramsky
2001	—	`ch.`	Towards Global Computations Guided by Concurrency Theory. Current Trends in Theoretical Computer Science Bent Thomsen, Lone Leth Thomsen
1999	J	`jnl`	Causality for Debugging Mobile Agents. Acta Informatica Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen
1998	J	`jnl`	Towards Global Computations Guided by Concurrency Theory. Bull. EATCS Bent Thomsen, Lone Leth Thomsen
1996	B	`conf`	A Facile Tutorial. CONCUR Bent Thomsen, Lone Leth Thomsen, Tsung-Min Kuo
1996	—	`conf`	Analysis of Facile Programs: A Case Study. LOMAPS Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen
1996	—	`conf`	Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen
1996	J	`jnl`	Programming Languages, Analysis Tools, and Concurrency Theory. ACM Comput. Surv. Bent Thomsen
1996	B	`conf`	Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. SAS Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen
1995	J	`jnl`	A Theory of Higher Order Communicating Systems Inf. Comput. Bent Thomsen
1995	B	`conf`	From a Concurrent Lambda-Calculus to the Pi-Calculus. FCT Roberto M. Amadio, Lone Leth Thomsen, Bent Thomsen
1995	J	`jnl`	Some Facile Chemistry. Formal Aspects Comput. Lone Leth Thomsen, Bent Thomsen
1993	J	`jnl`	Plain CHOCS: A Second Generation Calculus for Higher Order Processes. Acta Informatica Bent Thomsen
1993	—	`conf`	True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication. TAPSOFT Jean-Marc Andreoli, Lone Leth Thomsen, Remo Pareschi, Bent Thomsen
1992	—	`conf`	Some Issues in the Semantics of Facile Distributed Programming. REX Workshop Bent Thomsen, Lone Leth Thomsen, Alessandro Giacalone
1991	J	`jnl`	Partial Specifications and Compositional Verification. Theor. Comput. Sci. Kim Guldstrand Larsen, Bent Thomsen
1990	—	`—`	Calculi for higher order communicating systems. Bent Thomsen
1989	A*	`conf`	A Calculus of Higher Order Communicating Systems. POPL Bent Thomsen
1988	A*	`conf`	A Modal Process Logic LICS Kim Guldstrand Larsen, Bent Thomsen
1988	B	`conf`	Compositional Proofs by Partial Specification of Processes. MFCS Kim Guldstrand Larsen, Bent Thomsen