sign in · help · news · about ·

BibSonomy :: author :: Seger ::

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

(89)

<< < 1 | 2 | 3 > >>

Model-based atrial and ventricular myocardium extraction.
Bernhard Pfeifer, Friedrich Hanser, Christoph Hintermüller, Robert Modre-Osprian, Gerald Fischer, Michael Seger, and Bernhard Tilg CARS, volume 1268 of International Congress Series, page 1370. Elsevier, (2004)
to dblp by dblp and 1 other user on Feb 13, 2012, 12:00 AM
URL | BibTeX
Boundary conditions for applying argumentative diagrams.
Marije van Amelsvoort, and Seger Breugelmans CSCL, page 724-726. International Society of the Learning Sciences / ACM DL, (2007)
to dblp by dblp on Dec 13, 2011, 12:00 AM
URL | BibTeX
Robust Storage Structures for Crash Recovery.
David J. Taylor, and Carl-Johan H. Seger IEEE Trans. Computers 35(4):288-295 (1986)
to dblp by dblp on Oct 27, 2011, 12:00 AM
URL | BibTeX
KD3 A Workflow-Based Application for Exploration of Biomedical Data Sets.
Andreas Dander, Michael Handler, Michael Netzer, Bernhard Pfeifer, Michael Seger, and Christian Baumgartner T. Large-Scale Data- and Knowledge-Centered Systems (2011)
to dblp by dblp on Oct 14, 2011, 12:00 AM
URL | BibTeX
On the Existence of Speed-Independent Circuits.
Carl-Johan H. Seger Theor. Comput. Sci. 86(2):343-364 (1991)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
An Optimistic Ternary Simulation of Gate Races.
Carl-Johan H. Seger, and Janusz A. Brzozowski Theor. Comput. Sci. (1988)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Interactions within and between Corticostriatal Loops during Component Processes of Category Learning.
Dan Lopez-Paniagua, and Carol A. Seger J. Cognitive Neuroscience 23(10):3068-3083 (2011)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
The Story Behind Network Defense.
Kari J. Lippert, and Robert A. Seger ITNG, page 909-913. IEEE Computer Society, (2011)
to dblp by dblp on Aug 12, 2011, 12:00 AM
URL | BibTeX
Online Noninvasive Localization of Accessory Pathways in the EP Lab.
Michael Seger, Gerald Fischer, Robert Modre, Bernhard Pfeifer, Friedrich Hanser, Christoph Hintermüller, Florian Hintringer, Franz Xaver Roithinger, Thomas Trieb, Michael Schocke, and Bernhard Tilg MICCAI 2, volume 3217 of Lecture Notes in Computer Science, page 502-509. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Rotation Invariance in Gradient and Higher Order Derivative Detectors.
Per-Erik Danielsson, and Olle Seger Computer Vision, Graphics, and Image Processing 49(2):198-221 (1990)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
Compositional Specification and Model Checking in GSTE.
Jin Yang, and Carl-Johan H. Seger CAV, volume 3114 of Lecture Notes in Computer Science, page 216-228. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
On 3D Scanning, Reconstruction, Enhancement, and Segmentation of Logs.
Katarina Flood, Per-Erik Danielsson, and Maria Magnusson Seger SCIA, volume 2749 of Lecture Notes in Computer Science, page 733-740. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Generalized Symbolic Trajectory Evaluation - Abstraction in Action.
Jin Yang, and Carl-Johan H. Seger FMCAD, volume 2517 of Lecture Notes in Computer Science, page 70-87. Springer, (2002)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
Model Checking Lattices: Using and reasoning about information orders for abstraction.
Scott Hazelhurst, and Carl-Johan H. Seger Logic Journal of the IGPL 7(3):375-411 (1999)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
CLEVER: Divide and Conquer Combinational Logic Equivalence VERification with False Negative Elimination.
John Moondanos, Carl-Johan H. Seger, Ziyad Hanna, and Daher Kaiss CAV, volume 2102 of Lecture Notes in Computer Science, page 131-143. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Self-Consistency Checking.
Robert B. Jones, Carl-Johan H. Seger, and David L. Dill FMCAD, volume 1166 of Lecture Notes in Computer Science, page 159-171. Springer, (1996)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving.
Mark Aagaard, Robert B. Jones, and Carl-Johan H. Seger TPHOLs, volume 1690 of Lecture Notes in Computer Science, page 323-340. Springer, (1999)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
Formal Methods in CAD from an Industrial Perspective abstract.
Carl-Johan H. Seger FMCAD, volume 1522 of Lecture Notes in Computer Science, page 203. Springer, (1998)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Factors influencing alert acceptance: a novel approach for predicting the success of clinical decision support.
Hanna M. Seidling, Shobha Phansalkar, Diane L. Seger, Marilyn D. Paterno, Shimon Shaykevich, Walter E. Haefeli, and David W. Bates JAMIA 18(4):479-484 (2011)
to dblp by dblp on Jun 16, 2011, 12:00 AM
URL | BibTeX
Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories.
Carl-Johan H. Seger, and Randal E. Bryant Formal Methods in System Design 6(2):147-189 (1995)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX

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