Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Mads Rosendahl
@article{DBLP:journals/corr/abs-2204-03401, author = {Maja H. Kirkeby and Thomas Krabben and Mathias Marquar Arhipenko Larsen and Maria Bendix Mikkelsen and Tjark Petersen and Mads Rosendahl and Martin Schoeberl and Martin Sundman}, title = {Energy Consumption and Performance of Heapsort in Hardware and Software}, journal = {CoRR}, volume = {abs/2204.03401}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2204.03401}, doi = {10.48550/ARXIV.2204.03401}, eprinttype = {arXiv}, eprint = {2204.03401}, timestamp = {Wed, 15 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2204-03401.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mam/EderGLMBGHHKKKK16, author = {Kerstin Eder and John P. Gallagher and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Henk L. Muller and Zorana Bankovic and Kyriakos Georgiou and R{\'{e}}my Haemmerl{\'{e}} and Manuel V. Hermenegildo and Bishoksan Kafle and Steve Kerrison and Maja H. Kirkeby and Maximiliano Klemen and Xueliang Li and Umer Liqat and Jeremy Morse and Morten Rhiger and Mads Rosendahl}, title = {{ENTRA:} Whole-systems energy transparency}, journal = {Microprocess. Microsystems}, volume = {47}, pages = {278--286}, year = {2016}, url = {https://doi.org/10.1016/j.micpro.2016.07.003}, doi = {10.1016/J.MICPRO.2016.07.003}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mam/EderGLMBGHHKKKK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/EderGLMBGHHKKKK16, author = {Kerstin Eder and John P. Gallagher and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Henk L. Muller and Zorana Bankovic and Kyriakos Georgiou and R{\'{e}}my Haemmerl{\'{e}} and Manuel V. Hermenegildo and Bishoksan Kafle and Steve Kerrison and Maja H. Kirkeby and Maximiliano Klemen and Xueliang Li and Umer Liqat and Jeremy Morse and Morten Rhiger and Mads Rosendahl}, title = {{ENTRA:} Whole-Systems Energy Transparency}, journal = {CoRR}, volume = {abs/1606.04074}, year = {2016}, url = {http://arxiv.org/abs/1606.04074}, eprinttype = {arXiv}, eprint = {1606.04074}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/EderGLMBGHHKKKK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/KirkebyR16, author = {Maja H. Kirkeby and Mads Rosendahl}, title = {Probabilistic Resource Analysis by Program Transformation}, journal = {CoRR}, volume = {abs/1608.01106}, year = {2016}, url = {http://arxiv.org/abs/1608.01106}, eprinttype = {arXiv}, eprint = {1608.01106}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KirkebyR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fopara/KirkebyR15, author = {Maja H. Kirkeby and Mads Rosendahl}, editor = {Marko C. J. D. van Eekelen and Ugo Dal Lago}, title = {Probabilistic Resource Analysis by Program Transformation}, booktitle = {Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, {FOPARA} 2015, London, UK, April 11, 2015, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9964}, pages = {60--80}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-46559-3\_4}, doi = {10.1007/978-3-319-46559-3\_4}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/fopara/KirkebyR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/RosendahlK15, author = {Mads Rosendahl and Maja H. Kirkeby}, editor = {Nathalie Bertrand and Mirco Tribastone}, title = {Probabilistic Output Analysis by Program Manipulation}, booktitle = {Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015}, series = {{EPTCS}}, volume = {194}, pages = {110--124}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.194.8}, doi = {10.4204/EPTCS.194.8}, timestamp = {Mon, 16 Sep 2019 14:48:18 +0200}, biburl = {https://dblp.org/rec/journals/corr/RosendahlK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Rosendahl13, author = {Mads Rosendahl}, editor = {Anindya Banerjee and Olivier Danvy and Kyung{-}Goo Doh and John Hatcliff}, title = {Abstract Interpretation as a Programming Language}, booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013}, series = {{EPTCS}}, volume = {129}, pages = {84--104}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.129.7}, doi = {10.4204/EPTCS.129.7}, timestamp = {Wed, 12 Sep 2018 01:05:14 +0200}, biburl = {https://dblp.org/rec/journals/corr/Rosendahl13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/GallagherR08, author = {John P. Gallagher and Mads Rosendahl}, editor = {Iliano Cervesato and Helmut Veith and Andrei Voronkov}, title = {Approximating Term Rewriting Systems: {A} Horn Clause Specification and Its Implementation}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, {LPAR} 2008, Doha, Qatar, November 22-27, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5330}, pages = {682--696}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89439-1\_47}, doi = {10.1007/978-3-540-89439-1\_47}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/GallagherR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Rosendahl02, author = {Mads Rosendahl}, editor = {Torben {\AE}. Mogensen and David A. Schmidt and Ivan Hal Sudborough}, title = {Simple Driving Techniques}, booktitle = {The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]}, series = {Lecture Notes in Computer Science}, volume = {2566}, pages = {404--419}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36377-7\_18}, doi = {10.1007/3-540-36377-7\_18}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Rosendahl02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jflp/JonesR97, author = {Neil D. Jones and Mads Rosendahl}, title = {Higher-Order Minimal Function Graphs}, journal = {J. Funct. Log. Program.}, volume = {1997}, number = {2}, year = {1997}, url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-02/A97-02.html}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jflp/JonesR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alp/JonesR94, author = {Neil D. Jones and Mads Rosendahl}, editor = {Giorgio Levi and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Higher-Order Minimal Functional Graphs}, booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {850}, pages = {242--252}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58431-5\_17}, doi = {10.1007/3-540-58431-5\_17}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/alp/JonesR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/JensenHR94, author = {Kristian Damm Jensen and Peter Hj{\ae}resen and Mads Rosendahl}, editor = {Baudouin Le Charlier}, title = {Efficient Strictness Analysis of Haskell}, booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {246--362}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4\_51}, doi = {10.1007/3-540-58485-4\_51}, timestamp = {Mon, 12 Aug 2019 15:36:13 +0200}, biburl = {https://dblp.org/rec/conf/sas/JensenHR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Rosendahl93, author = {Mads Rosendahl}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Higher-Order Chaotic Iteration Sequences}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {332--345}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_89}, doi = {10.1007/3-540-57186-8\_89}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Rosendahl93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Rosendahl92, author = {Mads Rosendahl}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Strictness Analysis for Attribute Grammars}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {145--157}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_133}, doi = {10.1007/3-540-55844-6\_133}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Rosendahl92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/MycroftR92, author = {Alan Mycroft and Mads Rosendahl}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Minimal Function Graphs are not Instrumented}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {60--67}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Thu, 12 Jul 2018 08:27:45 +0200}, biburl = {https://dblp.org/rec/conf/sas/MycroftR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/ethos/Rosendahl91, author = {Mads Rosendahl}, title = {Abstract interpretation and attribute grammars}, school = {University of Cambridge, {UK}}, year = {1991}, url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.239666}, timestamp = {Tue, 05 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ethos/Rosendahl91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/waga/Rosendahl90, author = {Mads Rosendahl}, editor = {Pierre Deransart and Martin Jourdan}, title = {Abstract Interpretation Using Attribute Grammar}, booktitle = {Attribute Grammars and their Applications, International Conference WAGA, Paris, France, September 19-21, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {461}, pages = {143--156}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-53101-7\_11}, doi = {10.1007/3-540-53101-7\_11}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/waga/Rosendahl90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpca/Rosendahl89, author = {Mads Rosendahl}, editor = {Joseph E. Stoy}, title = {Automatic Complexity Analysis}, booktitle = {Proceedings of the fourth international conference on Functional programming languages and computer architecture, {FPCA} 1989, London, UK, September 11-13, 1989}, pages = {144--156}, publisher = {{ACM}}, year = {1989}, url = {https://doi.org/10.1145/99370.99381}, doi = {10.1145/99370.99381}, timestamp = {Tue, 06 Nov 2018 11:07:48 +0100}, biburl = {https://dblp.org/rec/conf/fpca/Rosendahl89.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.