BibSonomy :: author  ::

bookmarks

publications

(336)

• Event Processing Glossary
  David C. Luckham and Roy Schulte (2007)
  to CEP ESP event glossary terms by atrus and 1 other person on 2008-05-09 21:07:33
  | URL | BibTeX  
• Circular, Linear, and Curvilinear Vection in a Large-screen Virtual Environment with Floor Projection.
  Laura C. Trutoiu and Betty J. Mohler and Jörg Schulte-Pelkum and Heinrich H. Bülthoff VR 115-120 (2008)
  to dblp by dblp on 2008-05-08 00:00:00
  | URL | BibTeX  
• Hexenmeister. Die Verfolgung von Männern im Rahmen der Hexenverfolgung von 1530-1730 im Alten Reich
  Rolf Schulte (2001)
  to diss by mio on 2008-05-05 16:27:47
  | BibTeX  
• Determinants of contract wages in Germany
  Manfred J. M. Neumann and Roland Schmidt and Elisabeth Schulte European Economic Review 34 1233--1245 (1990)
  to imported by smicha on 2008-04-28 13:05:01
  | URL | BibTeX  
• Some results on the joint distribution of the renewal Epochs prior to a given time instant
  E. Schulte-Geers and W. Stadje Stochastic Processes and their Applications 30 85--104 (1988)
  to process renewal by smicha on 2008-04-22 14:25:45
  | URL | BibTeX  
• On the lifetime of the intermediate system in quantum-mechanical collisions
  B. J. Verhaar and A. M. Schulte and J. De Kam Physica A: Statistical and Theoretical Physics 91 119--132 (1978)
  to imported by smicha on 2008-04-22 10:36:30
  | URL | BibTeX  
• Magnitude and sign scaling in power-law correlated time series
  Yosef Ashkenazy and Shlomo Havlin and Plamen Ch. Ivanov and Chung-K. Peng and Verena Schulte-Frohlinde and H. Eugene Stanley Physica A: Statistical Mechanics and its Applications 323 19--41 (2003)
  to Scaling by smicha on 2008-04-22 10:36:30
  | URL | BibTeX  
• Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.
  Margus Veanes and Colin Campbell and Wolfgang Grieskamp and Wolfram Schulte and Nikolai Tillmann and Lev Nachmanson Formal Methods and Testing 39-76 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Compositional Modeling for Data-Centric Business Applications.
  Ethan K. Jackson and Wolfram Schulte Software Composition 190-205 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.
  Jan Smans and Bart Jacobs and Frank Piessens and Wolfram Schulte FASE 261-275 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX