Uni-Logo
English       Login
Rechnerarchitektur - Arbeitsgruppe Bernd Becker
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Natalia Kalinnik, Dipl.-Inf.
Adresse Fakultät für angewandte Wissenschaften
Albert-Ludwigs-Universität
Georges Köhler Allee, Gebäude 51
79110 Freiburg im Breisgau
Deutschland
Büro Gebäude 51, Raum 01..030
Telefon +49 +761 203-8156
eMail kalinnik@informatik.uni-freiburg.de
Website http://www.informatik.uni-freiburg.de/~kalinnik/

Natalia Kalinnik

Jahre: 2010 | 2009 | 2008

    2010

    Icon: top nach oben zur Jahresübersicht
    • Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker
      Exploiting Different Strategies for the Parallelization of an SMT Solver
      2010 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Fraunhofer Verlag, Seiten: 97 - 106

    2009

    Icon: top nach oben zur Jahresübersicht
    • Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker
      Picoso - A Parallel Interval Constraint Solver
      2009 Int'l Conf. on Parallel and Distributed Processing Techniques and Applications, CSREA Press, Seiten: 473 - 479
    • Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige
      Challenges in Constraint-Based Analysis of Hybrid Systems
      2009 Recent Advances in Constraints, Springer, Band: 5655, Seiten: 51 - 65

    2008

    Icon: top nach oben zur Jahresübersicht
    • Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige
      Challenges in Constraint-based Analysis of Hybrid Systems
      2008 ERCIM Workshop on Constraint Solving and Constraint Logic Programming
    • Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer
      Propositional Approximations for Bounded Model Checking of Partial Circuit Designs
      2008 IEEE Int'l Conf. on Computer Design, IEEE Computer Society Press, Seiten: 52 - 59