no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- tags
- dblp
- imported
- applic.DFA
- information
- automatic
- heapmanupilating
- acm
- shapeanalysis
- reasoning
- guarantee
- verification
- circ
- assume
- design
- oodb,
- research.ir
- algorithm
- research.xml
- development
- paper
- v1205
- state.printed
- tag
- parietal
- data
- kiwi
- engineering
- generation
- integration
- 1997
- code
- tvla
- software
- query,
- infinitestate
- cites.gradu
- xsql
- No matching items.
- Boyang Li, Isil Dillig, Thomas Dillig, Kenneth L. McMillan, and Mooly Sagiv. TACAS, volume 7795 of Lecture Notes in Computer Science, page 370-384. Springer, (2013)Boyang Li, Isil Dillig, Thomas Dillig, Kenneth L. McMillan, and Mooly Sagiv. TACAS, volume 7795 of Lecture Notes in Computer Science, page 370-384. Springer, (2013)3 months and 3 days agoby dblp1
- Thomas W. Reps, Mooly Sagiv, and Reinhard Wilhelm. The Compiler Design Handbook, 2nd ed., (2007)Thomas W. Reps, Mooly Sagiv, and Reinhard Wilhelm. The Compiler Design Handbook, 2nd ed., (2007)3 months and 5 days agoby dblp1
- Peter Hawkins, Martin Rinard, Alex Aiken, Mooly Sagiv, and Kathleen Fisher. Communications of the ACM 55(12):91-99 (December 2012)Peter Hawkins, Martin Rinard, Alex Aiken, Mooly Sagiv, and Kathleen Fisher. Communications of the ACM 55(12):91-99 (December 2012)3 months and 26 days agoby flint632
- Hector Garcia-Molina, Yannis Papakonstantinou, Dallan Quass, Yehoshua Sagiv, Jeffrey Ullman, Vasilis Vassalos, and Jennifer Widom. Journal of Intelligent Information Systems (1997)Hector Garcia-Molina, Yannis Papakonstantinou, Dallan Quass, Yehoshua Sagiv, Jeffrey Ullman, Vasilis Vassalos, and Jennifer Widom. Journal of Intelligent Information Systems (1997)4 months and 10 days agoby jpcik1
- Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, and Kathleen Fisher. Commun. ACM 55(12):91-99 (2012)Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, and Kathleen Fisher. Commun. ACM 55(12):91-99 (2012)5 months and 6 days agoby dblp2
- Jennifer Widom, Ashish Gupta 0001, Yehoshua Sagiv, and Jeffrey D. Ullman. DAISD, page 375-385. (1994)Jennifer Widom, Ashish Gupta 0001, Yehoshua Sagiv, and Jeffrey D. Ullman. DAISD, page 375-385. (1994)6 months and 23 days agoby dblp1
- Ashish Gupta 0001, Yehoshua Sagiv, Jeffrey D. Ullman, and Jennifer Widom. PODS, page 45-55. ACM Press, (1994)Ashish Gupta 0001, Yehoshua Sagiv, Jeffrey D. Ullman, and Jennifer Widom. PODS, page 45-55. ACM Press, (1994)6 months and 23 days agoby dblp1
- Ashish Gupta 0001, Yehoshua Sagiv, Jeffrey D. Ullman, and Jennifer Widom. PPCP, volume 874 of Lecture Notes in Computer Science, page 173-180. Springer, (1994)Ashish Gupta 0001, Yehoshua Sagiv, Jeffrey D. Ullman, and Jennifer Widom. PPCP, volume 874 of Lecture Notes in Computer Science, page 173-180. Springer, (1994)6 months and 23 days agoby dblp1
- Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, and Mooly Sagiv. OOPSLA, page 983-996. ACM, (2012)Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, and Mooly Sagiv. OOPSLA, page 983-996. ACM, (2012)7 months agoby dblp1
- Greta Yorsh, Thomas W. Reps, Shmuel Sagiv, and Reinhard Wilhelm. CoRR (2003)Greta Yorsh, Thomas W. Reps, Shmuel Sagiv, and Reinhard Wilhelm. CoRR (2003)7 months agoby dblp1
- Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, and Alexander Serebrenik. CoRR (2000)Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, and Alexander Serebrenik. CoRR (2000)7 months agoby dblp1
- Benny Kimelfeld, and Yehoshua Sagiv. SIGMOD Record 37(4):69-77 (2008)Benny Kimelfeld, and Yehoshua Sagiv. SIGMOD Record 37(4):69-77 (2008)8 months agoby dblp1
- Yehoshua Sagiv. XP7.52 Workshop on Database Theory, (1986)Yehoshua Sagiv. XP7.52 Workshop on Database Theory, (1986)8 months agoby dblp1
- Sharon McCure Kuck, and Yehoshua Sagiv. SIGMOD Conference, page 185-195. ACM Press, (1983)Sharon McCure Kuck, and Yehoshua Sagiv. SIGMOD Conference, page 185-195. ACM Press, (1983)8 months agoby dblp1
- Joachim Biskup, Ralf Menzel, Torsten Polle, and Yehoshua Sagiv. ER, volume 1157 of Lecture Notes in Computer Science, page 28-41. Springer, (1996)Joachim Biskup, Ralf Menzel, Torsten Polle, and Yehoshua Sagiv. ER, volume 1157 of Lecture Notes in Computer Science, page 28-41. Springer, (1996)8 months agoby dblp1
- Alexander Brodsky, and Yehoshua Sagiv. PODS, page 227-240. ACM Press, (1991)Alexander Brodsky, and Yehoshua Sagiv. PODS, page 227-240. ACM Press, (1991)8 months agoby dblp1
- Alon Y. Levy, and Yehoshua Sagiv. PODS, page 67-80. ACM Press, (1992)Alon Y. Levy, and Yehoshua Sagiv. PODS, page 67-80. ACM Press, (1992)8 months agoby dblp1
- Kenneth A. Ross, and Yehoshua Sagiv. PODS, page 114-126. ACM Press, (1992)Kenneth A. Ross, and Yehoshua Sagiv. PODS, page 114-126. ACM Press, (1992)8 months agoby dblp1
- Alon Y. Levy, Alberto O. Mendelzon, Yehoshua Sagiv, and Divesh Srivastava. PODS, page 95-104. ACM Press, (1995)Alon Y. Levy, Alberto O. Mendelzon, Yehoshua Sagiv, and Divesh Srivastava. PODS, page 95-104. ACM Press, (1995)8 months agoby dblp1
- Alon Y. Levy, and Yehoshua Sagiv. PODS, page 163-173. ACM Press, (1995)Alon Y. Levy, and Yehoshua Sagiv. PODS, page 163-173. ACM Press, (1995)8 months agoby dblp1