Treffer 1 - 15 von 15 für Suche 'BARTZIS, Constantinos', Suchdauer: 0,63s Treffer weiter einschränken
  1. 1
    Efficient BDDs for bounded arithmetic constraints

    Efficient BDDs for bounded arithmetic constraints von BARTZIS, Constantinos, BULTAN, Tevfik


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Ranking attack graphs

    Ranking attack graphs von MEHTA, Vaibhav, BARTZIS, Constantinos, HAIFENG ZHU, CLARKE, Edmund, WING, Jeannette


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Satisfiability checking of non-clausal formulas using general matings

    Satisfiability checking of non-clausal formulas using general matings von JAIN, Himanshu, BARTZIS, Constantinos, CLARKE, Edmund


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Widening Arithmetic Automata

    Widening Arithmetic Automata von Bartzis, Constantinos, Bultan, Tevfik


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Action Language Verifier, Extended

    Action Language Verifier, Extended von Yavuz-Kahveci, Tuba, Bartzis, Constantinos, Bultan, Tevfik


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Construction of Efficient BDDs for Bounded Arithmetic Constraints

    Construction of Efficient BDDs for Bounded Arithmetic Constraints von Bartzis, Constantinos, Bultan, Tevfik


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Efficient Image Computation in Infinite State Model Checking

    Efficient Image Computation in Infinite State Model Checking von Bartzis, Constantinos, Bultan, Tevfik


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Automata-Based Representations for Arithmetic Constraints in Automated Verification

    Automata-Based Representations for Arithmetic Constraints in Automated Verification von Bartzis, Constantinos, Bultan, Tev.k


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Experimental Evaluation of Hot–Potato Routing Algorithms on 2–Dimensional Processor Arrays

    Experimental Evaluation of Hot–Potato Routing Algorithms on 2–Dimensional Processor Arrays von Bartzis, Constantinos, Caragiannis, Ioannis, Kaklamanis, Christos, Vergados, Ioannis


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Automata-based representations for arithmetic constraints in automated verification

    Automata-based representations for arithmetic constraints in automated verification von Bartzis, Constantinos, Bultan, Tevfik

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Satisfiability Checking of Non-clausal Formulas Using General Matings

    Satisfiability Checking of Non-clausal Formulas Using General Matings von Jain, Himanshu, Bartzis, Constantinos, Clarke, Edmund


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    COUNTER MACHINES AND THE SAFETY AND DISJOINTNESS PROBLEMS FOR DATABASE QUERIES WITH LINEAR CONSTRAINTS

    COUNTER MACHINES AND THE SAFETY AND DISJOINTNESS PROBLEMS FOR DATABASE QUERIES WITH LINEAR CONSTRAINTS von Ibarra, Oscar H., Su, Jianwen, Bartzis, Constantinos

    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    PM₁ and PM₂.₅ ionic composition and VOCs measurements in two typical apartments in Athens, Greece: investigation of smoking contribution to indoor air concentrations

    PM₁ and PM₂.₅ ionic composition and VOCs measurements in two typical apartments in Athens, Greece: investigation of smoking contribution to indoor air concentrations von Saraga, Dikaia E, Maggos, Thomas, Helmis, Constantinos G, Michopoulos, John, Bartzis, John G, Vasilakos, Christos


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    PM sub(1) and PM sub(2.5) ionic composition and VOCs measurements in two typical apartments in Athens, Greece: investigation of smoking contribution to indoor air concentrations

    PM sub(1) and PM sub(2.5) ionic composition and VOCs measurements in two typical apartments in Athens, Greece: investigation of smoking contribution to indoor air concentrations von Saraga, Dikaia E, Maggos, Thomas, Helmis, Constantinos G, Michopoulos, John, Bartzis, John G, Vasilakos, Christos


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Traffic-Related air pollution measurements in two streets with different geometry in Athens, Greece

    Traffic-Related air pollution measurements in two streets with different geometry in Athens, Greece von Maggos, T, Bartzis, J G, Kotzias, D, Vasilakos, C, Agriodimas, C, Michopoulos, J, Helmis, C


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: