sign in · help · news · about ·

BibSonomy :: author :: Hagen ::

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

(826)

<< < 1 | 2 | 3 > >>

Verifying safety properties of Lustre programs: an SMT-based approach
George Hagen Department of Computer Science. The University of Iowa, (2008)
to smt by henningb on Feb 9, 2012, 11:53 AM
URL | BibTeX
Organic TFTs: Vacuum-Deposited Small-Molecule Semiconductors.
Hagen Klauk Handbook of Visual Display Technology, Springer, (2012)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
Visualization and multivariate clustering of scattered moment tensors.
Harald Obermaier, Magali I. Billen, Kenneth I. Joy, Hans Hagen, and Martin Hering-Bertram Information Visualization 11(1):43-59 (2012)
to dblp by dblp on Jan 31, 2012, 12:00 AM
URL | BibTeX
A Decentralized Group Privacy Protocol for Vehicular Networks.
Hagen Stübing, Marco Pfalzgraf, and Sorin A. Huss SocialCom/PASSAT, page 1147-1154. IEEE, (2011)
to dblp by dblp on Jan 30, 2012, 12:00 AM
URL | BibTeX
Flussraummanagement zur Klimaanpassung
Alexander Dürnagel, and Hagen Ayink Informationen zur Raumentwicklung (2008)
to imported by g1_reklan on Jan 18, 2012, 11:59 AM
BibTeX
Implementing computer-based assessment - A web-based mock examination changes attitudes.
Tobias Deutsch, Kristin Herrmann, Thomas Frese, and Hagen Sandholzer Computers & Education 58(4):1068-1075 (2012)
to dblp by dblp on Jan 17, 2012, 12:00 AM
URL | BibTeX
A 3.3 V 6-Bit 100 kS/s Current-Steering Digital-to-Analog Converter Using Organic P-Type Thin-Film Transistors on Glass.
Tarek Zaki, Frederik Ante, Ute Zschieschang, Joerg Butschke, Florian Letzkus, Harald Richter, Hagen Klauk, and Joachim N. Burghartz J. Solid-State Circuits 47(1):292-300 (2012)
to dblp by dblp on Jan 16, 2012, 12:00 AM
URL | BibTeX
Deficient MWF mapping in multiple sclerosis using 3D whole-brain multi-component relaxation MRI.
Hagen H. Kitzler, Jason Su, Michael Zeineh, Cynthia Harper-Little, Andrew Leung, Marcelo Kremenchutzky, Sean C. L. Deoni, and Brian K. Rutt NeuroImage 59(3):2670-2677 (2012)
to dblp by dblp on Jan 13, 2012, 12:00 AM
URL | BibTeX
Autism spectrum traits predict the neural response to eye gaze in typical individuals.
Lauri Nummenmaa, Andrew D. Engell, Elisabeth von dem Hagen, Richard N. A. Henson, and Andrew J. Calder NeuroImage 59(4):3356-3363 (2012)
to dblp by dblp on Jan 13, 2012, 12:00 AM
URL | BibTeX
Query Segmentation Revisited
Matthias Hagen Working Notes of the LWA 2011 - Learning, Knowledge, Adaptation, (2011)
to 2011 LWA LWA_2011 query revisited segmentation by lwa_2011 on Jan 11, 2012, 1:01 PM
BibTeX
Stretchable EMI Measurement Sheet With 8 ˟ 8 Coil Array, 2 V Organic CMOS Decoder, and 0.18 μ m Silicon CMOS LSIs for Electric and Magnetic Field Detection.
Koichi Ishida, Naoki Masunaga, Zhiwei Zhou, Tadashi Yasufuku, Tsuyoshi Sekitani, Ute Zschieschang, Hagen Klauk, Makoto Takamiya, Takao Someya, and Takayasu Sakurai J. Solid-State Circuits 45(1):249-259 (2010)
to dblp by dblp on Jan 9, 2012, 12:00 AM
URL | BibTeX
A 3-V, 6-Bit C-2C Digital-to-Analog Converter Using Complementary Organic Thin-Film Transistors on Glass.
Wei Xiong, Yang Guo, Ute Zschieschang, Hagen Klauk, and Boris Murmann J. Solid-State Circuits 45(7):1380-1388 (2010)
to dblp by dblp on Jan 9, 2012, 12:00 AM
URL | BibTeX
A two-stage verification process for Car-to-X mobility data based on path prediction and probabilistic maneuver recognition.
Hagen Stübing, Jonas Firl, and Sorin A. Huss VNC, page 17-24. IEEE, (2011)
to dblp by dblp on Jan 6, 2012, 12:00 AM
URL | BibTeX
InVIS - Interactive Visualization of Medical Data Sets.
Jörg Meyer, Steffen Gelder, Timna E. Schneider, and Hans Hagen Scientific Visualization, page 233-238. IEEE Computer Society, (1997)
to dblp by dblp on Jan 5, 2012, 12:00 AM
URL | BibTeX
An Integrated VR- and Simulation-Environment for Supporting the Complete Product Life Cycle of Space-Related Systems.
Peter Dannenmann, Christof Nuber, Reimund Küke, Norbert Schielow, and Hans Hagen Scientific Visualization, page 37-46. IEEE Computer Society, (1997)
to dblp by dblp on Jan 5, 2012, 12:00 AM
URL | BibTeX
Visualizing Critical Points of Arbitrary Poincaré-Index.
Gerik Scheuermann, Hans Hagen, Heinz Krüger, and Alyn P. Rockwood Scientific Visualization, page 277-283. IEEE Computer Society, (1997)
to dblp by dblp on Jan 5, 2012, 12:00 AM
URL | BibTeX
Verifying Fault Tolerance of Distributed Algorithms Formally - An Example.
Hagen Völzer ACSD, page 187-197. IEEE Computer Society, (1998)
to dblp by dblp on Jan 5, 2012, 12:00 AM
URL | BibTeX
Using Real Options in ERP-Systems for Improving Delivery Reliability.
Tobias Mettler, David Raber, and Hagen Hoffmann AMCIS, Association for Information Systems, (2011)
to dblp by dblp on Jan 3, 2012, 12:00 AM
URL | BibTeX
Knowledge Goals as an Essential Component of Knowledge Management.
Hagen Schorcht, Volker Nissen, and Mathias Petsch AMCIS, Association for Information Systems, (2011)
to dblp by dblp on Jan 3, 2012, 12:00 AM
URL | BibTeX
MDA applied: a task-model driven tool chain for multimodal applications
Matthias Heinrich, Matthias Winkler, Hagen Steidelmüller, Manuel Zabelt, Alex Behring, René Neumerkel, and Anja Strunk Proceedings of the 6th international conference on Task models and diagrams for user interface design, page 15--27. Berlin/Heidelberg, Springer-Verlag, (2007)
to model driven architecture task multimodal user interface by porta on Dec 27, 2011, 9:14 PM
URL | BibTeX

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