Department Computer Science

Filter
Kapitel

Suchergebnisse

  • 2006

    Transfer von Flugschlauchanzeigen in das Head-up Display von Kraftfahrzeugen

    Tönnis, M., Lange, C., Klinker, G. & Bubb, H., 2006, VDI Berichte. 1960 Aufl. S. 613-624 12 S. (VDI Berichte; Nr. 1960).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    1 Zitat (Scopus)
  • 2005

    Component-based development of dependable systems with UML

    Jürjens, J. & Wagner, S., 2005, Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends. Springer Verlag, S. 320-344 25 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3778 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    14 Zitate (Scopus)

  • The impact of models in software development

    Broy, M., 2005, Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday. Springer Verlag, S. 396-405 10 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2605 LNAI).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    3 Zitate (Scopus)
  • 2004

    A note on Karr's algorithm

    Müller-Olm, M. & Seidl, H., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Díaz, J., Karhumäki, J., Lepistö, A. & Sannella, D. (Hrsg.). Springer Verlag, S. 1016-1028 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3142).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    64 Zitate (Scopus)

  • Counting in trees for free

    Seidl, H., Schwentick, T., Muscholl, A. & Habermehl, P., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Díaz, J., Karhumäki, J., Lepistö, A. & Sannella, D. (Hrsg.). Springer Verlag, S. 1136-1149 14 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3142).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    67 Zitate (Scopus)

  • Numerical simulations on PC graphics hardware

    Krüger, J., Schiwietz, T., Kipfer, P. & Westermann, R., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Kranzlmuller, D., Kacsuk, P. & Dongarra, J. (Hrsg.). Springer Verlag, S. 442-449 8 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3241).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    3 Zitate (Scopus)

  • The Succinct Solver Suite

    Nielson, F., Nielson, H. R., Sun, H., Buchholtz, M., Hansen, R. R., Pilegaard, H. & Seidl, H., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (Hrsg.). Springer Verlag, S. 251-265 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2988).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    Open Access
    21 Zitate (Scopus)
  • 2003

    Fully private auctions in a constant number of rounds

    Brandt, F., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wright, R. N. (Hrsg.). Springer Verlag, S. 223-238 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2742).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    47 Zitate (Scopus)

  • Service-oriented systems engineering: Modeling services and layered architectures

    Broy, M., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Konig, H., Heiner, M. & Wolisz, A. (Hrsg.). Springer Verlag, S. 48-61 14 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2767).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    Open Access
    18 Zitate (Scopus)