BibTeX records: Jesús Doménech

• > Home > Persons > Jesús Doménech

@inproceedings{DBLP:journals/corr/abs-2109-04630,
  author       = {Jes{\'{u}}s J. Dom{\'{e}}nech and
                  Samir Genaim},
  editor       = {Hossein Hojjat and
                  Bishoksan Kafle},
  title        = {Termination Analysis of Programs with Multiphase Control-Flow},
  booktitle    = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
                  HCVS@ETAPS 2021, Virtual, 28th March 2021},
  series       = {{EPTCS}},
  volume       = {344},
  pages        = {13--21},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.344.2},
  doi          = {10.4204/EPTCS.344.2},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-04630.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/DomenechGG19,
  author       = {Jes{\'{u}}s J. Dom{\'{e}}nech and
                  John P. Gallagher and
                  Samir Genaim},
  title        = {Control-Flow Refinement by Partial Evaluation, and its Application
                  to Termination and Cost Analysis},
  journal      = {Theory Pract. Log. Program.},
  volume       = {19},
  number       = {5-6},
  pages        = {990--1005},
  year         = {2019},
  url          = {https://doi.org/10.1017/S1471068419000310},
  doi          = {10.1017/S1471068419000310},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/DomenechGG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Ben-AmramDG19,
  author       = {Amir M. Ben{-}Amram and
                  Jes{\'{u}}s J. Dom{\'{e}}nech and
                  Samir Genaim},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Multiphase-Linear Ranking Functions and Their Relation to Recurrent
                  Sets},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {459--480},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_22},
  doi          = {10.1007/978-3-030-32304-2\_22},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/Ben-AmramDG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1907-12345,
  author       = {Jes{\'{u}}s J. Dom{\'{e}}nech and
                  John P. Gallagher and
                  Samir Genaim},
  title        = {Control-Flow Refinement by Partial Evaluation, and its Application
                  to Termination and Cost Analysis},
  journal      = {CoRR},
  volume       = {abs/1907.12345},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.12345},
  eprinttype    = {arXiv},
  eprint       = {1907.12345},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-12345.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1811-07340,
  author       = {Amir M. Ben{-}Amram and
                  Jes{\'{u}}s Dom{\'{e}}nech and
                  Samir Genaim},
  title        = {Multiphase-Linear Ranking Functions and their Relation to Recurrent
                  Sets},
  journal      = {CoRR},
  volume       = {abs/1811.07340},
  year         = {2018},
  url          = {http://arxiv.org/abs/1811.07340},
  eprinttype    = {arXiv},
  eprint       = {1811.07340},
  timestamp    = {Sun, 25 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-07340.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/DomenechGJS17,
  author       = {Jes{\'{u}}s Dom{\'{e}}nech and
                  Samir Genaim and
                  Einar Broch Johnsen and
                  Rudolf Schlatte},
  editor       = {Marieke Huisman and
                  Julia Rubin},
  title        = {EasyInterface: {A} Toolkit for Rapid Development of GUIs for Research
                  Prototype Tools},
  booktitle    = {Fundamental Approaches to Software Engineering - 20th International
                  Conference, {FASE} 2017, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
                  April 22-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10202},
  pages        = {379--383},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-54494-5\_22},
  doi          = {10.1007/978-3-662-54494-5\_22},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fase/DomenechGJS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/DomenechGJS17,
  author       = {Jes{\'{u}}s Dom{\'{e}}nech and
                  Samir Genaim and
                  Einar Broch Johnsen and
                  Rudolf Schlatte},
  title        = {EasyInterface: {A} toolkit for rapid development of GUIs for research
                  prototype tools},
  journal      = {CoRR},
  volume       = {abs/1702.00364},
  year         = {2017},
  url          = {http://arxiv.org/abs/1702.00364},
  eprinttype    = {arXiv},
  eprint       = {1702.00364},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DomenechGJS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}