Treffer 1 - 20 von 132 für Suche 'Rahonis, George', Suchdauer: 0,85s Treffer weiter einschränken
  1. 1
    Algebraic Informatics: 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings

    Algebraic Informatics: 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings von Poulakis, Dimitrios, Rahonis, George


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Architectures in parametric component-based systems: Qualitative and quantitative modelling

    Architectures in parametric component-based systems: Qualitative and quantitative modelling von Pittou, Maria, Rahonis, George


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Special issue: Selected papers of the 9th International Conference on Algebraic Informatics, CAI 2022

    Special issue: Selected papers of the 9th International Conference on Algebraic Informatics, CAI 2022 von Poulakis, Dimitrios, Rahonis, George

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Weighted Context-Free Grammars Over Bimonoids

    Weighted Context-Free Grammars Over Bimonoids von Rahonis, George, Torpari, Faidra


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Weighted propositional configuration logics: A specification language for architectures with quantitative features

    Weighted propositional configuration logics: A specification language for architectures with quantitative features von Paraponiari, Paulina, Rahonis, George

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Weighted Linear Dynamic Logic

    Weighted Linear Dynamic Logic von Droste, Manfred, Rahonis, George


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    MK-fuzzy Automata and MSO Logics

    MK-fuzzy Automata and MSO Logics von Droste, Manfred, Kutsia, Temur, Rahonis, George, Schreiner, Wolfgang


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    When Variable-Length Codes Meet the Field of Error Detection

    When Variable-Length Codes Meet the Field of Error Detection von Néraud, Jean


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Weighted Recognizability over Infinite Alphabets

    Weighted Recognizability over Infinite Alphabets von Pittou, Maria, Rahonis, George

    Veröffentlicht in Acta cybernetica (Szeged)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    McCarthy-Kleene fuzzy automata and MSO logics

    McCarthy-Kleene fuzzy automata and MSO logics von Droste, Manfred, Kutsia, Temur, Rahonis, George, Schreiner, Wolfgang

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Bideterministic Weighted Automata

    Bideterministic Weighted Automata von Kostolányi, Peter


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A Normal Form for Matrix Multiplication Schemes

    A Normal Form for Matrix Multiplication Schemes von Kauers, Manuel, Moosbauer, Jakob


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    How to Decide Functionality of Compositions of Top-Down Tree Transducers

    How to Decide Functionality of Compositions of Top-Down Tree Transducers von Maneth, Sebastian, Seidl, Helmut, Vu, Martin


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Shuffle Product of Regular Languages: Results and Open Problems

    Shuffle Product of Regular Languages: Results and Open Problems von Pin, Jean-Éric


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures

    A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures von Fountoukidou, Christina Chrysovalanti, Pittou, Maria


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Weighted Automata and Weighted Logics on Infinite Words

    Weighted Automata and Weighted Logics on Infinite Words von Droste, Manfred, Rahonis, George


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  17. 17
    On weighted first-order logics with discounting

    On weighted first-order logics with discounting von Mandrali, Eleni, Rahonis, George

    Veröffentlicht in Acta informatica

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Weighted First-Order Logics over Semirings

    Weighted First-Order Logics over Semirings von Mandrali, Eleni, Rahonis, George

    Veröffentlicht in Acta cybernetica (Szeged)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Algebraic Informatics: Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers

    Algebraic Informatics: Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers von Bozapalidis, Symeon, Rahonis, George

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Architecture Modelling of Parametric Component-Based Systems

    Architecture Modelling of Parametric Component-Based Systems von Pittou, Maria, Rahonis, George


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: