Springer, 0-387

Central database

Publisher

  1. Research › Article in proceedings
  2. Published

    Millimeter and sub-mm wavelength Josephson Flux Flow Devices. / Mygind, Jesper; Pedersen, Niels Falsig.

    NATO ASI. ed. / H. Weinstock. Miliau : Springer, 1999.

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

  3. Published

    Minimum Description Length Shape and Appearance Models. / Thodberg, Hans Henrik; Taylor et al., C. (Editor).

    Information processing in medical imaging; IPMI 2003: Lecture notes in computer science, vol. 2732. Springer, 2003. p. 51-62.

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

  4. Published

    Minimum Makespan Multi-vehicle Dial-a-Ride. / Gørtz, Inge Li; Nagarajan, Viswanath; Ravi, R.

    Algorithms - ESA 2009. Springer, 2009. p. 540-552 (Lecture Notes in Computer Science; No. Volume 5757/2009).

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

  5. Published

    MITHYS: Mind The Hand You Shake - Protecting Mobile Devices from SSL Usage Vulnerabilities. / Conti, M.; Dragoni, Nicola; Gottardo, S.

    Security and Trust Management: 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings. Springer, 2013. p. 65-81 (Lecture Notes in Computer Science, Vol. 8203).

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

  6. Published

    MOCQL: A Declarative Language for Ad-Hoc Model Querying. / Störrle, Harald.

    Modelling Foundations and Applications: 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings. Springer, 2013. p. 3-19 (Lecture Notes in Computer Science, Vol. 7949).

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

  7. Accepted

    Model-Based Motion Tracking of Infants. / Olsen, Mikkel Damgaard.

    Proceedings of the 2nd Workshop on Assistive Computer Vision and Robotics (ACVR 2014). Springer, 2014.

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

  8. Published

    Model Checking Algorithms for CTMDPs. / Buchholz, Peter; Hahn, Ernst Moritz; Hermanns, Holger; Zhang, Lijun.

    Computer Aided Verification: 23rd International Conference, CAV 2011 - Snowbird, UT, USA, July 14-20, 2011 - Proceedings. Springer, 2011. p. 225-242 (Lecture Notes in Computer Science; No. 6806).

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

  9. Published

    Model Checking as Static Analysis: Revisited. / Zhang, Fuyuan; Nielson, Flemming; Nielson, Hanne Riis.

    Integrated Formal Methods: 9th International Conference, IFM 2012 Pisa, Italy, June 18-21, 2012 Proceedings. Springer, 2012. p. 99-112 (Lecture Notes in Computer Science; No. 7321).

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

  10. Published

    Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. / Abouzaid, Faisal; Mullins, John; Mazzara, Manuel; Dragoni, Nicola.

    Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings. Springer, 2012. p. 534-543 (Lecture Notes in Computer Science, Vol. 7327).

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

  11. Published

    Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth (Invited author); Bliguet, Marie Le (Invited author); Kjær, Andreas (Invited author).

    Foundations of Computer Software: Future Trends and Techniques for Development.. ed. / Christine Choppy; Oleg Sokolsky. Springer, 2010. p. 141-153 (Lecture Notes in Computer Science; No. 6028).

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

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word