Flemming Nielson

发表

Flemming Nielson, Hanne Riis Nielson, 2020, ArXiv.
Flemming Nielson, Hanne Riis Nielson, 2006, Program Analysis and Compilation.
Flemming Nielson, Chris Hankin, Hanne Riis Nielson, 1999, Springer Berlin Heidelberg.
Flemming Nielson, Hanne Riis Nielson, Helmut Seidl, 2002, ESOP.
Flemming Nielson, Hanne Riis Nielson, Bo Friis Nielsen, 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Flemming Nielson, Nataliya Skrypnyuk, F. Nielson, 2011, RP.
Flemming Nielson, René Rydhof Hansen, F. Nielson, 2005 .
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard, 2004, SAS.
Flemming Nielson, 1996, CSUR.
Flemming Nielson, F. Nielson, 1989, Theor. Comput. Sci..
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1992, Cambridge tracts in theoretical computer science.
Flemming Nielson, Hanne Riis Nielson, Ximeng Li, 2016, PLAS@CCS.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1988, ESOP.
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1996, LOMAPS.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1985, Programs as Data Objects.
Flemming Nielson, Hanne Riis Nielson, Mikael Buchholtz, 2004 .
Flemming Nielson, Pieter J. Mosterman, Holger Hermanns, 2006, Simulation and Verification of Dynamic Systems.
Flemming Nielson, Hanne Riis Nielson, Kirsten Lackner Solberg Gasser, 1997, ICFP '97.
Flemming Nielson, Lijun Zhang, Holger Hermanns, 2011, 1104.4983.
Flemming Nielson, Hanne Riis Nielson, Ender Yuksel, 2011 .
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 2006, Program Analysis and Compilation.
Flemming Nielson, Hanne Riis Nielson, Marta Z. Kwiatkowska, 2012, ArXiv.
Flemming Nielson, Hanne Riis Nielson, Huibiao Zhu, 2012, ArXiv.
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard, 2006, Simulation and Verification of Dynamic Systems.
Flemming Nielson, Hanne Riis Nielson, Pierpaolo Degano, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
Flemming Nielson, David Sands, F. Nielson, 2019, Lecture Notes in Computer Science.
Flemming Nielson, Hanne Riis Nielson, Huibiao Zhu, 2014, International Journal on Software Tools for Technology Transfer.
Flemming Nielson, Hanne Riis Nielson, Roberto Vigo, 2016, Log. Methods Comput. Sci..
Flemming Nielson, Hanne Riis Nielson, 2007, Undergraduate Topics in Computer Science.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 2019, Models, Languages, and Tools for Concurrent and Distributed Programming.
Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, 1999, SAS.
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1998, FASE.
Flemming Nielson, Fan Yang, Hanne Riis Nielson, 2011, COORDINATION.
Flemming Nielson, Sebastian Mödersheim, Hanne Riis Nielson, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1998, CC.
Flemming Nielson, Hanne Riis Nielson, Alejandro Mario Hernandez, 2011, Sci. Ann. Comput. Sci..
Flemming Nielson, Helmut Seidl, 2001, ESOP.
Flemming Nielson, Hanne Riis Nielson, Kirsten Lackner Solberg Gasser, 1998, SAS.
Flemming Nielson, Hanne Riis Nielson, 2010, FoSSaCS.
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard, 2008, SAS.
Flemming Nielson, Alan Mycroft, F. Nielson, 1983, ICALP.
Flemming Nielson, Christian W. Probst, Zaruhi Aslanyan, 2015, STPIS@CAiSE.
Flemming Nielson, Hanne Riis Nielson, 2019 .
Flemming Nielson, Hanne Riis Nielson, Michał Terepeta, 2013 .
Flemming Nielson, Christian W. Probst, Zaruhi Aslanyan, 2015 .
Flemming Nielson, F. Nielson, 1984 .
Flemming Nielson, Hanne Riis Nielson, Pierpaolo Degano, 1999, FoSSaCS.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1993, CONCUR.
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1996 .
Flemming Nielson, Hanne Riis Nielson, Kebin Zeng, 2014, COORDINATION.
Flemming Nielson, Hanne Riis Nielson, Tomasz Maciazek, 2016, MILS@HiPEAC.
Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang, 2012, IFM.
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard, 2007, TGC.
Flemming Nielson, 2004, Acta Informatica.
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard, 2007, Inf. Process. Lett..
Flemming Nielson, Chris Hankin, Hanne Riis Nielson, 2010, TGC.
Flemming Nielson, Hanne Riis Nielson, Mikael Buchholtz, 2004, International Journal of Information Security.
Flemming Nielson, Christian W. Probst, René Rydhof Hansen, 2006, First International Conference on Availability, Reliability and Security (ARES'06).
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 2007 .
Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos, 2017, TIME.
Flemming Nielson, Alejandro Mario Hernandez, 2012, PLAS '12.
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1997 .
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1998, International Journal on Software Tools for Technology Transfer.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1994, POPL '94.
Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang, 2012 .
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1998, MFCS.
Flemming Nielson, Hanne Riis Nielson, Terkel K. Tolstrup, 2006 .
Flemming Nielson, Chris Hankin, Hanne Riis Nielson, 1999 .
Flemming Nielson, Hanne Riis Nielson, Hugo A. López, 2016, FORTE.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1991, POPL '92.
Flemming Nielson, Bo Friis Nielsen, Lei Song, 2011, QAPL.
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1996, LOMAPS.
Flemming Nielson, Hanne Riis Nielson, Marco Carbone, 2013, FHIES.
Flemming Nielson, Zaruhi Aslanyan, 2017, POST.
Flemming Nielson, Hanne Riis Nielson, Pierpaolo Degano, 2001, Inf. Comput..
Flemming Nielson, Hanne Riis Nielson, Hidehiko Masuhara, 2010 .
Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos, 2018, POST.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 2002, The Essence of Computation.
Flemming Nielson, F. Nielson, 1986, STACS.
Flemming Nielson, Hanne Riis Nielson, Ender Yüksel, 2013, ArXiv.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1997, POPL '97.
Flemming Nielson, Hanne Riis Nielson, Christoffer Rosenkilde Nielsen, 2008, ESOP.
Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, 2002, Theor. Comput. Sci..
Flemming Nielson, Hanne Riis Nielson, 1988 .
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1986, LFP '86.
Flemming Nielson, Hanne Riis Nielson, Roberto Vigo, 2015 .
Flemming Nielson, Helmut Seidl, F. Nielson, 2001, Universität Trier, Mathematik/Informatik, Forschungsbericht.
Flemming Nielson, Ye Zhang, Torben Amtoft, 2008, GPCE '08.
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1996 .
Fan Yang, Flemming Nielson, Hanne Riis Nielson, 2010 .
Flemming Nielson, Hanne Riis Nielson, 1999 .
Flemming Nielson, Hanne Riis Nielson, Han Gao, 2010, ARSPA-WITS.
Flemming Nielson, F. Nielson, 1981, ACM Trans. Program. Lang. Syst..
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1996, Dagstuhl Seminar on Partial Evaluation.
Flemming Nielson, Hanne Riis Nielson, Carroline Dewi Puspa Kencana Ramli, 2011, FACS.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1996, Nord. J. Comput..
Flemming Nielson, Hanne Riis Nielson, Carroline Dewi Puspa Kencana Ramli, 2012, LOPSTR.
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1996 .
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 2007 .
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard, 2011, Formal Modeling: Actors, Open Systems, Biological Systems.
Flemming Nielson, Hanne Riis Nielson, Roberto Vigo, 2013, IFM.
Flemming Nielson, Hanne Riis Nielson, Sebastian Nanz, 2007, CONCUR.
Flemming Nielson, Hanne Riis Nielson, Pierpaolo Degano, 2005, J. Comput. Secur..
Flemming Nielson, Hanne Riis Nielson, Sebastian Nanz, 2008, SAS.
Flemming Nielson, Hanne Riis Nielson, Jan Midtgaard, 2017, Proc. ACM Program. Lang..
Flemming Nielson, Pierre Jouvelot, Bent Thomsen, 1996, LOMAPS.
Flemming Nielson, Christian W. Probst, René Rydhof Hansen, 2006, Formal Aspects in Security and Trust.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1990, Journal of Functional Programming.
Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, 2003, Sci. Comput. Program..
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1992, ESOP.
Flemming Nielson, Rocco De Nicola, Hanne Riis Nielson, 2014, TGC.
Flemming Nielson, Terkel K. Tolstrup, F. Nielson, 2006 .
Flemming Nielson, Hanne Riis Nielson, 2013, FMOODS/FORTE.
Flemming Nielson, Hanne Riis Nielson, Helmut Seidl, 2004, TACAS.
Flemming Nielson, Hanne Riis Nielson, Carroline Dewi Puspa Kencana Ramli, 2011, ArXiv.
Flemming Nielson, Hanne Riis Nielson, Terkel K. Tolstrup, 2005, PaCT.
Flemming Nielson, Hanne Riis Nielson, 1992, Inf. Softw. Technol..
Flemming Nielson, Hanne Riis Nielson, Nataliya Skrypnyuk, 2011 .
Flemming Nielson, Hanne Riis Nielson, Piotr Filipiuk, 2012, ArXiv.
Flemming Nielson, Hanne Riis Nielson, Jan Midtgaard, 2016, SAS.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1996, Theor. Comput. Sci..
Flemming Nielson, Hanne Riis Nielson, Kebin Zeng, 2015, Software, Services, and Systems.
Flemming Nielson, Hanne Riis Nielson, Pierpaolo Degano, 2001, PaCT.
Flemming Nielson, Hanne Riis Nielson, Michal Terepeta, 2012, COORDINATION.
Flemming Nielson, Chris Hankin, Hanne Riis Nielson, 1999 .
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1992 .
Flemming Nielson, Chris Hankin, Hanne Riis Nielson, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Flemming Nielson, Hanne Riis Nielson, 2007, Electron. Notes Theor. Comput. Sci..
Flemming Nielson, Hanne Riis Nielson, Alessandro Bruni, 2015 .
Flemming Nielson, Lijun Zhang, David N. Jansen, 2012, NASA Formal Methods.
Flemming Nielson, Hanne Riis Nielson, 1995, TAPSOFT.
Flemming Nielson, David Parker, Zaruhi Aslanyan, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv, 2000, ESOP.
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard, 2008, J. Log. Algebraic Methods Program..
Flemming Nielson, Hanne Riis Nielson, 2013, Theories of Programming and Formal Methods.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1992 .
Flemming Nielson, Lijun Zhang, Holger Hermanns, 2011, ICALP.
Flemming Nielson, Hanne Riis Nielson, Michael J. A. Smith, 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Flemming Nielson, Hanne Riis Nielson, 2020, From Lambda Calculus to Cybersecurity Through Program Analysis.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1992 .
Flemming Nielson, Christian W. Probst, Jose Quaresma, 2014, ISoLA.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1992, REX Workshop.
Flemming Nielson, Hanne Riis Nielson, Pierpaolo Degano, 1998, CONCUR.
Flemming Nielson, Hanne Riis Nielson, Shuling Wang, 2014, FORTE.
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard, 2006, Simulation and Verification of Dynamic Systems.
Flemming Nielson, Hanne Riis Nielson, Corrado Priami, 2004, QAPL.
Flemming Nielson, F. Nielson, 1989, PARLE.
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1997 .
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 2000, POPL '00.
Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang, 2018, Models, Mindsets, Meta.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1992, ESOP.
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1999 .
Flemming Nielson, Hanne Riis Nielson, 1994, CCL.
Flemming Nielson, Hanne Riis Nielson, Han Gao, 2009 .
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1999, Correct System Design.
Flemming Nielson, F. Nielson, 1997, Monographs in Computer Science.
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1999 .
Flemming Nielson, Hanne Riis Nielson, Jan Midtgaard, 2016, PPDP.
Flemming Nielson, Hanne Riis Nielson, Michal Terepeta, 2013, ArXiv.
Flemming Nielson, Hanne Riis Nielson, Christoffer Rosenkilde Nielsen, 2007, Electron. Notes Theor. Comput. Sci..
Flemming Nielson, Xinyu Feng, Hanne Riis Nielson, 2015, TGC.
Flemming Nielson, Hanne Riis Nielson, Roberto Vigo, 2012, FACS.
Flemming Nielson, Sebastian Mödersheim, Hanne Riis Nielson, 2013, POST.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1997, PEPM.
Flemming Nielson, Hanne Riis Nielson, Ender Yüksel, 2011, Comput. J..
Flemming Nielson, 1997, SIGP.
Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, 1999, CONCUR.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1990, ESOP.
Flemming Nielson, Hanne Riis Nielson, Corrado Priami, 2007, BioConcur@CONCUR.
Flemming Nielson, Hanne Riis Nielson, Erisa Karafili, 2015, STM.
Flemming Nielson, Hanne Riis Nielson, Jan Midtgaard, 2018, SAS.
Flemming Nielson, Nataliya Skrypnyuk, F. Nielson, 2013, Int. J. Found. Comput. Sci..
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 2007 .
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1996 .
Flemming Nielson, Hanne Riis Nielson, Han Gao, 2011, Formal Aspects of Computing.
Flemming Nielson, Hanne Riis Nielson, Corrado Priami, 2004 .
Flemming Nielson, Chris Hankin, Fan Yang, 2013, Sci. Comput. Program..
Flemming Nielson, Hanne Riis Nielson, Han Gao, 2008 .
Flemming Nielson, Hanne Riis Nielson, Ender Yuksel, 2008 .
Flemming Nielson, Hanne Riis Nielson, Ximeng Li, 2015, Programming Languages with Applications to Biology and Security.
Flemming Nielson, Hanne Riis Nielson, Bo Friis Nielsen, 2012, 2012 IEEE Symposium on Computers and Communications (ISCC).
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1988, Sci. Comput. Program..
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1993, WSA.
Flemming Nielson, Hanne Riis Nielson, Pierpaolo Degano, 2000, Bull. EATCS.
Flemming Nielson, Hanne Riis Nielson, Ender Yüksel, 2012, 2012 IEEE Symposium on Computers and Communications (ISCC).
Flemming Nielson, Hanne Riis Nielson, 1998 .
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard, 2007 .
Flemming Nielson, Hanne Riis Nielson, Han Gao, 2011, Results of the SENSORIA Project.
Flemming Nielson, Hanne Riis Nielson, Carroline Dewi Puspa Kencana Ramli, 2011, Sci. Comput. Program..
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 2017, J. Log. Algebraic Methods Program..
Flemming Nielson, Neil D. Jones, N. Jones, 1995, LICS 1995.
Flemming Nielson, F. Nielson, 1987, POPL '87.
Flemming Nielson, Hanne Riis Nielson, Rosario Pugliese, 2016, ISoLA.
Flemming Nielson, Hanne Riis Nielson, Hugo A. López, 2016, ArXiv.
Flemming Nielson, Hanne Riis Nielson, Roberto Vigo, 2014 .
Flemming Nielson, Hanne Riis Nielson, Alessandro Bruni, 2014, IFM.
Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos, 2017, Models, Algorithms, Logics and Tools.
Flemming Nielson, Sebastian Mödersheim, Hanne Riis Nielson, 2014 .
Flemming Nielson, Hanne Riis Nielson, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
Flemming Nielson, Hanne Riis Nielson, Helmut Seidl, 2001, Electron. Notes Theor. Comput. Sci..
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 2007 .
Flemming Nielson, Hanne Riis Nielson, Helmut Seidl, 2002, Nord. J. Comput..
Flemming Nielson, Hanne Riis Nielson, Piotr Filipiuk, 2012 .
Flemming Nielson, Hanne Riis Nielson, Ximeng Li, 2019, J. Comput. Lang..
Flemming Nielson, Hanne Riis Nielson, Ender Yüksel, 2011, 2011 3rd International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT).
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard, 2007, SOS@CONCUR.
Flemming Nielson, Hanne Riis Nielson, Roberto Vigo, 2014, FORTE.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1992, Cambridge tracts in theoretical computer science.
Flemming Nielson, Chris Hankin, Fan Yang, 2012, ArXiv.
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1999 .
Flemming Nielson, Hanne Riis Nielson, Ender Yüksel, 2009, 2009 24th International Symposium on Computer and Information Sciences.
Flemming Nielson, René Rydhof Hansen, Terkel K. Tolstrup, 2006, Formal Aspects in Security and Trust.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1988, POPL '88.
Flemming Nielson, Hanne Riis Nielson, Sebastian Nanz, 2010, Inf. Comput..
Flemming Nielson, Rocco De Nicola, Hanne Riis Nielson, 2010, Sci. Comput. Program..
Flemming Nielson, Hanne Riis Nielson, Mikael Buchholtz, 2002, FOSAD.
Flemming Nielson, Hanne Riis Nielson, 1997 .
Flemming Nielson, Hanne Riis Nielson, 2017, Comput. Lang. Syst. Struct..
Flemming Nielson, Hanne Riis Nielson, 1999, ESOP.
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1999 .
Flemming Nielson, Hanne Riis Nielson, Sebastian Nanz, 2011, TOCL.
Flemming Nielson, F. Nielson, 1985, Programs as Data Objects.
Flemming Nielson, Hanne Riis Nielson, Corrado Priami, 2005, PaCT.
Flemming Nielson, Hanne Riis Nielson, Shuling Wang, 2014, ArXiv.
Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, 2008, 2008 Third International Conference on Availability, Reliability and Security.
Flemming Nielson, Chris Hankin, Hanne Riis Nielson, 1999 .
Flemming Nielson, Hanne Riis Nielson, 1992, POPL '92.
Flemming Nielson, Christian W. Probst, Jose Nuno Carvalho Quaresma, 2013 .
Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, 2020, ISoLA.
Flemming Nielson, Hanne Riis Nielson, Piotr Filipiuk, 2010, Electron. Notes Theor. Comput. Sci..
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1989 .
Flemming Nielson, Pierpaolo Degano, Mikael Buchholtz, 2004 .
Flemming Nielson, Hanne Riis Nielson, Huibiao Zhu, 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.
Flemming Nielson, Lijun Zhang, Bo Friis Nielsen, 2012, ArXiv.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 2007 .
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard, 2012, CSUR.
Flemming Nielson, Hanne Riis Nielson, Kirsten Lackner Solberg Gasser, 1992, WSA.
Flemming Nielson, Hanne Riis Nielson, Marta Kwiatkowska, 2011, 2011 IEEE Sensors Applications Symposium.
Flemming Nielson, Hanne Riis Nielson, 1997 .
Flemming Nielson, 1999, Research Directions in Parallel Functional Programming.
Flemming Nielson, Hanne Riis Nielson, Piotr Filipiuk, 2011, FMOODS/FORTE.
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1996, LOMAPS.
Flemming Nielson, Hanne Riis Nielson, Alberto Lluch-Lafuente, 2015, Logic, Rewriting, and Concurrency.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1992, Wiley professional computing.
Flemming Nielson, Chris Hankin, Fan Yang, 2008, COORDINATION.
Flemming Nielson, Hanne Riis Nielson, Christoffer Rosenkilde Nielsen, 2009 .
Flemming Nielson, Hanne Riis Nielson, 1997, Electron. Notes Theor. Comput. Sci..
Flemming Nielson, Hanne Riis Nielson, Roberto Vigo, 2015, J. Log. Algebraic Methods Program..
Flemming Nielson, Hanne Riis Nielson, Ximeng Li, 2015, ESORICS.
Flemming Nielson, Hanne Riis Nielson, Naijun Zhan, 2016, Comput. J..
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 2009, Comput. Lang. Syst. Struct..
Flemming Nielson, Ye Zhang, 2007, LOPSTR.
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1997 .
Flemming Nielson, Zaruhi Aslanyan, F. Nielson, 2015, POST.
Flemming Nielson, Hanne Riis, Nielson, 2013 .
Flemming Nielson, F. Nielson, 1981 .
Flemming Nielson, Stephen Gilmore, Jane Hillston, 2005, PASM.
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1997, J. Funct. Program..
Flemming Nielson, 1996, CSUR.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1990, LISP and Functional Programming.
Flemming Nielson, Hanne Riis Nielson, Piotr Filipiuk, 2012, PPDP.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1988, Theor. Comput. Sci..
Flemming Nielson, Hanne Riis Nielson, Roberto Vigo, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.
Flemming Nielson, F. Nielson, 1986, ESOP.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 2007 .
Flemming Nielson, Hanne Riis Nielson, Helmut Seidl, 2002, SAS.
Flemming Nielson, Hanne Riis Nielson, 1992, LFP '92.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1989, FPCA.
Flemming Nielson, Hanne Riis Nielson, Helmut Seidl, 2002 .
Flemming Nielson, D. N. Jansen, F. Nielson, 2012 .
Flemming Nielson, Hanne Riis Nielson, Mikael Buchholtz, 2002 .
Flemming Nielson, Hanne Riis Nielson, 1991 .
Flemming Nielson, Hanne Riis Nielson, Hong Yan Sun, 2002 .
Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang, 2012 .
Flemming Nielson, Hanne Riis Nielson, 1992 .
Flemming Nielson, Anders P. Ravn, Hans Rischel, 1989 .
Flemming Nielson, Hanne Riis Nielson, 2000 .
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1990 .
Flemming Nielson, Hanne Riis Nielson, 1993 .
Flemming Nielson, Rocco De Nicola, Hanne Riis Nielson, 2010, COORDINATION.
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1995 .
Flemming Nielson, Hanne Riis Nielson, F. Nielson, 1992 .
Flemming Nielson, Hanne Riis Nielson, Corrado Priami, 2004 .
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, 1995 .
Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, 2003 .