Zum Inhalt springen

  3. Carro, Manuel [HerausgeberIn]; King, Andrew Malcolm [HerausgeberIn]; Saeedloei, Neda [HerausgeberIn] ; International Conference on Logic Programming 32. 2016 New York, NY

    Technical communications of the 32nd International Conference on Logic Programming : ICLP 2016, October 16-21, 2016, New York City, USA

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, November, 2016

    Erschienen in: Open access series in informatics ; 52

  4. Rocha, Ricardo [VerfasserIn]; Son, Tran Cao [VerfasserIn]; Mears, Christopher [VerfasserIn]; Saeedloei, Neda [VerfasserIn] ; Ricardo Rocha and Tran Cao Son and Christopher Mears and Neda Saeedloei [MitwirkendeR]

    Front Matter, Table of Contents, Preface, Conference Organization

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  5. Dal Palu', Alessandro [VerfasserIn]; Tarau, Paul [VerfasserIn]; Saeedloei, Neda [VerfasserIn]; Fodor, Paul [VerfasserIn] ; Alessandro Dal Palu' and Paul Tarau and Neda Saeedloei and Paul Fodor [MitwirkendeR]

    Front Matter, Table of Contents, Preface, Conference Organization

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  6. Rocha, Ricardo [VerfasserIn]; Son, Tran Cao [VerfasserIn]; Mears, Christopher [VerfasserIn]; Saeedloei, Neda [VerfasserIn] ; Ricardo Rocha and Tran Cao Son and Christopher Mears and Neda Saeedloei [MitwirkendeR]

    OASIcs, Volume 58, ICLP'17, Complete Volume

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  7. Dal Palu', Alessandro [VerfasserIn]; Tarau, Paul [VerfasserIn]; Saeedloei, Neda [VerfasserIn]; Fodor, Paul [VerfasserIn] ; Alessandro Dal Palu' and Paul Tarau and Neda Saeedloei and Paul Fodor [MitwirkendeR]

    OASIcs, Volume 64, ICLP'18, Complete Volume

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  8. Carro, Manuel [VerfasserIn]; King, Andy [VerfasserIn]; Saeedloei, Neda [VerfasserIn]; De Vos, Marina [VerfasserIn] ; Manuel Carro and Andy King and Neda Saeedloei and Marina De Vos [MitwirkendeR]

    Front Matter, Table of Contents, Preface, List of Authors

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  9. Carro, Manuel [VerfasserIn]; King, Andy [VerfasserIn]; Saeedloei, Neda [VerfasserIn]; De Vos, Marina [VerfasserIn] ; Manuel Carro and Andy King and Neda Saeedloei and Marina De Vos [MitwirkendeR]

    OASIcs, Volume 52, ICLP'16, Complete Volume

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  10. Varanasi, Sarat Chandra [VerfasserIn]; Saeedloei, Neda [VerfasserIn]; Salazar, Elmer [VerfasserIn]; Arias, Joaquín [VerfasserIn]; Gupta, Gopal [VerfasserIn]

    LTL Model Checking using Coinductive Answer Set Programming

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Workshop on Answer Set Programming and Other Computing Paradigms (15. : 2022 : Haifa; Online): ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops ; 2022

  12. Saeedloei, Neda; Kluźniak, Feliks

    Formal Techniques for Distributed Objects, Components, and Systems: Operations on Timed Scenarios

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Nature Switzerland, 2023

    Erschienen in: Formal Techniques for Distributed Objects, Components, and Systems

  13. Saeedloei, Neda; Kluźniak, Feliks

    Lecture Notes in Computer Science: An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2022

    Erschienen in: Lecture Notes in Computer Science