Riis Nielson, Hanne: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A hoare-like proof system for analysing the computation time of programs

Hanne Riis Nielson

Journal:

Science of Computer Programming

Year:

1987

Language:

english

File:

PDF, 1.66 MB

english, 1987

2

Formal Methods (An Appetizer) ||

Nielson, Flemming, Riis Nielson, Hanne

Year:

2019

Language:

english

File:

PDF, 2.21 MB

english, 2019

3

Using transformations in the implementation of higher-order functions

Nielson, Hanne Riis, Nielson, Flemming

Journal:

Journal of Functional Programming

Year:

1991

Language:

english

File:

PDF, 1.79 MB

english, 1991

4

From Flow Logic to static type systems for coordination languages

Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 1.11 MB

english, 2010

5

Kleene's Logic with Equality

Flemming Nielson, Hanne Riis Nielson, Mooly Sagiv

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 90 KB

english, 2001

6

Behavior analysis for validating communication patterns

Torben Amtoft, Hanne Riis Nielson, Flemming Nielson

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

1998

Language:

english

File:

PDF, 573 KB

english, 1998

7

The logic of XACML

Ramli, Carroline Dewi Puspa Kencana, Nielson, Hanne Riis, Nielson, Flemming

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 691 KB

english, 2014

8

Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study

Yüksel, Ender, Nielson, Hanne Riis, Nielson, Flemming, Zhu, Huibiao, Huang, Heqing

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 1.61 MB

english, 2014

9

[IEEE 2012 IEEE Symposium on Computers and Communications (ISCC) - Cappadocia, Turkey (2012.07.1-2012.07.4)] 2012 IEEE Symposium on Computers and Communications (ISCC) - Key Update Assistant for resource-constrained networks

Yuksel, Ender, Nielson, Hanne Riis, Nielson, Flemming

Year:

2012

Language:

english

File:

PDF, 1.08 MB

english, 2012

10

[ACM Press the 1990 ACM conference - Nice, France (1990.06.27-1990.06.29)] Proceedings of the 1990 ACM conference on LISP and functional programming - LFP '90 - Context information for lazy code generation

Nielson, Hanne Riis, Nielson, Flemming

Year:

1990

Language:

english

File:

PDF, 1006 KB

english, 1990

11

[Lecture Notes in Computer Science] Static Analysis Volume 4634 || A New Algorithm for Identifying Loops in Decompilation

Nielson, Hanne Riis, Filé, Gilberto

Year:

2007

Language:

english

File:

PDF, 382 KB

english, 2007

12

A calculus of quality for robustness against unreliable communication

Nielson, Hanne Riis, Nielson, Flemming, Vigo, Roberto

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 717 KB

english, 2015

13

Flow Logic for Process Calculi

Nielson, Hanne Riis, Nielson, Flemming, Pilegaard, Henrik

Journal:

ACM Computing Surveys

Year:

2012

Language:

english

File:

PDF, 349 KB

english, 2012

14

Content dependent information flow control

Nielson, Hanne Riis, Nielson, Flemming

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 1.29 MB

english, 2016

15

Modelling and Verifying Communication Failure of Hybrid Systems in HCSP

Wang, Shuling, Nielson, Flemming, Nielson, Hanne Riis, Zhan, Naijun

Journal:

The Computer Journal

Year:

2016

Language:

english

File:

PDF, 801 KB

english, 2016

16

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) ||

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

Language:

english

File:

PDF, 22.63 MB

english, 2019

17

From CML to its process algebra

Flemming Nielson, Hanne Riis Nielson

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.71 MB

english, 1996

18

Performance Evaluation of Security Protocols Specified in LySa

Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 472 KB

english, 2005

19

Static Validation of a Voting Protocol

Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 361 KB

english, 2005

20

Heuristics for Safety and Security Constraints

Flemming Nielson, Hanne Riis Nielson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 402 KB

english, 2007

21

Explicit Versus Symbolic Algorithms for Solving ALFP Constraints

Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 229 KB

english, 2010

22

A monotone framework for CCS

Hanne Riis Nielson, Flemming Nielson

Journal:

Computer Languages, Systems & Structures

Year:

2009

Language:

english

File:

PDF, 956 KB

english, 2009

23

Cryptographic Pattern Matching

Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 354 KB

english, 2007

24

Active Evaluation Contexts for Reaction Semantics

Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 325 KB

english, 2007

25

Abstract interpretation of mobile ambients

Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson

Journal:

Science of Computer Programming

Year:

2003

Language:

english

File:

PDF, 362 KB

english, 2003

26

Strictness and totality analysis

Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 1.59 MB

english, 1998

27

Foreword

Hanne Riis Nielson

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 142 KB

english, 1998

28

Validating firewalls using flow logics

Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 282 KB

english, 2002

29

Flow Logic and Operational Semantics

Flemming Nielson, Hanne Riis Nielson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.09 MB

english, 1998

30

Computation sequences: A way to characterize classes of attribute grammars

Hanne Riis Nielson

Journal:

Acta Informatica

Year:

1983

Language:

english

File:

PDF, 670 KB

english, 1983

31

CaPiTo: protocol stacks for services

Han Gao, Flemming Nielson, Hanne Riis Nielson

Journal:

Formal Aspects of Computing

Year:

2011

Language:

english

File:

PDF, 2.08 MB

english, 2011

32

A calculus for control flow analysis of security protocols

Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson

Journal:

International Journal of Information Security

Year:

2004

Language:

english

File:

PDF, 740 KB

english, 2004

33

The tensor product in Wadler's analysis of lists

Flemming Nielson, Hanne Riis Nielson

Journal:

Science of Computer Programming

Year:

1994

Language:

english

File:

PDF, 1.53 MB

english, 1994

34

Functional completeness of the mixed λ-calculus and combinatory logic

Hanne Riis Nielson, Flemming Nielson

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 2.58 MB

english, 1990

35

Control Flow Analysis for BioAmbients

Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 321 KB

english, 2007

36

What is a free name in a process algebra?

Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard

Journal:

Information Processing Letters

Year:

2007

Language:

english

File:

PDF, 138 KB

english, 2007

37

Cryptographic Analysis in Cubic Time

Flemming Nielson, Hanne Riis Nielson, Helmut Seidl

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 219 KB

english, 2002

38

Static Analysis for the π-Calculus with Applications to Security

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

Journal:

Information and Computation

Year:

2001

Language:

english

File:

PDF, 156 KB

english, 2001

39

Static analysis of topology-dependent broadcast networks

Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 494 KB

english, 2010

40

Pathway analysis for BioAmbients

Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 1.89 MB

english, 2008

41

Two-level semantics and code generation

Flemming Nielson, Hanne Riis Nielson

Journal:

Theoretical Computer Science

Year:

1988

Language:

english

File:

PDF, 7.75 MB

english, 1988

42

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study

Yuksel, Ender, Zhu, Huibiao, Nielson, Hanne Riis, Huang, Heqing, Nielson, Flemming

Year:

2012

Language:

english

File:

PDF, 574 KB

english, 2012

43

[Undergraduate Topics in Computer Science] Semantics with Applications: An Appetizer ||

Nielson, Hanne Riis, Nielson, Flemming

Year:

2007

Language:

english

File:

PDF, 3.42 MB

english, 2007

44

[Lecture Notes in Computer Science] Secure IT Systems Volume 8208 || Security Games for Cyber-Physical Systems

Riis Nielson, Hanne, Gollmann, Dieter

Year:

2013

Language:

english

File:

PDF, 251 KB

english, 2013

45

Predictive access control for distributed computation

Yang, Fan, Hankin, Chris, Nielson, Flemming, Nielson, Hanne Riis

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 288 KB

english, 2013

46

[IEEE 2011 IEEE Sensors Applications Symposium (SAS) - San Antonio, TX, USA (2011.02.22-2011.02.24)] 2011 IEEE Sensors Applications Symposium - Optimizing key updates in sensor networks

Yuksel, Ender, Nielson, Hanne Riis, Nielson, Flemming, Fruth, Matthias, Kwiatkowska, Marta

Year:

2011

Language:

english

File:

PDF, 1.04 MB

english, 2011

47

[IEEE 20th IEEE Computer Security Foundations Symposium (CSF'07) - Venice, Italy (2007.07.6-2007.07.8)] 20th IEEE Computer Security Foundations Symposium (CSF'07) - A flow-sensitive analysis of privacy properties

Nielson, Hanne Riis, Nielson, Fleming

Year:

2007

Language:

english

File:

PDF, 1.62 MB

english, 2007

48

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - Controlling Modelling Artifacts

Smith, Michael J.A., Nielson, Flemming, Nielson, Hanne Riis

Year:

2011

Language:

english

File:

PDF, 348 KB

english, 2011

49

[IEEE 2009 24th International Symposium on Computer and Information Sciences (ISCIS) - Guzelyurt, Cyprus (2009.09.14-2009.09.16)] 2009 24th International Symposium on Computer and Information Sciences - A secure key establishment protocol for zigbee wireless sensor networks

Yuksel, Ender, Nielson, Hanne Riis, Nielson, Flemming

Year:

2009

Language:

english

File:

PDF, 530 KB

english, 2009

50

[Lecture Notes in Computer Science] Transactions on Computational Systems Biology VII Volume 4230 || Graph Theory for Rule-Based Modeling of Biochemical Networks

Priami, Corrado, Ingólfsdóttir, Anna, Mishra, Bud, Riis Nielson, Hanne

Year:

2006

Language:

english

File:

PDF, 383 KB

english, 2006