default search action
BibTeX records: Michal Terepeta
@inproceedings{DBLP:conf/lpar/SchlundTL13, author = {Maximilian Schlund and Michal Terepeta and Michael Luttenberger}, editor = {Kenneth L. McMillan and Aart Middeldorp and Andrei Voronkov}, title = {Putting Newton into Practice: {A} Solver for Polynomial Equations over Semirings}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8312}, pages = {727--734}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-45221-5\_48}, doi = {10.1007/978-3-642-45221-5\_48}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/SchlundTL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/TerepetaNN13, author = {Michal Terepeta and Hanne Riis Nielson and Flemming Nielson}, title = {Pushdown Systems for Monotone Frameworks}, journal = {CoRR}, volume = {abs/1307.4585}, year = {2013}, url = {http://arxiv.org/abs/1307.4585}, eprinttype = {arXiv}, eprint = {1307.4585}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/TerepetaNN13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/TerepetaNN12, author = {Michal Terepeta and Hanne Riis Nielson and Flemming Nielson}, editor = {Marjan Sirjani}, title = {Recursive Advice for Coordination}, booktitle = {Coordination Models and Languages - 14th International Conference, {COORDINATION} 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7274}, pages = {137--151}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30829-1\_10}, doi = {10.1007/978-3-642-30829-1\_10}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/TerepetaNN12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/FilipiukTNN11, author = {Piotr Filipiuk and Michal Terepeta and Hanne Riis Nielson and Flemming Nielson}, editor = {Roberto Bruni and J{\"{u}}rgen Dingel}, title = {Galois Connections for Flow Algebras}, booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG} 6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6722}, pages = {138--152}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21461-5\_9}, doi = {10.1007/978-3-642-21461-5\_9}, timestamp = {Sun, 02 Jun 2019 21:14:32 +0200}, biburl = {https://dblp.org/rec/conf/forte/FilipiukTNN11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.