Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Henrik Nilsson
@article{DBLP:journals/ctw/NilssonSSE21,
author = {Henrik Nilsson and
Mattias Mullaart S{\"{o}}derholm and
Niklas Strand and
Alexander Eriksson},
title = {The effects of information relevancy on driving behavior},
journal = {Cogn. Technol. Work.},
volume = {23},
number = {3},
pages = {429--437},
year = {2021},
url = {https://doi.org/10.1007/s10111-020-00644-x},
doi = {10.1007/S10111-020-00644-X},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ctw/NilssonSSE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/SchweigerNSBP20,
author = {Gerald Schweiger and
Henrik Nilsson and
Josef{-}Peter Schoeggl and
Wolfgang Birk and
Alfred Posch},
title = {Modeling and simulation of large-scale systems: {A} systematic comparison
of modeling paradigms},
journal = {Appl. Math. Comput.},
volume = {365},
year = {2020},
url = {https://doi.org/10.1016/j.amc.2019.124713},
doi = {10.1016/J.AMC.2019.124713},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amc/SchweigerNSBP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/PerezN20,
author = {Ivan Perez and
Henrik Nilsson},
title = {Runtime verification and validation of functional reactive systems},
journal = {J. Funct. Program.},
volume = {30},
pages = {e28},
year = {2020},
url = {https://doi.org/10.1017/S0956796820000210},
doi = {10.1017/S0956796820000210},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/PerezN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ChupinN19,
author = {Guerric Chupin and
Henrik Nilsson},
editor = {Ekaterina Komendantskaya},
title = {Functional Reactive Programming, restated},
booktitle = {Proceedings of the 21st International Symposium on Principles and
Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October
7-9, 2019},
pages = {7:1--7:14},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3354166.3354172},
doi = {10.1145/3354166.3354172},
timestamp = {Thu, 26 Sep 2019 14:21:31 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/ChupinN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-00484,
author = {Gerald Schweiger and
Henrik Nilsson and
Josef{-}Peter Schoeggl and
Wolfgang Birk and
Alfred Posch},
title = {Modeling and simulation of large-scale Systems: a systematic comparison
of modeling paradigms},
journal = {CoRR},
volume = {abs/1909.00484},
year = {2019},
url = {http://arxiv.org/abs/1909.00484},
eprinttype = {arXiv},
eprint = {1909.00484},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-00484.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PerezN17,
author = {Ivan Perez and
Henrik Nilsson},
title = {Testing and debugging functional reactive programming},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {2:1--2:27},
year = {2017},
url = {https://doi.org/10.1145/3110246},
doi = {10.1145/3110246},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PerezN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eoolt/LegatiukN17,
author = {Dmitrii Legatiuk and
Henrik Nilsson},
editor = {Dirk Zimmer and
Bernhard Bachmann},
title = {Abstract modelling: towards a typed declarative language for the conceptual
modelling phase},
booktitle = {Proceedings of the 8th International Workshop on Equation-Based Object-Oriented
Modeling Languages and Tools, {EOOLT} '17, We{\ss}ling, Germany, December
1, 2017},
pages = {61--64},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3158191.3158202},
doi = {10.1145/3158191.3158202},
timestamp = {Sun, 02 Oct 2022 16:00:30 +0200},
biburl = {https://dblp.org/rec/conf/eoolt/LegatiukN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/NilssonC17,
author = {Henrik Nilsson and
Guerric Chupin},
editor = {Yuliya Lierler and
Walid Taha},
title = {Funky Grooves: Declarative Programming of Full-Fledged Musical Applications},
booktitle = {Practical Aspects of Declarative Languages - 19th International Symposium,
{PADL} 2017, Paris, France, January 16-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10137},
pages = {163--172},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51676-9\_11},
doi = {10.1007/978-3-319-51676-9\_11},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/NilssonC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/PerezBN16,
author = {Ivan Perez and
Manuel B{\"{a}}renz and
Henrik Nilsson},
editor = {Geoffrey Mainland},
title = {Functional reactive programming, refactored},
booktitle = {Proceedings of the 9th International Symposium on Haskell, Haskell
2016, Nara, Japan, September 22-23, 2016},
pages = {33--44},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2976002.2976010},
doi = {10.1145/2976002.2976010},
timestamp = {Tue, 06 Nov 2018 16:58:22 +0100},
biburl = {https://dblp.org/rec/conf/haskell/PerezBN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/BrackerN16,
author = {Jan Bracker and
Henrik Nilsson},
editor = {Geoffrey Mainland},
title = {Supermonads: one notion to bind them all},
booktitle = {Proceedings of the 9th International Symposium on Haskell, Haskell
2016, Nara, Japan, September 22-23, 2016},
pages = {158--169},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2976002.2976012},
doi = {10.1145/2976002.2976012},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haskell/BrackerN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/PerezN15,
author = {Ivan Perez and
Henrik Nilsson},
editor = {Ben Lippmeier},
title = {Bridging the {GUI} gap with reactive values and relations},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2015, Vancouver, BC, Canada, September 3-4, 2015},
pages = {47--58},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2804302.2804316},
doi = {10.1145/2804302.2804316},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/haskell/PerezN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/BrackerN15,
author = {Jan Bracker and
Henrik Nilsson},
editor = {Ralf L{\"{a}}mmel},
title = {Polymonad programming in Haskell},
booktitle = {Proceedings of the 27th Symposium on the Implementation and Application
of Functional Programming Languages, {IFL} '15, Koblenz, Germany,
September 14-16, 2015},
pages = {3:1--3:12},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2897336.2897340},
doi = {10.1145/2897336.2897340},
timestamp = {Tue, 06 Nov 2018 11:06:43 +0100},
biburl = {https://dblp.org/rec/conf/ifl/BrackerN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2015farm,
editor = {Henrik Nilsson and
David Janin},
title = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on Functional
Art, Music, Modelling and Design, FARM@ICFP 2015, Vancouver, BC, Canada,
September 5, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2808083},
doi = {10.1145/2808083},
isbn = {978-1-4503-3806-6},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2015farm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/GijzelN14,
author = {Bas van Gijzel and
Henrik Nilsson},
editor = {Simon Parsons and
Nir Oren and
Chris Reed and
Federico Cerutti},
title = {A principled approach to the implementation of argumentation models},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2014, Atholl
Palace Hotel, Scottish Highlands, UK, September 9-12, 2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {266},
pages = {293--300},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-436-7-293},
doi = {10.3233/978-1-61499-436-7-293},
timestamp = {Thu, 10 Aug 2023 14:30:52 +0200},
biburl = {https://dblp.org/rec/conf/comma/GijzelN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eoolt/NilssonN14,
author = {Henrik Nilsson and
Thomas A. Nielsen},
editor = {Peter Pepper and
David Broman},
title = {Declarative modelling for Bayesian inference by shallow embedding},
booktitle = {Equation-Based Object-Oriented Modeling Languages and Tools 2014,
{EOOLT} 2014, Berlin, Germany, October 10, 2014},
pages = {39--42},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2666202.2666208},
doi = {10.1145/2666202.2666208},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eoolt/NilssonN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/NilssonP14,
author = {Henrik Nilsson and
Ivan Perez},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Declarative Game Programming: Distilled Tutorial},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {159--160},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643160},
doi = {10.1145/2643135.2643160},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/NilssonP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2014farm,
editor = {Alex McLean and
Michael Sperber and
Henrik Nilsson},
title = {Proceedings of the 2nd {ACM} {SIGPLAN} international workshop on Functional
art, music, modeling {\&} design, FARM@ICFP 2014, Gothenburg,
Sweden, September 1-3, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633638},
doi = {10.1145/2633638},
isbn = {978-1-4503-3039-8},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2014farm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/GijzelN13,
author = {Bas van Gijzel and
Henrik Nilsson},
editor = {Rinus Plasmeijer},
title = {Towards a framework for the implementation and verification of translations
between argumentation models},
booktitle = {Proceedings of the 25th Symposium on Implementation and Application
of Functional Languages, Nijmegen, The Netherlands, August 28-30,
2013},
pages = {93},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2620678.2620688},
doi = {10.1145/2620678.2620688},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifl/GijzelN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eoolt/2013,
editor = {Henrik Nilsson},
title = {Proceedings of the 5th International Workshop on Equation-Based Object-Oriented
Modeling Languages and Tools, {EOOLT} 2013, April 19, University of
Nottingham, Nottingham, {UK}},
series = {Link{\"{o}}ping Electronic Conference Proceedings},
volume = {84},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {2013},
url = {http://www.ep.liu.se/ecp/contents.asp?issue=84},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eoolt/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/CapperN12,
author = {John Capper and
Henrik Nilsson},
title = {Structural types for systems of equations - Type refinements for structurally
dynamic first-class modular systems of equations},
journal = {High. Order Symb. Comput.},
volume = {25},
number = {2-4},
pages = {275--310},
year = {2012},
url = {https://doi.org/10.1007/s10990-013-9099-6},
doi = {10.1007/S10990-013-9099-6},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/CapperN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BromanN12,
author = {David Broman and
Henrik Nilsson},
editor = {Claudio V. Russo and
Neng{-}Fa Zhou},
title = {Node-Based Connection Semantics for Equation-Based Object-Oriented
Modeling Languages},
booktitle = {Practical Aspects of Declarative Languages - 14th International Symposium,
{PADL} 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7149},
pages = {258--272},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27694-1\_19},
doi = {10.1007/978-3-642-27694-1\_19},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/BromanN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GijzelN12,
author = {Bas van Gijzel and
Henrik Nilsson},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Haskell Gets Argumentative},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {215--230},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_14},
doi = {10.1007/978-3-642-40447-4\_14},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/GijzelN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/CapperN12,
author = {John Capper and
Henrik Nilsson},
editor = {Benjamin C. Pierce},
title = {Towards a formal semantics for a structurally dynamic noncausal modelling
language},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Types in Languages
Design and Implementation, {TLDI} 2012, Philadelphia, PA, USA, Saturday,
January 28, 2012},
pages = {39--50},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103786.2103792},
doi = {10.1145/2103786.2103792},
timestamp = {Thu, 11 May 2023 14:56:29 +0200},
biburl = {https://dblp.org/rec/conf/tldi/CapperN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ThiemannN08,
author = {Peter Thiemann and
Henrik Nilsson},
title = {Special Issue Dedicated to {ICFP} 2008 Editorial},
journal = {J. Funct. Program.},
volume = {20},
number = {5-6},
pages = {415--416},
year = {2010},
url = {https://doi.org/10.1017/S0956796810000250},
doi = {10.1017/S0956796810000250},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/ThiemannN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/SculthorpeN10,
author = {Neil Sculthorpe and
Henrik Nilsson},
title = {Keeping calm in the face of change - Towards optimisation of {FRP}
by reasoning about change},
journal = {High. Order Symb. Comput.},
volume = {23},
number = {2},
pages = {227--271},
year = {2010},
url = {https://doi.org/10.1007/s10990-011-9068-x},
doi = {10.1007/S10990-011-9068-X},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/SculthorpeN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/CapperN10,
author = {John Capper and
Henrik Nilsson},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Static Balance Checking for First-Class Modular Systems of Equations},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {50--65},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_4},
doi = {10.1007/978-3-642-22941-1\_4},
timestamp = {Mon, 03 Jan 2022 22:29:43 +0100},
biburl = {https://dblp.org/rec/conf/sfp/CapperN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/GiorgidzeN10,
author = {George Giorgidze and
Henrik Nilsson},
editor = {Julio Mari{\~{n}}o},
title = {Mixed-Level Embedding and {JIT} Compilation for an Iteratively Staged
{DSL}},
booktitle = {Functional and Constraint Logic Programming - 19th International Workshop,
{WFLP} 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6559},
pages = {48--65},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20775-4\_3},
doi = {10.1007/978-3-642-20775-4\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/wflp/GiorgidzeN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simeuro/Nilsson09,
author = {Henrik Nilsson},
title = {Type-Based Structural Analysis for Modular Systems of Equations},
journal = {Simul. Notes Eur.},
volume = {19},
number = {1},
pages = {17--28},
year = {2009},
url = {https://doi.org/10.11128/sne.19.tn.09923},
doi = {10.11128/SNE.19.TN.09923},
timestamp = {Fri, 07 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/simeuro/Nilsson09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SculthorpeN09,
author = {Neil Sculthorpe and
Henrik Nilsson},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Safe functional reactive programming through dependent types},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {23--34},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596558},
doi = {10.1145/1596550.1596558},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SculthorpeN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/NielsenMN09,
author = {Tom Nielsen and
Tom Matheson and
Henrik Nilsson},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {Braincurry: {A} Domain-specific Language for Integrative Neuroscience},
booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
pages = {161--176},
publisher = {Intellect},
year = {2009},
timestamp = {Tue, 04 Jun 2013 08:01:28 +0200},
biburl = {https://dblp.org/rec/conf/sfp/NielsenMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eoolt/Nilsson08,
author = {Henrik Nilsson},
editor = {Peter Fritzson and
Fran{\c{c}}ois E. Cellier and
David Broman},
title = {Type-Based Structural Analysis for Modular Systems of Equations},
booktitle = {Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented
Languages and Tools, {EOOLT} 2008, Paphos, Cyprus, July 8, 2008},
series = {Link{\"{o}}ping Electronic Conference Proceedings},
volume = {29},
pages = {71--81},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {2008},
url = {http://www.ep.liu.se/ecp/article.asp?issue=029\&\#38;article=008\&\#38;volume=},
timestamp = {Thu, 10 Oct 2019 13:06:30 +0200},
biburl = {https://dblp.org/rec/conf/eoolt/Nilsson08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/GiorgidzeN08,
author = {George Giorgidze and
Henrik Nilsson},
editor = {Sven{-}Bodo Scholz and
Olaf Chitil},
title = {Embedding a Functional Hybrid Modelling Language in Haskell},
booktitle = {Implementation and Application of Functional Languages - 20th International
Symposium, {IFL} 2008, Hatfield, UK, September 10-12, 2008. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5836},
pages = {138--155},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-24452-0\_8},
doi = {10.1007/978-3-642-24452-0\_8},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/GiorgidzeN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/GiorgidzeN08,
author = {George Giorgidze and
Henrik Nilsson},
editor = {Paul Hudak and
David Scott Warren},
title = {Switched-On Yampa},
booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium,
{PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
series = {Lecture Notes in Computer Science},
volume = {4902},
pages = {282--298},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77442-6\_19},
doi = {10.1007/978-3-540-77442-6\_19},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/GiorgidzeN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SculthorpeN08,
author = {Neil Sculthorpe and
Henrik Nilsson},
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Optimisation of Dynamic, Hybrid Signal Function Networks},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
pages = {97--112},
publisher = {Intellect},
year = {2008},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SculthorpeN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mbec/HumeauSNS07,
author = {Anne Humeau and
Wiendelt Steenbergen and
Henrik Nilsson and
Tomas Str{\"{o}}mberg},
title = {Laser Doppler perfusion monitoring and imaging: novel approaches},
journal = {Medical Biol. Eng. Comput.},
volume = {45},
number = {5},
pages = {421--435},
year = {2007},
url = {https://doi.org/10.1007/s11517-007-0170-5},
doi = {10.1007/S11517-007-0170-5},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mbec/HumeauSNS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eoolt/NilssonPH07,
author = {Henrik Nilsson and
John Peterson and
Paul Hudak},
editor = {Peter Fritzson and
Fran{\c{c}}ois E. Cellier and
Christoph Nytsch{-}Geusen},
title = {Functional Hybrid Modeling from an Object-Oriented Perspective},
booktitle = {Proceedings of the 1st International Workshop on Equation-Based Object-Oriented
Languages and Tools, {EOOLT} 2007, Berlin, Germany, July 30, 2007},
series = {Link{\"{o}}ping Electronic Conference Proceedings},
volume = {24},
pages = {71--87},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {2007},
url = {http://www.ep.liu.se/ecp/article.asp?issue=024\&\#38;article=007\&\#38;volume=},
timestamp = {Thu, 10 Oct 2019 13:06:30 +0200},
biburl = {https://dblp.org/rec/conf/eoolt/NilssonPH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/GiorgidzeN07,
author = {George Giorgidze and
Henrik Nilsson},
editor = {Gabriele Keller},
title = {Demo outline: switched-on yampa},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2007,
Freiburg, Germany, September 30, 2007},
pages = {93},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291201.1291213},
doi = {10.1145/1291201.1291213},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/haskell/GiorgidzeN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2006,
editor = {Henrik Nilsson},
title = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
publisher = {Intellect},
year = {2007},
isbn = {978-1-84150-188-8},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/RypacekBN06,
author = {Ondrej Rypacek and
Roland Carl Backhouse and
Henrik Nilsson},
editor = {Ralf Hinze},
title = {Type-theoretic design patterns},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2006, Portland, Oregon, USA, September 16, 2006},
pages = {13--22},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159861.1159864},
doi = {10.1145/1159861.1159864},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/RypacekBN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Nilsson05,
author = {Henrik Nilsson},
editor = {Olivier Danvy and
Benjamin C. Pierce},
title = {Dynamic optimization for functional reactive programming using generalized
algebraic data types},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
2005},
pages = {54--65},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086365.1086374},
doi = {10.1145/1086365.1086374},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Nilsson05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2004,
editor = {Henrik Nilsson},
title = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2004,
Snowbird, UT, USA, September 22-22, 2004},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1017472},
doi = {10.1145/1017472},
isbn = {978-1-58113-850-4},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/CourtneyNP03,
author = {Antony Courtney and
Henrik Nilsson and
John Peterson},
editor = {Johan Jeuring},
title = {The Yampa arcade},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2003,
Uppsala, Sweden, August 28, 2003},
pages = {7--18},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/871895.871897},
doi = {10.1145/871895.871897},
timestamp = {Fri, 03 Jun 2022 10:47:45 +0200},
biburl = {https://dblp.org/rec/conf/haskell/CourtneyNP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Nilsson03,
author = {Henrik Nilsson},
editor = {Colin Runciman and
Olin Shivers},
title = {Functional automatic differentiation with dirac impulses},
booktitle = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
2003},
pages = {153--164},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/944705.944720},
doi = {10.1145/944705.944720},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Nilsson03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/NilssonPH03,
author = {Henrik Nilsson and
John Peterson and
Paul Hudak},
editor = {Ver{\'{o}}nica Dahl and
Philip Wadler},
title = {Functional Hybrid Modeling},
booktitle = {Practical Aspects of Declarative Languages, 5th International Symposium,
{PADL} 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2562},
pages = {376--390},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36388-2\_25},
doi = {10.1007/3-540-36388-2\_25},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/NilssonPH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/HudakCNP02,
author = {Paul Hudak and
Antony Courtney and
Henrik Nilsson and
John Peterson},
editor = {Johan Jeuring and
Simon L. Peyton Jones},
title = {Arrows, Robots, and Functional Reactive Programming},
booktitle = {Advanced Functional Programming, 4th International School, {AFP} 2002,
Oxford, UK, August 19-24, 2002, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2638},
pages = {159--187},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-44833-4\_6},
doi = {10.1007/978-3-540-44833-4\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/HudakCNP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/NilssonCP02,
author = {Henrik Nilsson and
Antony Courtney and
John Peterson},
editor = {Manuel M. T. Chakravarty},
title = {Functional reactive programming, continued},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Haskell, Haskell
2002, Pittsburgh, Pennsylvania, USA, October 3, 2002},
pages = {51--64},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581690.581695},
doi = {10.1145/581690.581695},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/NilssonCP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/PembeciNH02,
author = {Izzet Pembeci and
Henrik Nilsson and
Gregory D. Hager},
title = {Functional reactive robotics: an exercise in principled integration
of domain-specific languages},
booktitle = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, October 6-8, 2002,
Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
pages = {168--179},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/571157.571174},
doi = {10.1145/571157.571174},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/PembeciNH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/AttaliCCHN01,
author = {Isabelle Attali and
Denis Caromel and
Carine Courbis and
Ludovic Henrio and
Henrik Nilsson},
title = {An integrated development environment for Java Card},
journal = {Comput. Networks},
volume = {36},
number = {4},
pages = {391--405},
year = {2001},
url = {https://doi.org/10.1016/S1389-1286(01)00162-1},
doi = {10.1016/S1389-1286(01)00162-1},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/AttaliCCHN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Nilsson01,
author = {Henrik Nilsson},
title = {How to look busy while being as lazy as ever: the implementation of
a lazy functional debugger},
journal = {J. Funct. Program.},
volume = {11},
number = {6},
pages = {629--671},
year = {2001},
url = {https://doi.org/10.1017/S095679680100418X},
doi = {10.1017/S095679680100418X},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/Nilsson01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cardis/AttaliCCHN00,
author = {Isabelle Attali and
Denis Caromel and
Carine Courbis and
Ludovic Henrio and
Henrik Nilsson},
editor = {Josep Domingo{-}Ferrer and
David Chan and
Anthony Watson},
title = {Smart Tools for Java Cards},
booktitle = {Smart Card Research and Advanced Applications, Proceedings of the
Fourth Working Conference on Smart Card Research and Advanced Applications,
{CARDIS} 2000, September 20-22, 2000, Bristol, {UK}},
series = {{IFIP} Conference Proceedings},
volume = {180},
pages = {155--176},
publisher = {Kluwer},
year = {2000},
timestamp = {Thu, 01 Aug 2002 11:36:41 +0200},
biburl = {https://dblp.org/rec/conf/cardis/AttaliCCHN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Nilsson99,
author = {Henrik Nilsson},
editor = {Didier R{\'{e}}my and
Peter Lee},
title = {Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages},
booktitle = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
1999},
pages = {36--47},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/317636.317782},
doi = {10.1145/317636.317782},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Nilsson99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/NilssonS97,
author = {Henrik Nilsson and
Jan Sparud},
title = {The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging},
journal = {Autom. Softw. Eng.},
volume = {4},
number = {2},
pages = {121--150},
year = {1997},
url = {https://doi.org/10.1023/A:1008681016679},
doi = {10.1023/A:1008681016679},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/NilssonS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/SparudN95,
author = {Jan Sparud and
Henrik Nilsson},
editor = {Mireille Ducass{\'{e}}},
title = {The Architecture of a Debugger for Lazy Functional Languages},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {19--34},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/SparudN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/NilssonF94,
author = {Henrik Nilsson and
Peter Fritzson},
title = {Algorithmic Debugging for Lazy Functional Languages},
journal = {J. Funct. Program.},
volume = {4},
number = {3},
pages = {337--369},
year = {1994},
url = {https://doi.org/10.1017/S095679680000109X},
doi = {10.1017/S095679680000109X},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/NilssonF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/NilssonF93,
author = {Henrik Nilsson and
Peter Fritzson},
editor = {Peter Fritszon},
title = {Lazy Algorithmic Debugging: Ideas for Practical Implementation},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {117--134},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019405},
doi = {10.1007/BFB0019405},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/NilssonF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/NilssonF92,
author = {Henrik Nilsson and
Peter Fritzson},
editor = {Maurice Bruynooghe and
Martin Wirsing},
title = {Algorithmic Debugging for Lazy Functional Languages},
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 = {385--399},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55844-6\_149},
doi = {10.1007/3-540-55844-6\_149},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/NilssonF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 05:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
