1![DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop](https://www.pdfsearch.io/img/e67d94bcac41ab3ad563c39760dc01f9.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
2![The 4th Reactive Synthesis Competition SYNTCOMP 2017 Swen Jacobs Saarland University Roderick Bloem TU Graz The 4th Reactive Synthesis Competition SYNTCOMP 2017 Swen Jacobs Saarland University Roderick Bloem TU Graz](https://www.pdfsearch.io/img/12e893f51231a7c0c89eba12606cb1de.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
3![SYNT Workshop - SyGuS Comp’17 SaturdayE3Solver: Decision Tree Unification by Enumeration SYNT Workshop - SyGuS Comp’17 SaturdayE3Solver: Decision Tree Unification by Enumeration](https://www.pdfsearch.io/img/5fb20d3cbf29c1cd985b1a8b38e99d58.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
4![Call for Papers - NSV 2015 8th Workshop on Numerical Software Verification PC Co-Chairs Important Dates Submission Notification Call for Papers - NSV 2015 8th Workshop on Numerical Software Verification PC Co-Chairs Important Dates Submission Notification](https://www.pdfsearch.io/img/09e0d7bdedac748bf9c5187ae8dc0760.jpg) | Add to Reading ListSource URL: nsv2015.informatik.uni-freiburg.deLanguage: English - Date: 2015-02-13 04:01:05
|
---|
5![LEGAL KNOWLEDGE AND INFORMATION SYSTEMS
Frontiers in Artificial Intelligence and Applications The book series Frontiers in Artificial Intelligence and Applications (FAIA) covers all aspects of theoretical and applied A LEGAL KNOWLEDGE AND INFORMATION SYSTEMS
Frontiers in Artificial Intelligence and Applications The book series Frontiers in Artificial Intelligence and Applications (FAIA) covers all aspects of theoretical and applied A](https://www.pdfsearch.io/img/2dfca9c8112d24692770bd8ca73c6de3.jpg) | Add to Reading ListSource URL: orbilu.uni.luLanguage: English - Date: 2017-12-20 09:25:07
|
---|
6![Synthesizing Universally-Quantified Inductive Invariants Sharon Shoham Tel Aviv University Synthesizing Universally-Quantified Inductive Invariants Sharon Shoham Tel Aviv University](https://www.pdfsearch.io/img/53adb21b0862ea81ca553357e5f3e7dc.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
7![SUMMARY RECORD, ADMINISTRATIVE COUNCIL INTERNATIONAL AMATEUR RADIO UNION Meeting in Seoul, Republic of Korea 12 SeptemberThe 44th meeting of the Administrative Council (AC) of the International Amateur Radio Uni SUMMARY RECORD, ADMINISTRATIVE COUNCIL INTERNATIONAL AMATEUR RADIO UNION Meeting in Seoul, Republic of Korea 12 SeptemberThe 44th meeting of the Administrative Council (AC) of the International Amateur Radio Uni](https://www.pdfsearch.io/img/1140ca0602a6b39686e271249b8d8c70.jpg) | Add to Reading ListSource URL: www.iaru.orgLanguage: English - Date: 2018-10-06 14:38:40
|
---|
8![Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ? Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?](https://www.pdfsearch.io/img/78359597414b4153da40d5ab97f0de9b.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:46:13
|
---|
9![Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and](https://www.pdfsearch.io/img/11054ae5ce03c8b174b33c9483470781.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-07-21 04:42:46
|
---|
10![Measuring small subgroup attacks against Diffie-Hellman Luke Valenta∗ , David Adrian† , Antonio Sanso‡ , Shaanan Cohney∗ , Joshua Fried∗ , Marcella Hastings∗ , J. Alex Halderman† , Nadia Heninger∗ ∗ Uni Measuring small subgroup attacks against Diffie-Hellman Luke Valenta∗ , David Adrian† , Antonio Sanso‡ , Shaanan Cohney∗ , Joshua Fried∗ , Marcella Hastings∗ , J. Alex Halderman† , Nadia Heninger∗ ∗ Uni](https://www.pdfsearch.io/img/40cb8c0f38f8f6a02b1725721d897a7b.jpg) | Add to Reading ListSource URL: www.seas.upenn.eduLanguage: English - Date: 2017-09-13 08:39:05
|
---|