default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHenrik Nilsson
Person information
- affiliation: University of Nottingham, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c38]Henrik Nilsson, Joakim Rydell, Anton Kullberg, Gustaf Hendeby:
Dronar: Obstacle Echolocation Using Drone Ego-Noise. ICASSP Workshops 2024: 184-188- 2021
- [j13]Henrik Nilsson
, Mattias Mullaart Söderholm, Niklas Strand, Alexander Eriksson:
The effects of information relevancy on driving behavior. Cogn. Technol. Work. 23(3): 429-437 (2021) - 2020
- [j12]Gerald Schweiger, Henrik Nilsson, Josef-Peter Schoeggl, Wolfgang Birk, Alfred Posch:
Modeling and simulation of large-scale systems: A systematic comparison of modeling paradigms. Appl. Math. Comput. 365 (2020) - [j11]Ivan Perez, Henrik Nilsson:
Runtime verification and validation of functional reactive systems. J. Funct. Program. 30: e28 (2020)
2010 – 2019
- 2019
- [c37]Guerric Chupin, Henrik Nilsson:
Functional Reactive Programming, restated. PPDP 2019: 7:1-7:14 - [i1]Gerald Schweiger, Henrik Nilsson, Josef-Peter Schoeggl, Wolfgang Birk, Alfred Posch:
Modeling and simulation of large-scale Systems: a systematic comparison of modeling paradigms. CoRR abs/1909.00484 (2019) - 2017
- [j10]Ivan Perez, Henrik Nilsson:
Testing and debugging functional reactive programming. Proc. ACM Program. Lang. 1(ICFP): 2:1-2:27 (2017) - [c36]Dmitrii Legatiuk, Henrik Nilsson:
Abstract modelling: towards a typed declarative language for the conceptual modelling phase. EOOLT 2017: 61-64 - [c35]Henrik Nilsson, Guerric Chupin:
Funky Grooves: Declarative Programming of Full-Fledged Musical Applications. PADL 2017: 163-172 - 2016
- [c34]Ivan Perez, Manuel Bärenz, Henrik Nilsson:
Functional reactive programming, refactored. Haskell 2016: 33-44 - [c33]Jan Bracker, Henrik Nilsson:
Supermonads: one notion to bind them all. Haskell 2016: 158-169 - 2015
- [c32]Ivan Perez, Henrik Nilsson:
Bridging the GUI gap with reactive values and relations. Haskell 2015: 47-58 - [c31]Jan Bracker, Henrik Nilsson:
Polymonad programming in Haskell. IFL 2015: 3:1-3:12 - [e5]Henrik Nilsson, David Janin:
Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design, FARM@ICFP 2015, Vancouver, BC, Canada, September 5, 2015. ACM 2015, ISBN 978-1-4503-3806-6 [contents] - 2014
- [c30]Bas van Gijzel, Henrik Nilsson:
A principled approach to the implementation of argumentation models. COMMA 2014: 293-300 - [c29]Henrik Nilsson, Thomas A. Nielsen:
Declarative modelling for Bayesian inference by shallow embedding. EOOLT 2014: 39-42 - [c28]Henrik Nilsson, Ivan Perez:
Declarative Game Programming: Distilled Tutorial. PPDP 2014: 159-160 - [e4]Alex McLean, Michael Sperber, Henrik Nilsson:
Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design, FARM@ICFP 2014, Gothenburg, Sweden, September 1-3, 2014. ACM 2014, ISBN 978-1-4503-3039-8 [contents] - 2013
- [c27]Bas van Gijzel, Henrik Nilsson:
Towards a framework for the implementation and verification of translations between argumentation models. IFL 2013: 93 - [e3]Henrik Nilsson:
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2013, April 19, University of Nottingham, Nottingham, UK. Linköping Electronic Conference Proceedings 84, Linköping University Electronic Press 2013 [contents] - 2012
- [j9]John Capper, Henrik Nilsson:
Structural types for systems of equations - Type refinements for structurally dynamic first-class modular systems of equations. High. Order Symb. Comput. 25(2-4): 275-310 (2012) - [c26]David Broman, Henrik Nilsson:
Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages. PADL 2012: 258-272 - [c25]Bas van Gijzel, Henrik Nilsson:
Haskell Gets Argumentative. Trends in Functional Programming 2012: 215-230 - [c24]John Capper, Henrik Nilsson:
Towards a formal semantics for a structurally dynamic noncausal modelling language. TLDI 2012: 39-50 - 2010
- [j8]Peter Thiemann, Henrik Nilsson:
Special Issue Dedicated to ICFP 2008 Editorial. J. Funct. Program. 20(5-6): 415-416 (2010) - [j7]Neil Sculthorpe, Henrik Nilsson:
Keeping calm in the face of change - Towards optimisation of FRP by reasoning about change. High. Order Symb. Comput. 23(2): 227-271 (2010) - [c23]John Capper, Henrik Nilsson:
Static Balance Checking for First-Class Modular Systems of Equations. Trends in Functional Programming 2010: 50-65 - [c22]George Giorgidze, Henrik Nilsson:
Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL. WFLP 2010: 48-65
2000 – 2009
- 2009
- [j6]Henrik Nilsson:
Type-Based Structural Analysis for Modular Systems of Equations. Simul. Notes Eur. 19(1): 17-28 (2009) - [c21]Neil Sculthorpe, Henrik Nilsson:
Safe functional reactive programming through dependent types. ICFP 2009: 23-34 - [c20]Tom Nielsen, Tom Matheson, Henrik Nilsson:
Braincurry: A Domain-specific Language for Integrative Neuroscience. Trends in Functional Programming 2009: 161-176 - 2008
- [c19]Henrik Nilsson:
Type-Based Structural Analysis for Modular Systems of Equations. EOOLT 2008: 71-81 - [c18]George Giorgidze, Henrik Nilsson:
Embedding a Functional Hybrid Modelling Language in Haskell. IFL 2008: 138-155 - [c17]George Giorgidze, Henrik Nilsson:
Switched-On Yampa. PADL 2008: 282-298 - [c16]Neil Sculthorpe, Henrik Nilsson:
Optimisation of Dynamic, Hybrid Signal Function Networks. Trends in Functional Programming 2008: 97-112 - 2007
- [j5]Anne Humeau, Wiendelt Steenbergen, Henrik Nilsson, Tomas Strömberg:
Laser Doppler perfusion monitoring and imaging: novel approaches. Medical Biol. Eng. Comput. 45(5): 421-435 (2007) - [c15]Henrik Nilsson, John Peterson, Paul Hudak:
Functional Hybrid Modeling from an Object-Oriented Perspective. EOOLT 2007: 71-87 - [c14]George Giorgidze, Henrik Nilsson:
Demo outline: switched-on yampa. Haskell 2007: 93 - [e2]Henrik Nilsson:
Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006. Trends in Functional Programming 7, Intellect 2007, ISBN 978-1-84150-188-8 [contents] - 2006
- [c13]Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson:
Type-theoretic design patterns. ICFP-WGP 2006: 13-22 - 2005
- [c12]Henrik Nilsson:
Dynamic optimization for functional reactive programming using generalized algebraic data types. ICFP 2005: 54-65 - 2004
- [e1]Henrik Nilsson:
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Snowbird, UT, USA, September 22-22, 2004. ACM 2004, ISBN 978-1-58113-850-4 [contents] - 2003
- [c11]Antony Courtney, Henrik Nilsson, John Peterson:
The Yampa arcade. Haskell 2003: 7-18 - [c10]Henrik Nilsson:
Functional automatic differentiation with dirac impulses. ICFP 2003: 153-164 - [c9]Henrik Nilsson, John Peterson, Paul Hudak:
Functional Hybrid Modeling. PADL 2003: 376-390 - 2002
- [c8]Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson:
Arrows, Robots, and Functional Reactive Programming. Advanced Functional Programming 2002: 159-187 - [c7]Henrik Nilsson, Antony Courtney, John Peterson:
Functional reactive programming, continued. Haskell 2002: 51-64 - [c6]Izzet Pembeci, Henrik Nilsson, Gregory D. Hager:
Functional reactive robotics: an exercise in principled integration of domain-specific languages. PPDP 2002: 168-179 - 2001
- [j4]Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson:
An integrated development environment for Java Card. Comput. Networks 36(4): 391-405 (2001) - [j3]Henrik Nilsson:
How to look busy while being as lazy as ever: the implementation of a lazy functional debugger. J. Funct. Program. 11(6): 629-671 (2001) - 2000
- [c5]Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson:
Smart Tools for Java Cards. CARDIS 2000: 155-176
1990 – 1999
- 1999
- [c4]Henrik Nilsson:
Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages. ICFP 1999: 36-47 - 1997
- [j2]Henrik Nilsson, Jan Sparud:
The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging. Autom. Softw. Eng. 4(2): 121-150 (1997) - 1995
- [c3]Jan Sparud, Henrik Nilsson:
The Architecture of a Debugger for Lazy Functional Languages. AADEBUG 1995: 19-34 - 1994
- [j1]Henrik Nilsson, Peter Fritzson:
Algorithmic Debugging for Lazy Functional Languages. J. Funct. Program. 4(3): 337-369 (1994) - 1993
- [c2]Henrik Nilsson, Peter Fritzson:
Lazy Algorithmic Debugging: Ideas for Practical Implementation. AADEBUG 1993: 117-134 - 1992
- [c1]Henrik Nilsson, Peter Fritzson:
Algorithmic Debugging for Lazy Functional Languages. PLILP 1992: 385-399
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-05 23:40 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:
