Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Filter
Bidrag til bog/antologi

Søgeresultater

  • 2006

    Formalization in Component Based Development

    Holmegaard, J. P., Knudsen, J., Makowski, P. & Ravn, A. P., 2006, Mathematical Frameworks for Component Software. Liu, Z. & He, J. (red.). World Scientific, s. 255-281 27 s. (Component-Based Software Development; Nr. 2).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 2005

    Report on the Icelandic Centre of Excellence in Theoretical Computer Science

    Aceto, L., Halldorsson, M. M. & Ingolfsdottir, A., 2005, Bulletin of the EATCS volume 86 (June 2005). Sassone, V. (red.). EATCS, Bind 86. s. 262-263 2 s. (Bulletin of the EATCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Formidling

  • Tools for Verification and Validation

    Larsen, K. G. & Nielsen, B., 2005, Embedded Systems Design: The ARTIST Roadmap for Research and Development. Bouyssounouse, B. & Sifakis, J. (red.). Berlin / Heidelberg: IEEE Computer Society Press, s. 72 (Lecture Notes in Computer Science, Bind 3436).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 2004

    I takt med Tiden

    Behrmann, G., Nielsen, B. & Mikucionis, M., 2004, Rundt om CISS. Larsen, K., Vestergaard, L. & Bang, N. (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Some of My Favourite Results in Classic Process Algebra

    Aceto, L., 2004, Current Trends in Theoretical Computer Science: The Challenge of the New Century, Vol. 2: Formal Models and Semantics. Paun, G., Rozenberg, G. & Salomaa, A. (red.). World Scientific

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 2003

    Some of My Favourite Results in Classic Process Algebra

    Aceto, L., 2003, The Concurrency Column. (L. Aceto ed.) (red.). s. 90-108 (Bulletin of the EATCS; Nr. 81).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 2002

    Handoff Initiation in Mobile IPv6

    Andersen, T. W., Lindballe, A. & Nielsen, B., 2002, Wireless IP and building the mobile Internet. Dixit, Sudhir (ed.) : Prasad, Ramjee (ed.) (red.). Boston: Artech House, (Artech House Universal Personal Communications Series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Reduction and Refinement Strategies for Probalistic Analysis

    D'Argenio, P. R., Jeannet, B., Jensen, H. E. & Larsen, K. G., 2002, Process Algebra and Probablistic Methods. Hermanns, H. (ed.) : Sagala R. (ed.) (red.). Berlin: IEEE Computer Society Press, (Lecture Notes in Computer Science; Nr. 2399).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 2001

    Conservative Extension in Structural Operational Semantics

    Aceto, L., Fokkink, J. & Verhoef, C., 2001, Current Trends in Theoretical Computer Science : Entering the 21st Century. Paun, G., Rozenberg, G. & Salomaa, A. (red.). World Scientific, s. 504-524

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Structural Operational Semantics

    Aceto, L., Fokkink, J. & Verhoef, C., 2001, Handbook of Process Algebra. Bergstra, J. : Ponse, A. : Smolka, S. (eds.) (red.). Amsterdam: Pergamon Press

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    1 Citationer (Scopus)

  • Symbolic Methods for Bisimulation Checking for Value-Passing Processes

    Ingolfsdottir, A. & Lin, H., 2001, Handbook of Process Algebra. Bergstra, J. : Ponse, A. : Smolka, S. (eds.) (red.). Amsterdam: Pergamon Press

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 2000

    Modallogik

    Hüttel, H. & Skovsmose, O., 2000, Syntaks og semantik. Hüttel, H. (red.). Aalborg: Aalborg Universitet

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Montague-semantik

    Hüttel, H. & Skovsmose, O., 2000, Syntaks og semantik. Hüttel, H. (red.). Aalborg: Aalborg Universitet

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 1999

    Real-Time Constraints Through the ProCoS Layers

    Ravn, A. P. & Rischel, H., 1999, Correct System Design : Recent Insights and Advances. Olderog, E.-R. : Steffen, B. (eds.) (red.). Berlin: IEEE Computer Society Press, s. 61-78 (Lecture Notes in Computer Science; Nr. 1710).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning