sign in · help · news · about ·

BibSonomy :: author :: Huisman ::

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

(113)

<< < 1 | 2 | 3 > >>

Fault simulation of logic designs on parallel processors with distributed memory.
Leendert M. Huisman, and Raja Daoud ITC, page 690-697. IEEE Computer Society, (1990)
to dblp by dblp on Feb 9, 2012, 12:00 AM
URL | BibTeX
Correlations between path delays and the accuracy of performance prediction.
Leendert M. Huisman ITC, page 801-808. IEEE Computer Society, (1998)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
The Effect on Quality of Non-Uniform Fault Coverage and Fault Probability.
Peter C. Maxwell, Robert C. Aitken, and Leendert M. Huisman ITC, page 739-746. IEEE Computer Society, (1994)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
A Small Test Generator for Large Designs.
Sandip Kundu, Leendert M. Huisman, Indira Nair, Vijay S. Iyengar, and Lakshmi N. Reddy ITC, page 30-40. IEEE Computer Society, (1992)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
Diagnosing combinational logic designs using the single location at-a-time SLAT paradigm.
Thomas Bartenstein, Douglas Heaberlin, Leendert M. Huisman, and David Sliwinski ITC, page 287-296. IEEE Computer Society, (2001)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
Model-Checking Secure Information Flow for Multi-threaded Programs.
Marieke Huisman, and Henri-Charles Blondeel TOSCA, volume 6993 of Lecture Notes in Computer Science, page 148-165. Springer, (2011)
to dblp by dblp on Jan 31, 2012, 12:00 AM
URL | BibTeX
The VerCors project: setting up basecamp.
Afshin Amighi, Stefan Blom, Marieke Huisman, and Marina Zaharieva-Stojanovski PLPV, page 71-82. ACM, (2012)
to dblp by dblp on Jan 27, 2012, 12:00 AM
URL | BibTeX
Systems Development Methodology Use in South Africa.
Magda Huisman, and Juhani Iivari AMCIS, page 129. Association for Information Systems, (2003)
to dblp by dblp on Jan 9, 2012, 12:00 AM
URL | BibTeX
Complex Dynamics in the Plankton: Computational Science Applied to the World's Oceans.
J. Huisman, Ben P. Sommeijer, and N. N. Pham Thi e-Science, page 5. IEEE Computer Society, (2006)
to dblp by dblp on Jan 6, 2012, 12:00 AM
URL | BibTeX
Combining Ontology Development Methodologies and Semantic Web Platforms for E-government Domain Ontology Development
Jean Vincent Fonou Dombeu, and Magda Huisman CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Semantic-Driven e-Government:
Jean Vincent Fonou Dombeu, and Magda Huisman CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Using Extreme Programming in a Maintenance Environment.
Charles J. Poole, and Jan Willem Huisman IEEE Software 18(6):42-50 (2001)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Highly Reliable Symmetric Networks.
Leendert M. Huisman, and Sandip Kundu IEEE Trans. Parallel Distrib. Syst. 5(1):94-97 (1994)
to dblp by dblp on Nov 3, 2011, 12:00 AM
URL | BibTeX
ProMoVer: Modular Verification of Temporal Safety Properties.
Siavash Soleimanifard, Dilian Gurov, and Marieke Huisman SEFM, volume 7041 of Lecture Notes in Computer Science, page 366-381. Springer, (2011)
to dblp by dblp on Oct 25, 2011, 12:00 AM
URL | BibTeX
Required Accuracy of MR-US Registration for Prostate Biopsies.
Wendy J. M. van de Ven, Geert J. S. Litjens, Jelle O. Barentsz, Thomas Hambrock, and Henkjan J. Huisman Prostate Cancer Imaging, volume 6963 of Lecture Notes in Computer Science, page 92-99. Springer, (2011)
to dblp by dblp on Oct 18, 2011, 12:00 AM
URL | BibTeX
Computer Aided Detection of Prostate Cancer Using T2, DWI and DCE MRI: Methods and Clinical Applications.
Henkjan J. Huisman, Pieter C. Vos, Geert J. S. Litjens, Thomas Hambrock, and Jelle O. Barentsz Prostate Cancer Imaging, volume 6367 of Lecture Notes in Computer Science, page 4-14. Springer, (2010)
to dblp by dblp on Oct 18, 2011, 12:00 AM
URL | BibTeX
Checking Absence of Illicit Applet Interactions: A Case Study.
Marieke Huisman, Dilian Gurov, Christoph Sprenger, and Gennady Chugunov FASE, volume 2984 of Lecture Notes in Computer Science, page 84-98. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Semi-automatic Image Registration of MRI to CT Data of the Prostate Using Gold Markers as Fiducials.
J. A. van Dalen, Henkjan J. Huisman, A. Welmers, and Jelle O. Barentsz WBIR, volume 2717 of Lecture Notes in Computer Science, page 311-320. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
CHASE: A Static Checker for JML's Assignable Clause.
Néstor Cataño, and Marieke Huisman VMCAI, volume 2575 of Lecture Notes in Computer Science, page 26-40. Springer, (2003)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
Extending JML Specifications with Temporal Logic.
Kerry Trentelman, and Marieke Huisman AMAST, volume 2422 of Lecture Notes in Computer Science, page 334-348. Springer, (2002)
to dblp by dblp on Jul 1, 2011, 12:00 AM
URL | BibTeX

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