no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- No matching items.
- Mehdi Bouaziz, Francesco Logozzo, and Manuel Fähndrich. APLAS, volume 7705 of Lecture Notes in Computer Science, page 173-189. Springer, (2012)Mehdi Bouaziz, Francesco Logozzo, and Manuel Fähndrich. APLAS, volume 7705 of Lecture Notes in Computer Science, page 173-189. Springer, (2012)3 months and 14 days agoby dblp1
- Patrick Cousot, Radhia Cousot, Manuel Fähndrich, and Francesco Logozzo. VMCAI, volume 7737 of Lecture Notes in Computer Science, page 128-148. Springer, (2013)Patrick Cousot, Radhia Cousot, Manuel Fähndrich, and Francesco Logozzo. VMCAI, volume 7737 of Lecture Notes in Computer Science, page 128-148. Springer, (2013)3 months and 24 days agoby dblp1
- Manuel Fähndrich, and Francesco Logozzo. Electr. Notes Theor. Comput. Sci. (2012)Manuel Fähndrich, and Francesco Logozzo. Electr. Notes Theor. Comput. Sci. (2012)5 months and 17 days agoby dblp1
- Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, and Sebastian Burckhardt. SIGSOFT FSE, page 39. ACM, (2012)Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, and Sebastian Burckhardt. SIGSOFT FSE, page 39. ACM, (2012)6 months and 6 days agoby dblp1
- Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, and Michal Moskal. ASE, page 80-89. ACM, (2012)Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, and Michal Moskal. ASE, page 80-89. ACM, (2012)7 months agoby dblp1
- Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, and Radhia Cousot. SPLASH, page 15-16. ACM, (2012)Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, and Radhia Cousot. SPLASH, page 15-16. ACM, (2012)7 months agoby dblp1
- Mark Marron, Cesar Sanchez, Zhendong Su, and Manuel Fähndrich. CoRR (2012)Mark Marron, Cesar Sanchez, Zhendong Su, and Manuel Fähndrich. CoRR (2012)7 months agoby dblp1
- Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, and Tao Xie. CSEE&T, page 87-89. IEEE, (2012)Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, and Tao Xie. CSEE&T, page 87-89. IEEE, (2012)8 months agoby dblp1
- Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, and Tao Xie. ITiCSE, page 156-161. ACM, (2012)Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, and Tao Xie. ITiCSE, page 156-161. ACM, (2012)10 months agoby dblp1
- Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, and Benjamin P. Wood. ECOOP, volume 7313 of Lecture Notes in Computer Science, page 283-307. Springer, (2012)Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, and Benjamin P. Wood. ECOOP, volume 7313 of Lecture Notes in Computer Science, page 283-307. Springer, (2012)10 months agoby dblp1
- Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken. PLDI, page 192-203. ACM, (1999)Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken. PLDI, page 192-203. ACM, (1999)a year agoby dblp1
- Manuel Fähndrich, and Robert DeLine. PLDI, page 13-24. ACM, (2002)Manuel Fähndrich, and Robert DeLine. PLDI, page 13-24. ACM, (2002)a year agoby dblp1
- Robert DeLine, and Manuel Fähndrich. PLDI, page 59-69. ACM, (2001)Robert DeLine, and Manuel Fähndrich. PLDI, page 59-69. ACM, (2001)a year agoby dblp1
- Manuel Fähndrich, Jakob Rehof, and Manuvir Das. PLDI, page 253-263. ACM, (2000)Manuel Fähndrich, Jakob Rehof, and Manuvir Das. PLDI, page 253-263. ACM, (2000)a year agoby dblp1
- Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, and Alexander Aiken. PLDI, page 85-96. ACM, (1998)Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, and Alexander Aiken. PLDI, page 85-96. ACM, (1998)a year agoby dblp1
- Alexander Aiken, Manuel Fähndrich, and Raph Levien. PLDI, page 174-185. ACM, (1995)Alexander Aiken, Manuel Fähndrich, and Raph Levien. PLDI, page 174-185. ACM, (1995)a year agoby dblp1
- Jakob Rehof, and Manuel Fähndrich. POPL, page 54-66. ACM, (2001)Jakob Rehof, and Manuel Fähndrich. POPL, page 54-66. ACM, (2001)a year agoby dblp1
- Zhendong Su, Manuel Fähndrich, and Alexander Aiken. POPL, page 81-95. ACM, (2000)Zhendong Su, Manuel Fähndrich, and Alexander Aiken. POPL, page 81-95. ACM, (2000)a year agoby dblp1
- Sebastian Ahrndt, Johannes Fähndrich, Marco Lützenberger, Andreas Rieger, and Sahin Albayrak. PAAMS, volume 155 of Advances in Soft Computing, page 225-228. Springer, (2012)Sebastian Ahrndt, Johannes Fähndrich, Marco Lützenberger, Andreas Rieger, and Sahin Albayrak. PAAMS, volume 155 of Advances in Soft Computing, page 225-228. Springer, (2012)a year agoby dblp1
- Johannes Fähndrich, Sebastian Ahrndt, and Sahin Albayrak. PAAMS Special Sessions, volume 156 of Advances in Soft Computing, page 171-178. Springer, (2012)Johannes Fähndrich, Sebastian Ahrndt, and Sahin Albayrak. PAAMS Special Sessions, volume 156 of Advances in Soft Computing, page 171-178. Springer, (2012)a year agoby dblp1