BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Finkbeiner B, Klein F, Piskac R, et al. (2017) Vehicle Platooning Simulations with Functional Reactive Programming Arxiv: Programming Languages. 43-47 |
| Piskac R. (2016) From Decision Procedures to Synthesis Procedures Proceedings - 17th International Symposium On Symbolic and Numeric Algorithms For Scientific Computing, Synasc 2015. 3-10 |
| Gulwani S, Mayer M, Niksic F, et al. (2015) StriSynth: Synthesis for Live Programming Proceedings - International Conference On Software Engineering. 2: 701-704 |
| Reinking A, Piskac R. (2015) A type-directed approach to program repair Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9206: 511-517 |
| Piskac R, Wies T, Zufferey D. (2014) GRASShopper: Complete heap verification with mixed specifications Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8413: 124-139 |
| Piskac R, Wies T, Zufferey D. (2014) Automating separation logic with trees and data Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8559: 711-728 |
| Kuraj I, Piskac R. (2013) Complete completion using types and weights tihomir gvero viktor kuncak Acm Sigplan Notices. 48: 27-38 |
| Gvero T, Kuncak V, Kuraj I, et al. (2013) Complete completion using types and weights Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 27-38 |
| Kuncak V, Mayer M, Piskac R, et al. (2013) Functional synthesis for linear arithmetic and sets International Journal On Software Tools For Technology Transfer. 15: 455-474 |
| Kuncak V, Piskac R, Mayer M, et al. (2012) Software synthesis procedures Communications of the Acm. 55: 103-111 |