Filters








4 Hits in 10.6 sec

Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371)

Jasmin Christian Blanchette, Carsten Fuhs, Viorica Sofronie-Stokkermans, Cesare Tinelli, Marc Herbstritt
2018 Dagstuhl Reports  
Barrett: "Counterexample-Guided Quantifier Instantiation for Synthesis in SMT", in Proc. of the Computer Aided Verification -27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24,  ...  2015, Proceedings, Part II, Lecture Notes in Computer Science, Vol. 9207, pp. 198-216, Springer, 2015.  ... 
doi:10.4230/dagrep.7.9.26 dblp:journals/dagstuhl-reports/BlanchetteFST17 fatcat:yfc3wk2fwngc3i2dmjwrz3gsgi

Order out of Chaos: Proving Linearizability Using Local Views [article]

Yotam M. Y. Feldman and Constantin Enea and Adam Morrison and Noam Rinetzky and Sharon Shoham
2018 arXiv   pre-print
This publication is part of a project that has received funding from the Eu-  ...  Computer Aided Verification -27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II, pages 3-19, 2015.  ...  , London, UK, April 11-18, 2015.  ... 
arXiv:1805.03992v3 fatcat:cqrr4crygncctnvzp6eueap4qa

Dagstuhl Reports, Volume 9, Issue 9, September 2019, Complete Issue

2020
Pasareanu, editors, Computer Aided Verification -27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II, volume 9207 of Lecture Notes in Computer Science  ...  Aided Verification -29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II, Lecture Notes in Computer Science, Vol. 10427, pp. 436-452, Springer, 2017.  ...  It is proved in [2] that the mean value of an umbral polynomial graph invariant is, essentially, a linear combination of one-part Schur polynomials.  ... 
doi:10.4230/dagrep.9.9 fatcat:yxieovrp4zbxvhjyyiah6znqxm

Deep Learning for Computer Vision (Dagstuhl Seminar 17391) Body-Centric Computing (Dagstuhl Seminar 17392)

Jeremy Blackburn, Emiliano De Cristofaro, Michael Sirivianos, Thorsten Strufe, Adnan Darwiche, Pierre Marquis, Dan Suciu, Stefan, Ute Schmid, Stephen Muggleton, Rishabh Singh, Daniel Cremers (+7 others)
unpublished
Barrett: "Counterexample-Guided Quantifier Instantiation for Synthesis in SMT", in Proc. of the Computer Aided Verification -27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24,  ...  2015, Proceedings, Part II, Lecture Notes in Computer Science, Vol. 9207, pp. 198-216, Springer, 2015.  ...  Since 2010, major parts of the GameDays have been implemented as International Conference (fully dedicated) on Serious Games.  ... 
fatcat:7srdlw7mxfhrpiwdxshf2n455y