sign in · help · news · about ·

BibSonomy :: author :: Strecker ::

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

(125)

<< < 1 | 2 | 3 > >>

Preference Revelation in Multi-Attribute Reverse English Auctions: A Laboratory Study.
Stefan Strecker ICIS, page 271-282. Association for Information Systems, (2003)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
The S-BPM modelling technique as an enabling tool for representation of agency and situation.
Florian Strecker, and Nils Meyer ECCE, page 265-266. Universitätsdruckerei Rostock, Germany / ACM, (2011)
to dblp by dblp on Dec 6, 2011, 12:00 AM
URL | BibTeX
Abstract and concrete categories: the joy of cats
Jirí Adámek, Horst Herrlich, and George E. Strecker Repr. Theory Appl. Categ. (2006)Reprint of the 1990 original Wiley, New York; MR1051419 .
by mwpb479 on Nov 11, 2011, 3:41 AM
BibTeX
New Features and Many Improvements to Analyze Morphology and Color of Digitalized Plant Organs Are Available in Tomato Analyzer 3.0.
Gustavo Rodriguez, David Francis, Esther van der Knaap, Jaymie Strecker, Itai Njanji, Josh Thomas, and Atticus Jack MAICS, volume 710 of CEUR Workshop Proceedings, page 160-163. CEUR-WS.org, (2011)
to dblp by dblp on Nov 10, 2011, 12:00 AM
URL | BibTeX
Wozu JAVA? - Plädoyer für grafisches Programmieren.
Eckart Modrow, Jens Mönig, and Kerstin Strecker LOG IN 31(168):35-41 (2011)
to dblp by dblp on Nov 8, 2011, 12:00 AM
URL | BibTeX
Automated X-Ray Inspection of Aluminum Castings.
Herbert Boerner, and Helmut Strecker IEEE Trans. Pattern Anal. Mach. Intell. 10(1):79-91 (1988)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
RiskM: A multi-perspective modeling method for IT risk assessment.
Stefan Strecker, David Heise, and Ulrich Frank Information Systems Frontiers 13(4):595-611 (2011)
to dblp by dblp on Oct 24, 2011, 12:00 AM
URL | BibTeX
Zur Didaktik der Algorithmik.
Kerstin Strecker INFOS, volume P-189 of LNI, page 187-196. GI, (2011)
to dblp by dblp on Sep 19, 2011, 12:00 AM
URL | BibTeX
Prolegomena of a modelling method in support of audit risk assessment - Outline of a domain-specific modelling language for internal controls and internal control systems.
Stefan Strecker, David Heise, and Ulrich Frank Enterprise Modelling and Information Systems Architectures 6(3):5-24 (2011)
to dblp by dblp on Sep 15, 2011, 12:00 AM
URL | BibTeX
Lagois Connections - a Counterpart to Galois Connections.
Austin Melton, Bernd S. W. Schröder, and George E. Strecker Theor. Comput. Sci. 136(1):79-107 (1994)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Production of cold ND3 by kinematic cooling
J. J. Kay, S. Y. T. van de Meerakker, K. E. Strecker, and D. W. Chandler Cold and Ultracold Molecules, Faraday Discussions, volume 142, 2009, p.143 (2009)
by jgurian on Aug 23, 2011, 10:22 AM
DOI | BibTeX
Protocols for Electronic Negotiation Systems: Theoretical Foundations and Design Issues.
Gregory E. Kersten, Stefan Strecker, and Ka Pong Law EC-Web, volume 3182 of Lecture Notes in Computer Science, page 106-115. Springer, (2004)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
Satoulouse: The Computational Power of Propositional Logic Shown to Beginners.
Olivier Gasquet, François Schwarzentruber, and Martin Strecker TICTTL, volume 6680 of Lecture Notes in Computer Science, page 77-84. Springer, (2011)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students.
Olivier Gasquet, François Schwarzentruber, and Martin Strecker TICTTL, volume 6680 of Lecture Notes in Computer Science, page 85-92. Springer, (2011)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Investigating Type-Certifying Compilation with Isabelle.
Martin Strecker LPAR, volume 2514 of Lecture Notes in Computer Science, page 403-417. Springer, (2002)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
Formal Verification of a Java Compiler in Isabelle.
Martin Strecker CADE, volume 2392 of Lecture Notes in Computer Science, page 63-77. Springer, (2002)
to dblp by dblp on Jun 30, 2011, 12:00 AM
URL | BibTeX
Extracting a formally verified, fully executable compiler from a proof assistant.
Stefan Berghofer, and Martin Strecker Electr. Notes Theor. Comput. Sci. 82(2):377-394 (2003)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
QoS Assessment and Measurement for End-to-End Services.
Torsten Bissel, Manfred Bogen, Christian Bonkowski, and Dieter Strecker QofIS, volume 1922 of Lecture Notes in Computer Science, page 194-207. Springer, (2000)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Integrating an Equality Prover into a Software Development System Based on Type Theory.
Martin Strecker, and Maria Sorea KI, volume 1303 of Lecture Notes in Computer Science, page 147-158. Springer, (1997)
to dblp by dblp on Jun 16, 2011, 12:00 AM
URL | BibTeX
Calois Connections and Computer Science Applications.
Austin Melton, David A. Schmidt, and George E. Strecker CTCS, volume 240 of Lecture Notes in Computer Science, page 299-312. Springer, (1985)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX

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