Henrik Nilsson

57 papers A 4C 16Journal 14Unranked 19

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Dronar: Obstacle Echolocation Using Drone Ego-Noise. ICASSP Workshops Henrik Nilsson, Joakim Rydell, Anton Kullberg, Gustaf Hendeby
2021	J	`jnl`	The effects of information relevancy on driving behavior. Cogn. Technol. Work. Henrik Nilsson, Mattias Mullaart Söderholm, Niklas Strand, Alexander Eriksson
2020	J	`jnl`	Modeling and simulation of large-scale systems: A systematic comparison of modeling paradigms. Appl. Math. Comput. Gerald Schweiger, Henrik Nilsson, Josef-Peter Schoeggl, Wolfgang Birk, Alfred Posch
2020	J	`jnl`	Runtime verification and validation of functional reactive systems. J. Funct. Program. Ivan Perez, Henrik Nilsson
2019	C	`conf`	Functional Reactive Programming, restated. PPDP Guerric Chupin, Henrik Nilsson
2019	J	`jnl`	Modeling and simulation of large-scale Systems: a systematic comparison of modeling paradigms. CoRR Gerald Schweiger, Henrik Nilsson, Josef-Peter Schoeggl, Wolfgang Birk, Alfred Posch
2017	—	`conf`	Abstract modelling: towards a typed declarative language for the conceptual modelling phase. EOOLT Dmitrii Legatiuk, Henrik Nilsson
2017	C	`conf`	Funky Grooves: Declarative Programming of Full-Fledged Musical Applications. PADL Henrik Nilsson, Guerric Chupin
2017	J	`jnl`	Testing and debugging functional reactive programming. Proc. ACM Program. Lang. Ivan Perez, Henrik Nilsson
2016	C	`conf`	Functional reactive programming, refactored. Haskell Ivan Perez, Manuel Bärenz, Henrik Nilsson
2016	C	`conf`	Supermonads: one notion to bind them all. Haskell Jan Bracker, Henrik Nilsson
2015	C	`conf`	Bridging the GUI gap with reactive values and relations. Haskell Ivan Perez, Henrik Nilsson
2015	—	`conf`	Polymonad programming in Haskell. IFL Jan Bracker, Henrik Nilsson
2015	—	`ed.`	Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design, FARM@ICFP 2015, Vancouver, BC, Canada, September 5, 2015 FARM@ICFP Henrik Nilsson, David Janin
2014	C	`conf`	A principled approach to the implementation of argumentation models. COMMA Bas van Gijzel, Henrik Nilsson
2014	C	`conf`	Declarative Game Programming: Distilled Tutorial. PPDP Henrik Nilsson, Ivan Perez
2014	—	`conf`	Declarative modelling for Bayesian inference by shallow embedding. EOOLT Henrik Nilsson, Thomas A. Nielsen
2014	—	`ed.`	Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design, FARM@ICFP 2014, Gothenburg, Sweden, September 1-3, 2014 FARM@ICFP Alex McLean, Michael Sperber, Henrik Nilsson
2013	—	`ed.`	Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2013, April 19, University of Nottingham, Nottingham, UK EOOLT Henrik Nilsson
2013	—	`conf`	Towards a framework for the implementation and verification of translations between argumentation models. IFL Bas van Gijzel, Henrik Nilsson
2012	—	`conf`	Haskell Gets Argumentative. Trends in Functional Programming Bas van Gijzel, Henrik Nilsson
2012	C	`conf`	Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages. PADL David Broman, Henrik Nilsson
2012	J	`jnl`	Structural types for systems of equations - Type refinements for structurally dynamic first-class modular systems of equations. High. Order Symb. Comput. John Capper, Henrik Nilsson
2012	—	`conf`	Towards a formal semantics for a structurally dynamic noncausal modelling language. TLDI John Capper, Henrik Nilsson
2010	J	`jnl`	Keeping calm in the face of change - Towards optimisation of FRP by reasoning about change. High. Order Symb. Comput. Neil Sculthorpe, Henrik Nilsson
2010	—	`conf`	Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL. WFLP George Giorgidze, Henrik Nilsson
2010	J	`jnl`	Special Issue Dedicated to ICFP 2008 Editorial. J. Funct. Program. Peter Thiemann, Henrik Nilsson
2010	—	`conf`	Static Balance Checking for First-Class Modular Systems of Equations. Trends in Functional Programming John Capper, Henrik Nilsson
2009	—	`conf`	Braincurry: A Domain-specific Language for Integrative Neuroscience. Trends in Functional Programming Tom Nielsen, Tom Matheson, Henrik Nilsson
2009	A	`conf`	Safe functional reactive programming through dependent types. ICFP Neil Sculthorpe, Henrik Nilsson
2009	J	`jnl`	Type-Based Structural Analysis for Modular Systems of Equations. Simul. Notes Eur. Henrik Nilsson
2008	—	`conf`	Embedding a Functional Hybrid Modelling Language in Haskell. IFL George Giorgidze, Henrik Nilsson
2008	—	`conf`	Optimisation of Dynamic, Hybrid Signal Function Networks. Trends in Functional Programming Neil Sculthorpe, Henrik Nilsson
2008	C	`conf`	Switched-On Yampa. PADL George Giorgidze, Henrik Nilsson
2008	—	`conf`	Type-Based Structural Analysis for Modular Systems of Equations. EOOLT Henrik Nilsson
2007	C	`conf`	Demo outline: switched-on yampa. Haskell George Giorgidze, Henrik Nilsson
2007	—	`conf`	Functional Hybrid Modeling from an Object-Oriented Perspective. EOOLT Henrik Nilsson, John Peterson, Paul Hudak
2007	J	`jnl`	Laser Doppler perfusion monitoring and imaging: novel approaches. Medical Biol. Eng. Comput. Anne Humeau, Wiendelt Steenbergen, Henrik Nilsson, Tomas Strömberg
2007	—	`ed.`	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 Henrik Nilsson
2006	—	`conf`	Type-theoretic design patterns. ICFP-WGP Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson
2005	A	`conf`	Dynamic optimization for functional reactive programming using generalized algebraic data types. ICFP Henrik Nilsson
2004	C	`ed.`	Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Snowbird, UT, USA, September 22-22, 2004 Haskell Henrik Nilsson
2003	C	`conf`	Functional Hybrid Modeling. PADL Henrik Nilsson, John Peterson, Paul Hudak
2003	A	`conf`	Functional automatic differentiation with dirac impulses. ICFP Henrik Nilsson
2003	C	`conf`	The Yampa arcade. Haskell Antony Courtney, Henrik Nilsson, John Peterson
2002	—	`conf`	Arrows, Robots, and Functional Reactive Programming. Advanced Functional Programming Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson
2002	C	`conf`	Functional reactive programming, continued. Haskell Henrik Nilsson, Antony Courtney, John Peterson
2002	C	`conf`	Functional reactive robotics: an exercise in principled integration of domain-specific languages. PPDP Izzet Pembeci, Henrik Nilsson, Gregory D. Hager
2001	J	`jnl`	An integrated development environment for Java Card. Comput. Networks Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson
2001	J	`jnl`	How to look busy while being as lazy as ever: the implementation of a lazy functional debugger. J. Funct. Program. Henrik Nilsson
2000	C	`conf`	Smart Tools for Java Cards. CARDIS Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson
1999	A	`conf`	Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages. ICFP Henrik Nilsson
1997	J	`jnl`	The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging. Autom. Softw. Eng. Henrik Nilsson, Jan Sparud
1995	—	`conf`	The Architecture of a Debugger for Lazy Functional Languages. AADEBUG Jan Sparud, Henrik Nilsson
1994	J	`jnl`	Algorithmic Debugging for Lazy Functional Languages. J. Funct. Program. Henrik Nilsson, Peter Fritzson
1993	—	`conf`	Lazy Algorithmic Debugging: Ideas for Practical Implementation. AADEBUG Henrik Nilsson, Peter Fritzson
1992	—	`conf`	Algorithmic Debugging for Lazy Functional Languages. PLILP Henrik Nilsson, Peter Fritzson