Suchergebnis

zu den Filteroptionen
Suche nach: Autor / Beteiligte = Aminof, Benjamin
 
  • Titelblatt
    Aminof, Benjamin ; Rubin, Sasha
    In: Information and Computation, Jg. 254, H. 2, S. 195-216
    Submitted version,
  • Titelblatt
    Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha
    In: Information and Computation, Jg. 261, H. 4, S. 634-649
  • Titelblatt
    Aminof, Benjamin ; Rubin, Sasha
    In: Automated Reasoning. 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 July 2, 2016, Proceedings : Olivetti, Nicola; Tiwari, Ashish, S. 499-515
  • Titelblatt
    Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha
    In: Logic for Programming, Artificial Intelligence, and Reasoning. 20th International Conference, LPAR-20 2015 : Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei, S. 281-296
  • Titelblatt
    Aminof, Benjamin ; Rubin, Sasha ; Zuleger, Florian
    In: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings : Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei, S. 313-328
  • Titelblatt
    Aminof, Benjamin ; Rubin, Sasha ; Stoilkovska, Ilina ; Widder, Josef ; Zuleger, Florian
    In: Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings / Dillig, Isil; Palsberg, Jens, S. 1-24
    Accepted version,
  • Titelblatt
    Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian
    In: PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings : Chen, Qingliang; Torroni, Paolo; Villata, Serena; Hsu, Jane; Omicini, Andrea, S. 185-200