Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Härmel Nestra
@article{DBLP:journals/corr/abs-2203-15448, author = {Dan Bogdanov and Joosep J{\"{a}}{\"{a}}ger and Peeter Laud and H{\"{a}}rmel Nestra and Martin Pettai and Jaak Randmets and Ville Sokk and Kert Tali and Sandhra{-}Mirella Valdma}, title = {ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs}, journal = {CoRR}, volume = {abs/2203.15448}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2203.15448}, doi = {10.48550/ARXIV.2203.15448}, eprinttype = {arXiv}, eprint = {2203.15448}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2203-15448.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-00616, author = {H{\"{a}}rmel Nestra}, title = {Equational Reasoning for {MTL} Type Classes}, journal = {CoRR}, volume = {abs/2007.00616}, year = {2020}, url = {https://arxiv.org/abs/2007.00616}, eprinttype = {arXiv}, eprint = {2007.00616}, timestamp = {Mon, 06 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-00616.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/Nestra19, author = {H{\"{a}}rmel Nestra}, editor = {Robert M. Hierons and Mohamed Mosbah}, title = {Laws of Monadic Error Handling}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11884}, pages = {372--391}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-32505-3\_21}, doi = {10.1007/978-3-030-32505-3\_21}, timestamp = {Tue, 11 Oct 2022 14:59:07 +0200}, biburl = {https://dblp.org/rec/conf/ictac/Nestra19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/Nestra18, author = {H{\"{a}}rmel Nestra}, editor = {Bernd Fischer and Tarmo Uustalu}, title = {Double Applicative Functors}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11187}, pages = {333--353}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-02508-3\_18}, doi = {10.1007/978-3-030-02508-3\_18}, timestamp = {Mon, 16 Sep 2019 15:27:43 +0200}, biburl = {https://dblp.org/rec/conf/ictac/Nestra18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Nestra17, author = {H{\"{a}}rmel Nestra}, editor = {Kim G. Larsen and Hans L. Bodlaender and Jean{-}Fran{\c{c}}ois Raskin}, title = {Grammars for Indentation-Sensitive Parsing}, booktitle = {42nd International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark}, series = {LIPIcs}, volume = {83}, pages = {45:1--45:13}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.MFCS.2017.45}, doi = {10.4230/LIPICS.MFCS.2017.45}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/Nestra17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Nestra17, author = {H{\"{a}}rmel Nestra}, title = {Alignment Elimination from Adams' Grammars}, journal = {CoRR}, volume = {abs/1706.06497}, year = {2017}, url = {http://arxiv.org/abs/1706.06497}, eprinttype = {arXiv}, eprint = {1706.06497}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Nestra17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/Nestra13, author = {H{\"{a}}rmel Nestra}, editor = {Zhiming Liu and Jim Woodcock and Huibiao Zhu}, title = {On Slicing of Programs with Input Statements}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8049}, pages = {282--300}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39718-9\_17}, doi = {10.1007/978-3-642-39718-9\_17}, timestamp = {Fri, 17 Feb 2023 09:02:01 +0100}, biburl = {https://dblp.org/rec/conf/ictac/Nestra13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Nestra09, author = {H{\"{a}}rmel Nestra}, title = {Transfinite Semantics in the Form of Greatest Fixpoint}, journal = {J. Log. Algebraic Methods Program.}, volume = {78}, number = {7}, pages = {573--592}, year = {2009}, url = {https://doi.org/10.1016/j.jlap.2009.03.001}, doi = {10.1016/J.JLAP.2009.03.001}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Nestra09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/Nestra06, author = {H{\"{a}}rmel Nestra}, editor = {Michael Johnson and Varmo Vene}, title = {Fractional Semantics}, booktitle = {Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4019}, pages = {278--292}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11784180\_22}, doi = {10.1007/11784180\_22}, timestamp = {Sun, 25 Oct 2020 23:16:26 +0100}, biburl = {https://dblp.org/rec/conf/amast/Nestra06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/njc/Nestra05, author = {H{\"{a}}rmel Nestra}, title = {Transfinite Corecursion}, journal = {Nord. J. Comput.}, volume = {12}, number = {2}, pages = {133--156}, year = {2005}, timestamp = {Wed, 03 May 2006 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/njc/Nestra05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/actaC/Nestra02, author = {H{\"{a}}rmel Nestra}, title = {Framework for Studying Substitution}, journal = {Acta Cybern.}, volume = {15}, number = {4}, pages = {633--652}, year = {2002}, url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3601}, timestamp = {Wed, 16 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/actaC/Nestra02.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.