sign in · help · news · about ·

BibSonomy :: author :: Lassen ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(70)

<< < 1 | 2 | 3 > >>

Standards for reporting randomized controlled trials in medical informatics: a systematic review of CONSORT adherence in RCTs on clinical decision support.
K. M. Augestad, G. Berntsen, K. Lassen, Johan Gustav Bellika, R. Wootton, and R. O. Lindsetmo JAMIA 19(1):13-21 (2012)
to dblp by dblp on Feb 2, 2012, 12:00 AM
URL | BibTeX
Eager Normal Form Bisimulation.
Soren Lassen LICS, page 345-354. IEEE Computer Society, (2005)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Care to Share? Social innovation through low-budget, high impact welfare technologies.
Mark Asboe, Erik Grönvall, and Henry Michael Lassen PervasiveHealth, page 568-571. IEEE, (2011)
to dblp by dblp on Dec 19, 2011, 12:00 AM
URL | BibTeX
Inference with Constrained Hidden Markov Models in PRISM
Henning Christiansen, Christian Theil Have, Ole Torp Lassen, and Matthieu Petit CoRR (2010)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Semantics-Based Approach to Retrieving Biomedical Information.
Troels Andreasen, Henrik Bulskov, Sine Zambach, Tine Lassen, Bodil Nistrup Madsen, Per Anker Jensen, Hanne Erdman Thomsen, and Jørgen Fischer Nilsson FQAS, volume 7022 of Lecture Notes in Computer Science, page 108-118. Springer, (2011)
to dblp by dblp on Nov 15, 2011, 12:00 AM
URL | BibTeX
A lexical framework for semantic annotation of positive and negative regulation relations in biomedical pathways.
Sine Zambach, and Tine Lassen Semantic Mining in Biomedicine, volume 714 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)
to dblp by dblp on Nov 10, 2011, 12:00 AM
URL | BibTeX
The ontogram-approach to text processing and semantic relation spotting for indexing.
Troels Andreasen, Henrik Bulskov, Per Anker Jensen, and Tine Lassen FSKD, page 1840-1846. IEEE, (2011)
to dblp by dblp on Sep 16, 2011, 12:00 AM
URL | BibTeX
Bayesian Annotation Networks for Complex Sequence Analysis.
Henning Christiansen, Christian Theil Have, Ole Torp Lassen, and Matthieu Petit ICLP Technical Communications, volume 11 of LIPIcs, page 220-230. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)
to dblp by dblp on Jul 11, 2011, 12:00 AM
URL | BibTeX
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.
Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, and Kurt Jensen ICATPN, volume 2679 of Lecture Notes in Computer Science, page 450-462. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Combining many multiple alignments in one improved alignment.
K. Bucka-Lassen, O. Caprani, and J. Hein Bioinformatics 15(2):122-130 (1999)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets.
Michel Beaudouin-Lafon, Wendy E. Mackay, Peter Andersen, Paul Janecek, Mads Jensen, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, and Kurt Jensen ICATPN, volume 2075 of Lecture Notes in Computer Science, page 71-80. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Extracting Conceptual Feature Structures from Text.
Troels Andreasen, Henrik Bulskov, Per Anker Jensen, and Tine Lassen ISMIS, volume 6804 of Lecture Notes in Computer Science, page 396-406. Springer, (2011)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS.
Michel Beaudouin-Lafon, Wendy E. Mackay, Mads Jensen, Peter Andersen, Paul Janecek, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, and Kurt Jensen TACAS, volume 2031 of Lecture Notes in Computer Science, page 574-577. Springer, (2001)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context.
S. Lassen Electr. Notes Theor. Comput. Sci. (1999)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions.
Søren B. Lassen, and Corin Pitcher Electr. Notes Theor. Comput. Sci. (1997)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
Imprecise Exceptions, Co-Inductively.
Andrew Moran, Søren B. Lassen, and Simon L. Peyton Jones Electr. Notes Theor. Comput. Sci. (1999)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
Compilation and Equivalence of Imperative Objects.
Andrew D. Gordon, Paul D. Hankin, and Søren B. Lassen FSTTCS, volume 1346 of Lecture Notes in Computer Science, page 74-87. Springer, (1997)
to dblp by dblp on Jun 16, 2011, 12:00 AM
URL | BibTeX
Compilation and Equivalence of Imperative Objects.
Andrew D. Gordon, Paul D. Hankin, and Søren B. Lassen J. Funct. Program. 9(4):373-426 (1999)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Action Semantics Reasoning about Functional Programs.
Søren B. Lassen Mathematical Structures in Computer Science 7(5):557-589 (1997)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
An Executable Subset of VDM-SL, in an SA/RT Framework.
René Elmstrøm, Poul Bøgh Lassen, and Michael Andersen Real-Time Systems 5(2-3):197-211 (1993)
to dblp by dblp on Jun 3, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100