Springer, 0-387, 1-85233, 0-8176, 1-84628

Central database

Publisher

  1. Research › Article in proceedings
  2. Published

    Efficient SAT engines for concise logics: Accelerating proof search for zero-one linear constraint systems. / Fränzle, Martin; Herde, Christian.

    Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2003). New York : Springer, 2003. p. 302-316.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2003

  3. Published

    No Need Knowing Numerous Neighbours: Towards a Realizable Interpretation of MLSL. / Fränzle, Martin; Hansen, Michael Reichhardt; Ody, Heinrich .

    Correct System Design: Proceedings of the Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. ed. / Roland Meyer; Heike Wehrheim; André Platzer. Springer, 2015. p. 152-171 (Lecture Notes in Computer Science, Vol. 9360).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  4. Published

    Take it NP-easy: Bounded model construction for duration calculus. / Fränzle, Martin; Olderog, Ernst-Rüdiger (Editor).

    International Symposium on Formal Techniques in Real-Time and Fault-Tolerant systems (FTRTFT 2002). Springer, 2002. p. 245-264.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2002

  5. Published

    What will be eventually true of polymomial hybrid automata. / Fränzle, Martin; Kobayashi et al., Naoki (Editor).

    Theoretical Aspects of Computer Software, TACS 2001. Springer, 2001. p. 340-359.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2001

  6. Published

    Important mycotoxins and the fungi which produce them. / Frisvad, Jens Christian; Thrane, Ulf; Samson, R.A; Pitt, John.

    Advances of Food Mycology. Springer, 2006. p. 3-31 (Advances in Experimental Medicine and Biology, Vol. 571).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2006

  7. Published

    Discriminant functions in different geographical areas. / Frølich, Anne; Nielsen, Bo Friis; Rierhoff, O. (Editor); Lindberg, D.A.B. (Editor).

    Lecture notes in Medical Informatics. Springer, 1990. p. 570-572.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1990

  8. Simulation of flexible objects in robotics. / Fugl, Andreas Rune; Petersen, Henrik Gordon; Willatzen, Morten.

    Simulation, Modeling, and Programming for Autonomous Robots: Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings. Springer, 2012. p. 89-100 (Lecture Notes in Computer Science, Vol. 7628).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  9. Simultaneous estimation of material properties and pose for deformable objects from depth and color images. / Fugl, Andreas Rune; Jordt, Andreas; Petersen, Henrik Gordon; Willatzen, Morten; Koch, Reinhard.

    Pattern Recognition: Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012. Proceedings. Springer, 2012. p. 165-174 (Lecture Notes in Computer Science, Vol. 7476).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  10. Published

    Competition in Nonlinear Schrödinger models. / Gaididei, Y. B.; Christiansen, Peter Leth; Mingaleev, S. F.

    Nonlinear Science at the Dawn of the 21st Century. Springer, 2000. p. 307-321.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2000

  11. Published

    Scale Competition in Nonlinear Schrödinger models. / Gaididei, Y. B.; Christiansen, Peter Leth; Mingaleev, S. F.

    Proc. of Nonlinear Science at the Dawn of the 21st Century. ed. / P. L. Christiansen; M. P. Sørensen. Springer, 2000. p. 307-321 (Lecture Notes in Physics; No. 542).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2000

Download list: To download, please limit the number of search results to 1,000 or less.