1![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
|
---|
2![Unsupervised Event Clustering and Aggregation from Newswire and Web Articles Swen Ribeiro LIMSI, CNRS Univ. Paris-Sud Universit´e Paris-Saclay Unsupervised Event Clustering and Aggregation from Newswire and Web Articles Swen Ribeiro LIMSI, CNRS Univ. Paris-Sud Universit´e Paris-Saclay](https://www.pdfsearch.io/img/24776b6becf937b4724bc8a7d7640267.jpg) | Add to Reading ListSource URL: www.aclweb.orgLanguage: English - Date: 2017-09-07 12:37:53
|
---|
3![The “known unknown The “known unknown](https://www.pdfsearch.io/img/9f767275ee50de5efc69b17b561b0f80.jpg) | Add to Reading ListSource URL: res.cdn.sys-con.com- Date: 2017-06-16 10:03:40
|
---|
4![Incremental Instance Generation in Local Reasoning Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E1.4, Saarbr¨ ucken, Germany Incremental Instance Generation in Local Reasoning Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E1.4, Saarbr¨ ucken, Germany](https://www.pdfsearch.io/img/d5190f9e71c3247ea5ab3950e2d597c9.jpg) | Add to Reading ListSource URL: www.swenjacobs.com- Date: 2013-01-31 09:31:42
|
---|
5![Parameterized Synthesis⋆ Swen Jacobs1 and Roderick Bloem2 1 ´ Ecole Parameterized Synthesis⋆ Swen Jacobs1 and Roderick Bloem2 1 ´ Ecole](https://www.pdfsearch.io/img/513fc36b8a00a8a446b5379fa998ddef.jpg) | Add to Reading ListSource URL: www.swenjacobs.com- Date: 2013-01-31 09:32:40
|
---|
6![Comparing Instance Generation Methods for Automated Reasoning ∗ Swen Jacobs () and Uwe Waldmann () Max-Planck-Institut f¨ ur Informatik, Saarbr¨ Comparing Instance Generation Methods for Automated Reasoning ∗ Swen Jacobs () and Uwe Waldmann () Max-Planck-Institut f¨ ur Informatik, Saarbr¨](https://www.pdfsearch.io/img/8027da5505ce512488381ad42f05a9f4.jpg) | Add to Reading ListSource URL: www.swenjacobs.com- Date: 2013-01-31 09:32:27
|
---|
7![Hierarchic Decision Procedures for Verification Swen Jacobs Dissertation zur Erlangung des Grades des Hierarchic Decision Procedures for Verification Swen Jacobs Dissertation zur Erlangung des Grades des](https://www.pdfsearch.io/img/44e3e88b56de438a820a75dd774e073f.jpg) | Add to Reading ListSource URL: www.swenjacobs.com- Date: 2013-01-31 09:33:18
|
---|
8![Lazy Synthesis⋆ Bernd Finkbeiner1 and Swen Jacobs2 1 2 Lazy Synthesis⋆ Bernd Finkbeiner1 and Swen Jacobs2 1 2](https://www.pdfsearch.io/img/45644985f2c2a5853bb8e076ebed24b7.jpg) | Add to Reading ListSource URL: www.swenjacobs.com- Date: 2013-01-31 09:32:56
|
---|
9![Reductions for Synthesis Procedures? Swen Jacobs1 , Viktor Kuncak2 , and Philippe Suter2 1 2 Reductions for Synthesis Procedures? Swen Jacobs1 , Viktor Kuncak2 , and Philippe Suter2 1 2](https://www.pdfsearch.io/img/8b560d4cf3506b0fa5c9da07f0f68cbc.jpg) | Add to Reading ListSource URL: www.swenjacobs.com- Date: 2013-01-31 09:33:18
|
---|
10![Parameterized Model Checking of Token-Passing Systems Benjamin Aminof1 , Swen Jacobs2 , Ayrat Khalimov2 , Sasha Rubin1,3 1 ? Parameterized Model Checking of Token-Passing Systems Benjamin Aminof1 , Swen Jacobs2 , Ayrat Khalimov2 , Sasha Rubin1,3 1 ?](https://www.pdfsearch.io/img/dbbd5fc84a6625d53a15b90a32224f9c.jpg) | Add to Reading ListSource URL: www.swenjacobs.com- Date: 2013-11-19 05:44:53
|
---|