sign in · help · news · about ·

BibSonomy :: author :: Hillebrand ::

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

(87)

<< < 1 | 2 | 3 > >>

Semi-supervised Training Set Adaption to Unknown Countries for Traffic Sign Classifiers.
Matthias Hillebrand, Christian Wöhler, Ulrich Kreßel, and Franz Kummert PSL, volume 7081 of Lecture Notes in Computer Science, page 120-127. Springer, (2011)
to dblp by dblp on Feb 9, 2012, 12:00 AM
URL | BibTeX
Automatic Segmentation of Unstained Living Cells in Bright-Field Microscope Images.
Marko Tscherepanow, Frank Zöllner, Matthias Hillebrand, and Franz Kummert MDA, volume 5108 of Lecture Notes in Computer Science, page 158-172. Springer, (2006)
to dblp by dblp on Feb 9, 2012, 12:00 AM
URL | BibTeX
Database Query Languages Embedded in the Typed Lambda Calculus
Gerd G. Hillebrand, Paris C. Kanellakis, and Harry G. Mairson LICS, page 332-343. IEEE Computer Society, (1993)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi.
Gerd G. Hillebrand, and Paris C. Kanellakis LICS, page 253-263. IEEE Computer Society, (1996)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Undecidable Boundedness Problems for Datalog Programs.
Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, and Moshe Y. Vardi J. Log. Program. 25(2):163-190 (1995)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
Application of relation analysis to a small Java software
J. Itkonen, M. Hillebrand, and V. Lappalainen Software Maintenance and Reengineering, 2004. CSMR 2004. Proceedings. Eighth European Conference on, page 233 - 239. (March 2004)
to Java analysis coupling cvs by ji and 1 other user on Nov 25, 2011, 10:54 AM
DOI | BibTeX
Establishing Confidence in the Usage of Software Tools in Context of ISO 26262.
Joachim Hillebrand, Peter Reichenpfader, Irenka Mandic, Hannes Siegl, and Christian Peer SAFECOMP, volume 6894 of Lecture Notes in Computer Science, page 257-269. Springer, (2011)
to dblp by dblp on Sep 8, 2011, 12:00 AM
URL | BibTeX
Grid Protocols Based on Synchronous Communication.
Jan A. Bergstra, Joris A. Hillebrand, and Alban Ponse Sci. Comput. Program. 29(1-2):199-233 (1997)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
A Fuzzy Logic Approach to HREM Image Analysis of III-V Compounds.
R. Hillebrand, and U. Gösele Inf. Sci. 94(1-4):247-260 (1996)
to dblp by dblp on Aug 29, 2011, 12:00 AM
URL | BibTeX
A Fuzzy Logic Approach to Edge Detection in HREM Images of III-V Crystals.
R. Hillebrand, P. P. Wang, and U. Gösele Inf. Sci. 93(3):321-338 (1996)
to dblp by dblp on Aug 29, 2011, 12:00 AM
URL | BibTeX
Neural networks for HREM image analysis.
Holger Kirschner, and Reinald Hillebrand Inf. Sci. 129(1-4):31-44 (2000)
to dblp by dblp on Aug 29, 2011, 12:00 AM
URL | BibTeX
Database Query Languages Embedded in the Typed Lambda Calculus.
Gerd G. Hillebrand, Paris C. Kanellakis, and Harry G. Mairson Inf. Comput. 127(2):117-144 (1996)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
The 1st Verified Software Competition: Experience Report.
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, and Benjamin Weiß FM, volume 6664 of Lecture Notes in Computer Science, page 154-168. Springer, (2011)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
NAS Integer Sort on Multi-threaded Shared Memory Machines.
Thomas Grün, and Mark A. Hillebrand Euro-Par, volume 1470 of Lecture Notes in Computer Science, page 999-1009. Springer, (1998)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Mobile Communities - Extending Online Communities into the Real World.
Christian Hillebrand, Georg Groh, and Michael Koch Mobile and Collaborative Business, volume 16 of LNI, page 7-17. GI, (2002)
to dblp by dblp and 5 other users on May 31, 2011, 12:00 AM
URL | BibTeX
Modular specification and verification of interprocess communication.
Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, and Hristo Pentchev FMCAD, page 167-174. IEEE, (2010)
to dblp by dblp on May 23, 2011, 12:00 AM
URL | BibTeX
Verifying shadow page table algorithms.
Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, and Wolfgang J. Paul FMCAD, page 267-270. IEEE, (2010)
to dblp by dblp on May 23, 2011, 12:00 AM
URL | BibTeX
Magnetoencephalogram.
Gareth Barnes, Arjan Hillebrand, and Masayuki Hirata Scholarpedia 5(7):3172 (2010)
to dblp by dblp on May 16, 2011, 12:00 AM
URL | BibTeX
Gaussian mixtures for intensity modeling of spots in microscopy.
Kangyu Pan, Anil C. Kokaram, Jens Hillebrand, and Mani Ramaswami ISBI, page 121-124. IEEE, (2010)
to dblp by dblp on Mar 1, 2011, 12:00 AM
URL | BibTeX
Gaussian mixture models for spots in microscopy using a new split/merge em algorithm.
Kangyu Pan, Anil C. Kokaram, Jens Hillebrand, and Mani Ramaswami ICIP, page 3645-3648. IEEE, (2010)
to dblp by dblp on Dec 14, 2010, 12:00 AM
URL | BibTeX

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