Travelled to:1 × Canada
1 × USA
1 × United Kingdom
Collaborated with:C.Weidenbach M.Suda D.Dhungana C.H.Tang D.Dimova A.Fietzke R.Kumar
Talks about:interact (1) configur (1) version (1) system (1) verif (1) spass (1) satur (1) autom (1) yago (1) rule (1)
Person: Patrick Wischnewski
DBLP: Wischnewski:Patrick
Contributed to:
2013
2010
2009Wrote 3 papers:
- ASE-2013-DhunganaTWW #automation #interactive #rule-based #verification
- Automated verification of interactive rule-based configuration systems (DD, CHT, CW, PW), pp. 551–561.
- IJCAR-2010-SudaWW #on the
- On the Saturation of YAGO (MS, CW, PW), pp. 441–456.
- CADE-2009-WeidenbachDFKSW
- SPASS Version 3.5 (CW, DD, AF, RK, MS, PW), pp. 140–145.