Treffer 1 - 20 von 135 für Suche 'Jules, Desharnais', Suchdauer: 0,95s Treffer weiter einschränken
  1. 1
    Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings

    Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings von Desharnais, Jules, Guttmann, Walter, Joosten, Stef

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Algebraic Notions of Termination

    Algebraic Notions of Termination von Jules, Desharnais, Moeller, Bernhard, Georg, Struth


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Program Derivation by Correctness Enhacements

    Program Derivation by Correctness Enhacements von Diallo, Nafi, Ghardallou, Wided, Desharnais, Jules, Mili, Ali


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Internal axioms for domain semirings

    Internal axioms for domain semirings von Desharnais, Jules, Struth, Georg

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Domain Axioms for a Family of Near-Semirings

    Domain Axioms for a Family of Near-Semirings von Desharnais, Jules, Struth, Georg


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Mathematics of Program Construction (selected papers from MPC 2010)

    Mathematics of Program Construction (selected papers from MPC 2010) von Desharnais, Jules

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Projecting programs on specifications: Definition and implications

    Projecting programs on specifications: Definition and implications von Desharnais, Jules, Diallo, Nafi, Ghardallou, Wided, Mili, Ali

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Kleene algebra with domain

    Kleene algebra with domain von Desharnais, Jules, Möller, Bernhard, Struth, Georg


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Algebraic Solution of Weighted Minimax Single-Facility Constrained Location Problems

    Algebraic Solution of Weighted Minimax Single-Facility Constrained Location Problems von Krivulin, Nikolai


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

    Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Convergence: Integrating termination and abort-freedom

    Convergence: Integrating termination and abort-freedom von Diallo, Nafi, Ghardallou, Wided, Desharnais, Jules, Mili, Ali


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A formal validation of the RBAC ANSI 2012 standard using B

    A formal validation of the RBAC ANSI 2012 standard using B von Huynh, Nghi, Frappier, Marc, Mammar, Amel, Laleau, Régine, Desharnais, Jules

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Invariant assertions, invariant relations, and invariant functions

    Invariant assertions, invariant relations, and invariant functions von Mraihi, Olfa, Louhichi, Asma, Jilani, Lamia Labed, Desharnais, Jules, Mili, Ali

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Verification of Pushdown Systems Using Omega Algebra with Domain

    Verification of Pushdown Systems Using Omega Algebra with Domain von Mathieu, Vincent, Desharnais, Jules


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    What is a fault? and why does it matter?

    What is a fault? and why does it matter? von Diallo, Nafi, Ghardallou, Wided, Desharnais, Jules, Frias, Marcelo, Jaoua, Ali, Mili, Ali


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Relations as Images

    Relations as Images von Alain, Mathieu, Desharnais, Jules


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Static Analysis of Programs Using Omega Algebra with Tests

    Static Analysis of Programs Using Omega Algebra with Tests von Bolduc, Claude, Desharnais, Jules


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Control of Parameterized Discrete Event Systems

    Control of Parameterized Discrete Event Systems von Bherer, Hans, Desharnais, Jules, St-Denis, Richard

    Veröffentlicht in Discrete event dynamic systems

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings

    Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings von Bolduc, Claude, Desharnais, Jules, Ktari, Bechir

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Relational style laws and constructs of linear algebra

    Relational style laws and constructs of linear algebra von Desharnais, Jules, Grinenko, Anastasiya, Möller, Bernhard


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: