no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- No matching items.
- Guy Avni, and Orna Kupferman. FoSSaCS, volume 7794 of Lecture Notes in Computer Science, page 369-384. Springer, (2013)Guy Avni, and Orna Kupferman. FoSSaCS, volume 7794 of Lecture Notes in Computer Science, page 369-384. Springer, (2013)3 months and 2 days agoby dblp1
- Benjamin Aminof, Orna Kupferman, and Robby Lampert. SODA, page 835-844. SIAM, (2009)Benjamin Aminof, Orna Kupferman, and Robby Lampert. SODA, page 835-844. SIAM, (2009)5 months and 15 days agoby dblp1
- Udi Boker, and Orna Kupferman. ACM Trans. Comput. Log. 13(4):29 (2012)Udi Boker, and Orna Kupferman. ACM Trans. Comput. Log. 13(4):29 (2012)5 months and 17 days agoby dblp1
- D. Harel, and O. Kupferman. MCS99-12. The Weizmann Institute of Science, Israel, (1999)D. Harel, and O. Kupferman. MCS99-12. The Weizmann Institute of Science, Israel, (1999)5 months and 29 days agoby wvdaalst1
- Orna Kupferman, Dorsa Sadigh, and Sanjit A. Seshia. Haifa Verification Conference, volume 7261 of Lecture Notes in Computer Science, page 5-19. Springer, (2011)Orna Kupferman, Dorsa Sadigh, and Sanjit A. Seshia. Haifa Verification Conference, volume 7261 of Lecture Notes in Computer Science, page 5-19. Springer, (2011)6 months and 25 days agoby dblp1
- Shulamit Halamish, and Orna Kupferman. ATVA, volume 7561 of Lecture Notes in Computer Science, page 27-41. Springer, (2012)Shulamit Halamish, and Orna Kupferman. ATVA, volume 7561 of Lecture Notes in Computer Science, page 27-41. Springer, (2012)7 months agoby dblp1
- Orna Grumberg, Orna Kupferman, and Sarai Sheinvald. ATVA, volume 7561 of Lecture Notes in Computer Science, page 122-136. Springer, (2012)Orna Grumberg, Orna Kupferman, and Sarai Sheinvald. ATVA, volume 7561 of Lecture Notes in Computer Science, page 122-136. Springer, (2012)7 months agoby dblp1
- Hana Chockler, Joseph Y. Halpern, and Orna Kupferman. CoRR (2003)Hana Chockler, Joseph Y. Halpern, and Orna Kupferman. CoRR (2003)7 months agoby dblp1
- Tal El-Hay, Nir Friedman, and Raz Kupferman. CoRR (2012)Tal El-Hay, Nir Friedman, and Raz Kupferman. CoRR (2012)7 months agoby dblp1
- Ido Cohn, Tal El-Hay, Nir Friedman, and Raz Kupferman. CoRR (2012)Ido Cohn, Tal El-Hay, Nir Friedman, and Raz Kupferman. CoRR (2012)7 months agoby dblp1
- Guy Avni, and Orna Kupferman. CONCUR, volume 7454 of Lecture Notes in Computer Science, page 84-99. Springer, (2012)Guy Avni, and Orna Kupferman. CONCUR, volume 7454 of Lecture Notes in Computer Science, page 84-99. Springer, (2012)8 months agoby dblp1
- Orna Kupferman, and Tami Tamir. Inf. Comput. (2012)Orna Kupferman, and Tami Tamir. Inf. Comput. (2012)a year and a month agoby dblp1
- Benjamin Aminof, Orna Kupferman, and Aniello Murano. Inf. Comput. (2012)Benjamin Aminof, Orna Kupferman, and Aniello Murano. Inf. Comput. (2012)a year and a month agoby dblp1
- Danny Dolev, Dror G. Feitelson, Joseph Y. Halpern, Raz Kupferman, and Nathan Linial. ITCS, page 68-75. ACM, (2012)Danny Dolev, Dror G. Feitelson, Joseph Y. Halpern, Raz Kupferman, and Nathan Linial. ITCS, page 68-75. ACM, (2012)a year and 2 months agoby dblp1
- Orna Kupferman, Amir Pnueli, and Moshe Y. Vardi. J. Comput. Syst. Sci. 78(3):981-996 (2012)Orna Kupferman, Amir Pnueli, and Moshe Y. Vardi. J. Comput. Syst. Sci. 78(3):981-996 (2012)a year and 2 months agoby dblp1
- Orna Kupferman. Bulletin of the EATCS (2007)Orna Kupferman. Bulletin of the EATCS (2007)a year and 2 months agoby dblp1
- Orna Kupferman. Logics and Languages for Reliability and Security, volume 25 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2010)Orna Kupferman. Logics and Languages for Reliability and Security, volume 25 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2010)a year and 2 months agoby dblp1
- Orna Kupferman, and Moshe Y. Vardi. STOC, page 224-233. ACM, (1998)Orna Kupferman, and Moshe Y. Vardi. STOC, page 224-233. ACM, (1998)a year and 3 months agoby dblp1
- Hana Chockler, and Orna Kupferman. Theor. Comput. Sci. 329(1-3):71-92 (2004)Hana Chockler, and Orna Kupferman. Theor. Comput. Sci. 329(1-3):71-92 (2004)a year and 4 months agoby ytyoun2
- Hana Chockler, and Orna Kupferman. RANDOM, volume 2483 of Lecture Notes in Computer Science, page 26-28. Springer, (2002)Hana Chockler, and Orna Kupferman. RANDOM, volume 2483 of Lecture Notes in Computer Science, page 26-28. Springer, (2002)a year and 4 months agoby ytyoun2