BibTeX records: Härmel Nestra

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics