|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 25 occurrences of 22 keywords
|
|
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft |
Schedulability Analysis Abstractions for Safety Critical Java.  |
ISORC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm |
Refactoring Real-Time Java Profiles. |
ISORC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lone Leth Thomsen, Bent Thomsen, Kurt Nørmark |
Computational Abstraction Steps. |
Journal of Object Technology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Hans Søndergaard, Bent Thomsen |
Formal Modelling and Analysis of Predictable Java. |
ERCIM News |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard |
Schedulability analysis for Java finalizers. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
schedulability, Java, model checking, real-time, finalizers |
| 1 | René Hansen, Bent Thomsen |
Efficient and Accurate WLAN Positioning with Weighted Graphs. |
MOBILIGHT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard |
A predictable Java profile: rationale and implementations. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
Java, real-time |
| 1 | René Hansen, Rico Wind, Christian S. Jensen, Bent Thomsen |
Seamless Indoor/Outdoor Positioning Handover for Location-Based Services in Streamspin. |
Mobile Data Management |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | René Hansen, Rico Wind, Christian S. Jensen, Bent Thomsen |
Pretty Easy Pervasive Positioning. |
SSTD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Nørmark, Bent Thomsen, Lone Leth Thomsen |
Mapping and Visiting in Functional and Object-Oriented Programming. |
Journal of Object Technology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bent Thomsen |
Using On-Line Tutorials in Introductory IT Courses. |
Reflections on the Teaching of Programming |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | René Hansen, Christian S. Jensen, Bent Thomsen, Rico Wind |
Seamless indoor/outdoor positioning with streamspin. |
MobiQuitous |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen |
Model-based schedulability analysis of safety critical hard real-time Java programs. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
real-time systems, model checking, schedulability analysis, software verification, real-time Java, Java processor |
| 1 | René Hansen, Bent Thomsen |
Using Weighted Graphs for Computationally Efficient WLAN Location Determination. |
MobiQuitous |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn |
A Profile for Safety Critical Java. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bent Thomsen, Lone Leth Thomsen |
Towards Global Computations Guided by Concurrency Theory. |
Current Trends in Theoretical Computer Science |
2001 |
DBLP BibTeX RDF |
|
| 1 | Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen |
Causality for Debugging Mobile Agents. |
Acta Inf. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bent Thomsen, Lone Leth Thomsen |
Towards Global Computations Guided by Concurrency Theory. |
Bulletin of the EATCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Bent Thomsen |
Programming Languages, Analysis Tools, and Concurrency Theory. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bent Thomsen, Lone Leth, Tsung-Min Kuo |
A Facile Tutorial. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen |
Logical and Operational Methods in the Analysis of Programs and Systems. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen |
Analysis of Facile Programs: A Case Study. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen |
Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. |
SAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Lone Leth, Bent Thomsen |
Some Facile Chemistry. |
Formal Asp. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Bent Thomsen |
A Theory of Higher Order Communicating Systems |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto M. Amadio, Lone Leth, Bent Thomsen |
From a Concurrent Lambda-Calculus to the Pi-Calculus. |
FCT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Bent Thomsen |
Plain CHOCS: A Second Generation Calculus for Higher Order Processes. |
Acta Inf. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Andreoli, Lone Leth, Remo Pareschi, Bent Thomsen |
True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
Chemical Abstract Machines, Concurrent, Broadcasting, Linear Logic, Rewriting, True Concurrency |
| 1 | Bent Thomsen, Lone Leth, Alessandro Giacalone |
Some Issues in the Semantics of Facile Distributed Programming. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
Theory of Concurrency, Distributed Computing, Programming Languages, Functional Programming, Time, Failure, Programming Language Semantics |
| 1 | Kim Guldstrand Larsen, Bent Thomsen |
Partial Specifications and Compositional Verification. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Bent Thomsen |
A Calculus of Higher Order Communicating Systems. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
CCS |
| 1 | Kim Guldstrand Larsen, Bent Thomsen |
Compositional Proofs by Partial Specification of Processes. |
MFCS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Bent Thomsen |
A Modal Process Logic |
LICS |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")