The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hanne Riis Nielson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Han Gao, Hanne Riis Nielson
    Analysis of LYSA-calculus with explicit confidentiality annotations. [Citation Graph (0, 0)][DBLP]
    AINA (2), 2006, pp:39-43 [Conf]
  2. Ye Zhang 0002, Hanne Riis Nielson
    Analyzing Security Protocols in Hierarchical Networks. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:430-445 [Conf]
  3. Hanne Riis Nielson, Flemming Nielson
    Flow Logic: A Multi-paradigmatic Approach to Static Analysis. [Citation Graph (0, 0)][DBLP]
    The Essence of Computation, 2002, pp:223-244 [Conf]
  4. Flemming Nielson, Hanne Riis Nielson
    Type and Effect Systems. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:114-136 [Conf]
  5. Hanne Riis Nielson, Flemming Nielson
    Flow Logics for Constraint Based Analysis. [Citation Graph (0, 0)][DBLP]
    CC, 1998, pp:109-127 [Conf]
  6. Flemming Nielson, Hanne Riis Nielson
    Constraints for Polymorphic Behaviours of Concurrent ML. [Citation Graph (0, 0)][DBLP]
    CCL, 1994, pp:73-88 [Conf]
  7. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Control Flow Analysis for the pi-calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:84-98 [Conf]
  8. Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen
    Validating Firewalls in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:463-477 [Conf]
  9. Flemming Nielson, Hanne Riis Nielson
    From CML to Process Algebras (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:493-508 [Conf]
  10. Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Automatic Validation of Protocol Narration. [Citation Graph (0, 0)][DBLP]
    CSFW, 2003, pp:126-140 [Conf]
  11. Flemming Nielson, Hanne Riis Nielson
    Multi-Level Lambda-Calculi: An Algebraic Description. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:338-354 [Conf]
  12. Hanne Riis Nielson, Flemming Nielson
    Pragmatic Aspects of Two-Level Denotational Meta-Languages. [Citation Graph (0, 0)][DBLP]
    ESOP, 1986, pp:133-143 [Conf]
  13. Flemming Nielson, Hanne Riis Nielson
    2-level lambda-lifting. [Citation Graph (0, 0)][DBLP]
    ESOP, 1988, pp:328-343 [Conf]
  14. Hanne Riis Nielson, Flemming Nielson
    Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:291-305 [Conf]
  15. Flemming Nielson, Hanne Riis Nielson
    The Tensor Product in Wadler's Analysis of Lists. [Citation Graph (0, 0)][DBLP]
    ESOP, 1992, pp:351-370 [Conf]
  16. Flemming Nielson, Hanne Riis Nielson
    Interprocedural Control Flow Analysis. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:20-39 [Conf]
  17. Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
    A Kleene Analysis of Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:305-319 [Conf]
  18. Flemming Nielson, Hanne Riis Nielson, Helmut Seidl
    Automatic Complexity Analysis. [Citation Graph (0, 0)][DBLP]
    ESOP, 2002, pp:243-261 [Conf]
  19. Hanne Riis Nielson, Torben Amtoft, Flemming Nielson
    Behaviour Analysis and Safety Conditions: A Case Study in CML. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:255-269 [Conf]
  20. Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz
    Security for Mobility. [Citation Graph (0, 0)][DBLP]
    FOSAD, 2002, pp:207-265 [Conf]
  21. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Static Analysis of Processes for No and Read-Up nad No Write-Down. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1999, pp:120-134 [Conf]
  22. Hanne Riis Nielson, Flemming Nielson
    Transformations on Higher-Order Functions. [Citation Graph (0, 0)][DBLP]
    FPCA, 1989, pp:129-143 [Conf]
  23. Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson
    Systematic Realisation of Control Flow Analyses for CML. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:38-51 [Conf]
  24. Hanne Riis Nielson, Flemming Nielson
    Semantics Directed Compiling for Functional Languages. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1986, pp:249-257 [Conf]
  25. Hanne Riis Nielson, Flemming Nielson
    Context Information for Lazy Code Generation. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1990, pp:251-263 [Conf]
  26. Flemming Nielson, Hanne Riis Nielson
    Finiteness Conditions for Fixed Point Iteration. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:96-108 [Conf]
  27. Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann
    Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:172-206 [Conf]
  28. Hanne Riis Nielson, Flemming Nielson, Torben Amtoft
    Polymorphic Subtyping for Effect Analysis: The Static Semantics. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:141-171 [Conf]
  29. Flemming Nielson, Hanne Riis Nielson, Torben Amtoft
    Polymorphic Subtyping for Effect Analysis: The Algorithm. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:207-243 [Conf]
  30. Flemming Nielson, Hanne Riis Nielson
    Flow Logic for Imperative Objects. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:220-228 [Conf]
  31. Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
    On Evaluating the Performance of Security Protocols. [Citation Graph (0, 0)][DBLP]
    PaCT, 2005, pp:1-15 [Conf]
  32. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Static Analysis for Secrecy and Non-interference in Networks of Processes. [Citation Graph (0, 0)][DBLP]
    PaCT, 2001, pp:27-41 [Conf]
  33. Terkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson
    Information Flow Analysis for VHDL. [Citation Graph (0, 0)][DBLP]
    PaCT, 2005, pp:79-98 [Conf]
  34. Flemming Nielson, Hanne Riis Nielson
    Code generation from two-level denotational meta-languages. [Citation Graph (0, 0)][DBLP]
    Programs as Data Objects, 1985, pp:192-205 [Conf]
  35. Flemming Nielson, Hanne Riis Nielson
    Prescriptive Frameworks for Multi-Level Lambda-Calculi. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:193-202 [Conf]
  36. Hanne Riis Nielson, Flemming Nielson
    Shape Analysis for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:142-154 [Conf]
  37. Hanne Riis Nielson, Flemming Nielson
    Automatic Binding Time Analysis for a Typed Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1988, pp:98-106 [Conf]
  38. Hanne Riis Nielson, Flemming Nielson
    Bounded Fixed Point Iteration. [Citation Graph (0, 0)][DBLP]
    POPL, 1992, pp:71-82 [Conf]
  39. Hanne Riis Nielson, Flemming Nielson
    Higher-Order Concurrent Programs with Finite Communication Topology. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:84-97 [Conf]
  40. Hanne Riis Nielson, Flemming Nielson
    Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:332-345 [Conf]
  41. Flemming Nielson, Hanne Riis Nielson
    Layered Predicates. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:425-456 [Conf]
  42. René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson
    Abstract Interpretation of Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:134-148 [Conf]
  43. Flemming Nielson, Hanne Riis Nielson
    Finiteness Conditions for Strictness Analysis. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:194-205 [Conf]
  44. Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
    Spatial Analysis of BioAmbients. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:69-83 [Conf]
  45. Flemming Nielson, Hanne Riis Nielson, Helmut Seidl
    Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:20-35 [Conf]
  46. Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson
    Inference Systems for Binding Time Analysis. [Citation Graph (0, 0)][DBLP]
    WSA, 1992, pp:247-254 [Conf]
  47. Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl
    The Succinct Solver Suite. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:251-265 [Conf]
  48. Hanne Riis Nielson, Flemming Nielson
    Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:590-604 [Conf]
  49. Hanne Riis Nielson
    Computation Sequences: A Way to Characterize Classes of Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1983, v:19, n:, pp:255-268 [Journal]
  50. Chris Hankin, Hanne Riis Nielson
    Computing Surveys Symposium on Models of Programming Languages and Compuation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:293-294 [Journal]
  51. Chris Hankin, Hanne Riis Nielson, Jens Palsberg
    Strategic Directions in Research on Programming Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4, pp:644-652 [Journal]
  52. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Security Analysis using Flow Logics. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2000, v:70, n:, pp:112-130 [Journal]
  53. Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
    Performance Evaluation of Security Protocols Specified in LySa. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:167-189 [Journal]
  54. Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson
    Static Validation of a Voting Protocol. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:135, n:1, pp:115-134 [Journal]
  55. Flemming Nielson, Hanne Riis Nielson
    Flow Logic and Operational Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
  56. Flemming Nielson, Hanne Riis Nielson, Helmut Seidl
    Cryptographic Analysis in Cubic Time. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  57. Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson
    Cryptographic Pattern Matching. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:91-107 [Journal]
  58. Flemming Nielson, Hanne Riis Nielson
    Heuristics for Safety and Security Constraints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:523-543 [Journal]
  59. Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson
    Active Evaluation Contexts for Reaction Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:57-70 [Journal]
  60. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Flow logic for Dolev-Yao secrecy in cryptographic processes. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2002, v:18, n:6, pp:747-756 [Journal]
  61. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Static Analysis for the pi-Calculus with Applications to Security. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:168, n:1, pp:68-92 [Journal]
  62. Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson
    A calculus for control flow analysis of security protocols. [Citation Graph (0, 0)][DBLP]
    Int. J. Inf. Sec., 2004, v:2, n:3-4, pp:145-167 [Journal]
  63. Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
    Kleene's Logic with Equality. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:3, pp:131-137 [Journal]
  64. Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Static validation of security protocols. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:3, pp:347-390 [Journal]
  65. Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
    Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:3, pp:321-347 [Journal]
  66. Hanne Riis Nielson, Flemming Nielson
    Using Transformations in the Implementations of Higher-Order Functions. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1991, v:1, n:4, pp:459-494 [Journal]
  67. Hanne Riis Nielson, Flemming Nielson
    Bounded Fixed-Point Iteration. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:4, pp:441-464 [Journal]
  68. Hanne Riis Nielson, Sven Skyum
    k-visit Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1981, v:15, n:1, pp:17-28 [Journal]
  69. Hanne Riis Nielson, Flemming Nielson
    Shape Analysis for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2001, v:8, n:2, pp:233-275 [Journal]
  70. Flemming Nielson, Hanne Riis Nielson
    Operational Semantics of Termination Types. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1996, v:3, n:2, pp:144-187 [Journal]
  71. Flemming Nielson, Helmut Seidl, Hanne Riis Nielson
    A Succinct Solver for ALFP. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:4, pp:335-372 [Journal]
  72. Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson
    Strictness and Totality Analysis. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:31, n:1, pp:113-145 [Journal]
  73. Hanne Riis Nielson
    A Hoare-Like Proof System for Analysing the Computation Time of Programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1987, v:9, n:2, pp:107-136 [Journal]
  74. Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
    Abstract interpretation of mobile ambients. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:47, n:2-3, pp:145-175 [Journal]
  75. Hanne Riis Nielson, Flemming Nielson
    Automatic Binding Time Analysis for a Typed lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1988, v:10, n:1, pp:139-176 [Journal]
  76. Flemming Nielson, Hanne Riis Nielson
    The Tensor Product in Wadler's Analysis of Lists. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:22, n:3, pp:327-354 [Journal]
  77. Chris Hankin, Hanne Riis Nielson, Jens Palsberg
    Position Statements on Strategic Directions for Research on Programming Languages. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:1, pp:59-65 [Journal]
  78. Torben Amtoft, Hanne Riis Nielson, Flemming Nielson
    Behavior Analysis for Validating Communication Patterns. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:1, pp:13-28 [Journal]
  79. Flemming Nielson, Hanne Riis Nielson
    Two-Level Semantics and Code Generation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:56, n:, pp:59-133 [Journal]
  80. Hanne Riis Nielson, Flemming Nielson
    Functional Completeness of the Mixed lambda-Calculus and Combinatory Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:70, n:1, pp:99-126 [Journal]
  81. Flemming Nielson, Hanne Riis Nielson
    From CML to its Process Algebra. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:155, n:1, pp:179-219 [Journal]
  82. Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen
    Validating firewalls using flow logics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:283, n:2, pp:381-418 [Journal]
  83. Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson
    A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2007, pp:150-165 [Conf]
  84. Flemming Nielson, Hanne Riis Nielson
    Types from Control Flow Analysis. [Citation Graph (0, 0)][DBLP]
    Program Analysis and Compilation, 2006, pp:293-310 [Conf]
  85. Hanne Riis Nielson, Flemming Nielson
    Data Flow Analysis for CCS. [Citation Graph (0, 0)][DBLP]
    Program Analysis and Compilation, 2006, pp:311-327 [Conf]
  86. Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
    Topology-Dependent Abstractions of Broadcast Networks. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:226-240 [Conf]
  87. Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa
    Control Flow Analysis for BioAmbients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:3, pp:65-79 [Journal]
  88. Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
    What is a free name in a process algebra? [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2007, v:103, n:5, pp:188-194 [Journal]

  89. Static Validation of Licence Conformance Policies. [Citation Graph (, )][DBLP]


  90. Advice for Coordination. [Citation Graph (, )][DBLP]


  91. From Flow Logic to Static Type Systems for Coordination Languages. [Citation Graph (, )][DBLP]


  92. A flow-sensitive analysis of privacy properties. [Citation Graph (, )][DBLP]


  93. Advice from Belnap Policies. [Citation Graph (, )][DBLP]


  94. Context Dependent Analysis of BioAmbients. [Citation Graph (, )][DBLP]


  95. 06161 Executive Summary -- Simulation and Verification of Dynamic Systems. [Citation Graph (, )][DBLP]


  96. 06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems. [Citation Graph (, )][DBLP]


  97. Static Analysis of a Model of the LDL Degradation Pathway. [Citation Graph (, )][DBLP]


  98. Iterative Specialisation of Horn Clauses. [Citation Graph (, )][DBLP]


  99. Model Checking Is Static Analysis of Modal Logic. [Citation Graph (, )][DBLP]


  100. A secure key establishment protocol for zigbee wireless sensor networks. [Citation Graph (, )][DBLP]


  101. Using static analysis to validate the SAML single sign-on protocol. [Citation Graph (, )][DBLP]


  102. Modal Abstractions of Concurrent Behaviour. [Citation Graph (, )][DBLP]


  103. Relational Analysis of Correlation. [Citation Graph (, )][DBLP]


  104. Relational Analysis for Delivery of Services. [Citation Graph (, )][DBLP]


  105. A monotone framework for CCS. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002