Search Results - Krieg-Brückner, Bernd

  • Showing 1 - 17 results of 17
Refine Results
  1. 1
    CASL: the Common Algebraic Specification Language

    CASL: the Common Algebraic Specification Language by Astesiano, Egidio, Bidoit, Michel, Kirchner, Hélène, Krieg-Brückner, Bernd, Mosses, Peter D., Sannella, Donald, Tarlecki, Andrzej

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    The "Intelligent Container"-A Cognitive Sensor Network for Transport Management

    The "Intelligent Container"-A Cognitive Sensor Network for Transport Management by Lang, Walter, Jedermann, Reiner, Mrugala, Damian, Jabbari, Amir, Krieg-Brückner, Bernd, Schill, Kerstin

    Published in IEEE sensors journal
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Mobility Assistance in the Bremen Ambient Assisted Living Lab

    Mobility Assistance in the Bremen Ambient Assisted Living Lab by Krieg-Brückner, Bernd, Röfer, Thomas, Shi, Hui, Gersdorf, Bernd

    Published in GeroPsych
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Partial pushout semantics of generics in DOL

    Partial pushout semantics of generics in DOL by Mossakowski, Till, Krieg-Brückner, Bernd

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    From sensorial to smart materials: Intelligent optical sensor network for embedded applications

    From sensorial to smart materials: Intelligent optical sensor network for embedded applications by Budelmann, Christoph, Krieg-Brückner, Bernd

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Navigating a smart wheelchair with a brain-computer interface interpreting steady-state visual evoked potentials

    Navigating a smart wheelchair with a brain-computer interface interpreting steady-state visual evoked potentials by Mandel, C., Luth, T., Laue, T., Rofer, T., Graser, A., Krieg-Bruckner, B.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Generic Ontology Design Patterns: Roles and Change over Time

    Generic Ontology Design Patterns: Roles and Change over Time by Krieg-Brückner, Bernd, Mossakowski, Till, Codescu, Mihai

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Generic Ontology Design Patterns at Work

    Generic Ontology Design Patterns at Work by Krieg-Brückner, Bernd, Mossakowski, Till, Neuhaus, Fabian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Extensions of Generic DOL for Generic Ontology Design Patterns

    Extensions of Generic DOL for Generic Ontology Design Patterns by Codescu, Mihai, Krieg-Brückner, Bernd, Mossakowski, Till

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots

    Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots by Hui Shi, Cui Jian, Krieg-Bruckner, B.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Consistency checking in Ada and Anna: a transformational approach

    Consistency checking in Ada and Anna: a transformational approach by Krieg-Brückner, Bernd

    Published in ACM SIGAda Ada Letters
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  12. 12
    ANNA:towards a language for annotating Ada programs

    ANNA:towards a language for annotating Ada programs by Krieg-Bruckner, Bernd, Luckham, David C

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    ANNA: towards a language for annotating Ada programs

    ANNA: towards a language for annotating Ada programs by Krieg-Brückner, Bernd, Luckham, David C.

    Published in SIGPLAN notices
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 14
    Source-to-source translation:Ada to Pascal and Pascal to Ada

    Source-to-source translation:Ada to Pascal and Pascal to Ada by Albrecht, Paul F, Garrison, Philip E, Graham, Susan L, Hyerle, Robert H, Ip, Patricia, Krieg-Bruckner, Bernd

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Source-to-source translation: Ada to Pascal and Pascal to Ada

    Source-to-source translation: Ada to Pascal and Pascal to Ada by Albrecht, Paul F., Garrison, Philip E., Graham, Susan L., Hyerle, Robert H., Ip, Patricia, Krieg-Brückner, Bernd

    Published in SIGPLAN notices
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  16. 16
    Derivation of Invariant Assertions During Program Development by Transformation

    Derivation of Invariant Assertions During Program Development by Transformation by Broy, Manfred, Krieg-Bruckner, Bernd

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Knowledge-based transformational programming

    Knowledge-based transformational programming by Liu, J., Traynor, O., Krieg-Bruckner, B.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: