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

51

[Lecture Notes in Computer Science] Transactions on Computational Systems Biology VII Volume 4230 ||

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

Year:

2006

Language:

english

File:

PDF, 2.42 MB

english, 2006

52

[IEEE 2008 Third International Conference on Availability, Reliability and Security - (2008.03.4-2008.03.7)] 2008 Third International Conference on Availability, Reliability and Security - Static Validation of Licence Conformance Policies

Hansen, Rene Rydhof, Nielson, Flemming, Nielson, Hanne Riis, Probst, Christian W.

Year:

2008

Language:

english

File:

PDF, 424 KB

english, 2008

53

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Model Checking Multivariate State Rewards

Nielsen, Bo Friis, Nielson, Flemming, Nielson, Hanne Riis

Year:

2010

Language:

english

File:

PDF, 349 KB

english, 2010

54

[IEEE 2014 IEEE 27th Computer Security Foundations Symposium (CSF) - Vienna (2014.7.19-2014.7.22)] 2014 IEEE 27th Computer Security Foundations Symposium - Automated Generation of Attack Trees

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

Year:

2014

Language:

english

File:

PDF, 336 KB

english, 2014

55

[Lecture Notes in Computer Science] Transactions on Computational Systems Biology VII Volume 4230 || Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA

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

Year:

2006

Language:

english

File:

PDF, 355 KB

english, 2006

56

Bounded Fixed-Point Iteration

NIELSON, HANNE RIIS, NIELSON, FLEMMING

Journal:

Journal of Logic and Computation

Year:

1992

Language:

english

File:

PDF, 793 KB

english, 1992

57

Strategic directions in research on programming languages

Hankin, Chris, Nielson, Hanne Riis, Palsberg, Jens

Journal:

ACM Computing Surveys

Year:

1996

Language:

english

File:

PDF, 207 KB

english, 1996

58

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - Higher-order concurrent programs with finite communication topology (extended abstract)

Nielson, Hanne Riis, Nielson, Flemming

Year:

1994

Language:

english

File:

PDF, 1.04 MB

english, 1994

59

Systematic realisation of control flow analyses for CML

Gasser, Kirsten L. Solberg, Nielson, Flemming, Nielson, Hanne Riis

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.13 MB

english, 1997

60

[ACM Press the 2005 workshop - Long Beach, California (2005.01.10-2005.01.11)] Proceedings of the 2005 workshop on Issues in the theory of security - WITS '05 - Using static analysis to validate the SAML single sign-on protocol

Hansen, Steffen M., Skriver, Jakob, Nielson, Hanne Riis

Year:

2005

Language:

english

File:

PDF, 258 KB

english, 2005

61

[ACM Press the 1997 ACM SIGPLAN symposium - Amsterdam, The Netherlands (1997.06.12-1997.06.13)] Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 - Prescriptive frameworks for multi-level lambda-calculi

Nielson, Flemming, Nielson, Hanne Riis

Year:

1997

Language:

english

File:

PDF, 840 KB

english, 1997

62

Computing Surveys symposium on models of programming languages and computation

Hankin, Chris, Nielson, Hanne Riis

Journal:

ACM Computing Surveys

Year:

1996

Language:

english

File:

PDF, 148 KB

english, 1996

63

[ACM Press the second ACM SIGPLAN international conference - Amsterdam, The Netherlands (1997.06.09-1997.06.11)] Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP '97 - Systematic realisation of control flow analyses for CML

Gasser, Kirsten L. Solberg, Nielson, Flemming, Nielson, Hanne Riis

Year:

1997

Language:

english

File:

PDF, 1.13 MB

english, 1997

64

[ACM Press the 1992 ACM conference - San Francisco, California, United States (1992.06.22-1992.06.24)] Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 - Finiteness conditions for fixed point iteration

Nielson, Flemming, Nielson, Hanne Riis

Year:

1992

Language:

english

File:

PDF, 778 KB

english, 1992

65

[ACM Press the 19th ACM SIGPLAN-SIGACT symposium - Albuquerque, New Mexico, United States (1992.01.19-1992.01.22)] Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 - Bounded fixed point iteration

Nielson, Hanne Riis, Nielson, Flemming

Year:

1992

Language:

english

File:

PDF, 789 KB

english, 1992

66

[ACM Press the 14th symposium - Leuven, Belgium (2012.09.19-2012.09.21)] Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12 - Layered fixed point logic

Filipiuk, Piotr, Nielson, Flemming, Nielson, Hanne Riis

Year:

2012

Language:

english

File:

PDF, 456 KB

english, 2012

67

Modal abstractions of concurrent behavior

Nielson, Flemming, Nanz, Sebastian, Nielson, Hanne Riis

Journal:

ACM Transactions on Computational Logic

Year:

2011

Language:

english

File:

PDF, 678 KB

english, 2011

68

[ACM Press the 24th ACM SIGPLAN-SIGACT symposium - Paris, France (1997.01.15-1997.01.17)] Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97 - Infinitary control flow analysis

Nielson, Flemming, Nielson, Hanne Riis

Year:

1997

File:

PDF, 949 KB

1997

69

[IEEE 2015 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Nanjing, China (2015.9.12-2015.9.14)] 2015 International Symposium on Theoretical Aspects of Software Engineering - A SAT-Based Analysis of a Calculus for Wireless Sensor Networks

Wu, Xi, Nielson, Hanne Riis, Zhu, Huibiao

Year:

2015

Language:

english

File:

PDF, 311 KB

english, 2015

70

[IEEE 2015 IEEE 28th Computer Security Foundations Symposium (CSF) - Verona, Italy (2015.7.13-2015.7.17)] 2015 IEEE 28th Computer Security Foundations Symposium - Set-Pi: Set Membership p-Calculus

Bruni, Alessandro, Modersheim, Sebastian, Nielson, Flemming, Nielson, Hanne Riis

Year:

2015

Language:

english

File:

PDF, 323 KB

english, 2015

71

Type and behaviour reconstruction for higher-order concurrent programs

AMTOFT, TORBEN, NIELSON, FLEMMING, NIELSON, HANNE RIIS

Journal:

Journal of Functional Programming

Year:

1997

Language:

english

File:

PDF, 335 KB

english, 1997

72

Finiteness conditions for fixed point iteration

Nielson, Flemming, Nielson, Hanne Riis

Journal:

ACM SIGPLAN Lisp Pointers

Year:

1992

Language:

english

File:

PDF, 778 KB

english, 1992

73

Prescriptive frameworks for multi-level lambda-calculi

Nielson, Flemming, Nielson, Hanne Riis

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 840 KB

english, 1997

74

[ACM Press the 2016 ACM Workshop - Vienna, Austria (2016.10.24-2016.10.24)] Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16 - Future-dependent Flow Policies with Prophetic Variables

Li, Ximeng, Nielson, Flemming, Riis Nielson, Hanne

Year:

2016

Language:

english

File:

PDF, 594 KB

english, 2016

75

Atomistic Galois insertions for flow sensitive integrity

Nielson, Flemming, Riis Nielson, Hanne

Journal:

Computer Languages, Systems & Structures

Year:

2017

Language:

english

File:

PDF, 1.01 MB

english, 2017

76

Effect-driven QuickChecking of compilers

Midtgaard, Jan, Justesen, Mathias Nygaard, Kasting, Patrick, Nielson, Flemming, Nielson, Hanne Riis

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 292 KB

english, 2017

77

[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) || Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

Language:

english

File:

PDF, 484 KB

english, 2019

78

[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) || Towards Races in Linear Logic

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

Language:

english

File:

PDF, 1.55 MB

english, 2019

79

[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) || No More, No Less

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

Language:

english

File:

PDF, 1.18 MB

english, 2019

80

[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) || Self-organising Coordination Regions: A Pattern for Edge Computing

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

Language:

english

File:

PDF, 2.66 MB

english, 2019

81

[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) || Representing Dependencies in Event Structures

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

Language:

english

File:

PDF, 313 KB

english, 2019

82

[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) || Verification of Concurrent Design Patterns with Data

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

Language:

english

File:

PDF, 684 KB

english, 2019

83

[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) || Verification of Concurrent Design Patterns with Data

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

File:

PDF, 684 KB

2019

84

[ACM Press the 18th International Symposium - Edinburgh, United Kingdom (2016.09.05-2016.09.07)] Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming - PPDP '16 - Iterated process analysis over lattice-valued regular expressions

Midtgaard, Jan, Nielson, Flemming, Nielson, Hanne Riis

Year:

2016

Language:

english

File:

PDF, 691 KB

english, 2016

85

Enforcing globally dependent flow policies in message-passing systems

Li, Ximeng, Nielson, Flemming, Nielson, Hanne Riis

Journal:

Journal of Computer Languages

Year:

2019

Language:

english

File:

PDF, 10.52 MB

english, 2019

86

Enforcing globally dependent flow policies in message-passing systems

Li, Ximeng, Nielson, Flemming, Nielson, Hanne Riis

Journal:

Journal of Computer Languages

Year:

2019

File:

PDF, 10.52 MB

2019