Flemming Nielson Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson: Lazy Mobile Intruders. POST 2013: 147-166
i10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson: Design-Efficiency in Security. CoRR abs/1302.1111 (2013)
2012
j49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard: Flow Logic for Process Calculi. ACM Comput. Surv. 44(1): 3 (2012)
j48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nataliya Skrypnyuk, Flemming Nielson, Henrik Pilegaard: Static Analysis of IMC. J. Log. Algebr. Program. 81(4): 522-540 (2012)
c99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michal Terepeta, Hanne Riis Nielson, Flemming Nielson: Recursive Advice for Coordination. COORDINATION 2012: 137-151
c98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson, Roberto Vigo: A Calculus for Quality. FACS 2012: 188-204
c97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson: Model Checking as Static Analysis: Revisited. IFM 2012: 99-112
c96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson: Key Update Assistant for resource-constrained networks. ISCC 2012: 75-81
c95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Bo Friis Nielsen: LBTool: A stochastic toolkit for leave-based key updates. ISCC 2012: 868-875
c94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson: XACML 3.0 in Answer Set Programming. LOPSTR 2012: 89-105
c93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David N. Jansen, Flemming Nielson, Lijun Zhang: Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm. NASA Formal Methods 2012: 326-340
c92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson: Layered fixed point logic. PPDP 2012: 45-54
c91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson: Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. TASE 2012: 25-32
i9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson: Secondary use of data in EHR systems. CoRR abs/1201.4262 (2012)
i8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson: Layered Fixed Point Logic. CoRR abs/1204.2768 (2012)
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang: Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study. CoRR abs/1205.6664 (2012)
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Z. Kwiatkowska: Optimizing ZigBee Security using Stochastic Model Checking. CoRR abs/1205.6675 (2012)
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson: XACML 3.0 in Answer Set Programming. CoRR abs/1206.5327 (2012)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson: Lattice based Least Fixed Point Logic. CoRR abs/1207.5384 (2012)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard, Michael James Andrew Smith, Ender Yüksel, Kebin Zeng, Lijun Zhang: Roadmap Document on Stochastic Analysis. CoRR abs/1209.6578 (2012)
2011
j47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson: A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks. Comput. J. 54(4): 589-601 (2011)
j46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns: Automata-Based CSL Model Checking. Logical Methods in Computer Science 8(2) (2011)
j45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alejandro Mario Hernandez, Flemming Nielson, Hanne Riis Nielson: Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems. Sci. Ann. Comp. Sci. 21(1): 107-149 (2011)
j44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Han Gao, Flemming Nielson, Hanne Riis Nielson: CaPiTo: protocol stacks for services. Formal Asp. Comput. 23(4): 541-565 (2011)
j43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Sebastian Nanz, Hanne Riis Nielson: Modal abstractions of concurrent behavior. ACM Trans. Comput. Log. 12(3): 18 (2011)
p2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Han Gao, Flemming Nielson, Hanne Riis Nielson: Analysing Protocol Stacks for Services. Results of the SENSORIA Project 2011: 369-389
c90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard: From Explicit to Symbolic Types for Communication Protocols in CCS. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 74-89
c89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson: Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. COORDINATION 2011: 202-218
c88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson: The Logic of XACML. FACS 2011: 205-222
c87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson: Galois Connections for Flow Algebras. FMOODS/FORTE 2011: 138-152
c86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns: Automata-Based CSL Model Checking. ICALP (2) 2011: 271-282
c85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson: Resilience analysis of key update strategies for resource-constrained networks. ICUMT 2011: 1-8
c84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson: Controlling Modelling Artifacts. QEST 2011: 171-180
c83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nataliya Skrypnyuk, Flemming Nielson: Reachability for Finite-State Process Algebras Using Static Analysis. RP 2011: 231-244
c82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lei Song, Flemming Nielson, Bo Friis Nielsen: A Stochastic Broadcast Pi-Calculus. QAPL 2011: 74-88
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson: The Logic of XACML - Extended. CoRR abs/1110.3706 (2011)
2010
j42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson: Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. Electr. Notes Theor. Comput. Sci. 267(2): 15-28 (2010)
j41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson: Static analysis of topology-dependent broadcast networks. Inf. Comput. 208(2): 117-139 (2010)
j40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese: From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. 75(6): 376-397 (2010)
c81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Model Checking Is Static Analysis of Modal Logic. FOSSACS 2010: 191-205
c80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Han Gao, Hanne Riis Nielson: The CaPiTo Approach to Protocol Validation - (Invited Talk). ARSPA-WITS 2010: 1
c79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson: Model Checking Multivariate State Rewards. QEST 2010: 7-16
c78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Hankin, Flemming Nielson, Hanne Riis Nielson: Probabilistic Aspects: Checking Security in an Imperfect World. TGC 2010: 348-363
c77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alejandro Mario Hernandez, Flemming Nielson: History-sensitive versus future-sensitive approaches to security in distributed systems. ICE 2010: 29-43
2009
j39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: A monotone framework for CCS. Computer Languages, Systems & Structures 35(4): 365-394 (2009)
c76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Hankin, Flemming Nielson, Hanne Riis Nielson: Advice from Belnap Policies. CSF 2009: 234-247
c75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson: A secure key establishment protocol for zigbee wireless sensor networks. ISCIS 2009: 340-345
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christos Kaklamanis, Flemming Nielson (Eds.): Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5474, Springer 2009, isbn 978-3-642-00944-0
2008
j38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Pathway analysis for BioAmbients. J. Log. Algebr. Program. 77(1-2): 92-130 (2008)
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst: Static Validation of Licence Conformance Policies. ARES 2008: 1104-1111
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese: From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION 2008: 100-116
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang: Advice for Coordination. COORDINATION 2008: 153-168
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson: Iterative Specialisation of Horn Clauses. ESOP 2008: 131-145
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ye Zhang, Torben Amtoft, Flemming Nielson: From generic to specific: off-line optimization for a general constraint solver. GPCE 2008: 45-54
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: Relational Analysis of Correlation. SAS 2008: 32-46
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson: Modal Abstractions of Concurrent Behaviour. SAS 2008: 159-173
2007
j37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson: Cryptographic Pattern Matching. Electr. Notes Theor. Comput. Sci. 168: 91-107 (2007)
j36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Heuristics for Safety and Security Constraints. Electr. Notes Theor. Comput. Sci. 172: 523-543 (2007)
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Active Evaluation Contexts for Reaction Semantics. Electr. Notes Theor. Comput. Sci. 175(1): 57-70 (2007)
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa: Control Flow Analysis for BioAmbients. Electr. Notes Theor. Comput. Sci. 180(3): 65-79 (2007)
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: What is a free name in a process algebra? Inf. Process. Lett. 103(5): 188-194 (2007)
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson: Topology-Dependent Abstractions of Broadcast Networks. CONCUR 2007: 226-240
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: A flow-sensitive analysis of privacy properties. CSF 2007: 249-264
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ye Zhang, Flemming Nielson: A Scalable Inclusion Constraint Solver Using Unification. LOPSTR 2007: 121-137
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard: Relational Analysis for Delivery of Services. TGC 2007: 73-89
2006
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
René Rydhof Hansen, Christian W. Probst, Flemming Nielson: Sandboxing in myKlaim. ARES 2006: 174-181
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Types from Control Flow Analysis. Program Analysis and Compilation 2006: 293-310
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Data Flow Analysis for CCS. Program Analysis and Compilation 2006: 311-327
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher: 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems 2006
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Static Analysis of a Model of the LDL Degradation Pathway. Simulation and Verification of Dynamic Systems 2006
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Context Dependent Analysis of BioAmbients. Simulation and Verification of Dynamic Systems 2006
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christian W. Probst, René Rydhof Hansen, Flemming Nielson: Where Can an Insider Attack? Formal Aspects in Security and Trust 2006: 127-142
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen: Locality-Based Security Policies. Formal Aspects in Security and Trust 2006: 185-201
2005
b4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of program analysis (2. corr. print). Springer 2005, isbn 978-3-540-65410-0, pp. I-XXI, 1-452
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami: Performance Evaluation of Security Protocols Specified in LySa. Electr. Notes Theor. Comput. Sci. 112: 167-189 (2005)
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson: Securing Statically-verified Communications Protocols Against Timing Attacks. Electr. Notes Theor. Comput. Sci. 128(4): 123-143 (2005)
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static validation of security protocols. Journal of Computer Security 13(3): 347-390 (2005)
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami: On Evaluating the Performance of Security Protocols. PaCT 2005: 1-15
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson: Information Flow Analysis for VHDL. PaCT 2005: 79-98
2004
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson: A calculus for control flow analysis of security protocols. Int. J. Inf. Sec. 2(3-4): 145-167 (2004)
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard: Spatial Analysis of BioAmbients. SAS 2004: 69-83
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl: The Succinct Solver Suite. TACAS 2004: 251-265
2003
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson: Abstract interpretation of mobile ambients. Sci. Comput. Program. 47(2-3): 145-175 (2003)
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Automatic Validation of Protocol Narration. CSFW 2003: 126-140
2002
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Flow logic for Dolev-Yao secrecy in cryptographic processes. Future Generation Comp. Syst. 18(6): 747-756 (2002)
j26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Helmut Seidl, Hanne Riis Nielson: A Succinct Solver for ALFP. Nord. J. Comput. 9(4): 335-372 (2002)
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen: Validating firewalls using flow logics. Theor. Comput. Sci. 283(2): 381-418 (2002)
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Flow Logic: A Multi-paradigmatic Approach to Static Analysis. The Essence of Computation 2002: 223-244
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Helmut Seidl: Automatic Complexity Analysis. ESOP 2002: 243-261
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz: Security for Mobility. FOSAD 2002: 207-265
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Helmut Seidl: Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. SAS 2002: 20-35
2001
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Helmut Seidl: Cryptographic Analysis in Cubic Time. Electr. Notes Theor. Comput. Sci. 62: 7-23 (2001)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis for the pi-Calculus with Applications to Security. Inf. Comput. 168(1): 68-92 (2001)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv: Kleene's Logic with Equality. Inf. Process. Lett. 80(3): 131-137 (2001)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Shape Analysis for Mobile Ambients. Nord. J. Comput. 8(2): 233-275 (2001)
p1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis Using Flow Logics. Current Trends in Theoretical Computer Science 2001: 525-542
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Helmut Seidl: Control-Flow Analysis in Cubic Time. ESOP 2001: 252-268
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis for Secrecy and Non-interference in Networks of Processes. PaCT 2001: 27-41
i1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Helmut Seidl: Succinct Solvers. Universität Trier, Mathematik/Informatik, Forschungsbericht 01-12 (2001)
2000
j20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis using Flow Logics. Bulletin of the EATCS 70: 112-130 (2000)
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv: A Kleene Analysis of Mobile Ambients. ESOP 2000: 305-319
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Shape Analysis for Mobile Ambients. POPL 2000: 142-154
1999
b3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Torben Amtoft, Hanne Riis Nielson, Flemming Nielson: Type and effect systems - behaviours for concurrency. Imperial College Press 1999, isbn 978-1-86094-154-2, pp. 1-253
b2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of program analysis. Springer 1999, isbn 978-3-540-65410-0, pp. I-XXI, 1-450
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Type and Effect Systems. Correct System Design 1999: 114-136
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen: Validating Firewalls in Mobile Ambients. CONCUR 1999: 463-477
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Interprocedural Control Flow Analysis. ESOP 1999: 20-39
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis of Processes for No and Read-Up nad No Write-Down. FoSSaCS 1999: 120-134
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson: Abstract Interpretation of Mobile Ambients. SAS 1999: 134-148
1998
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson: Strictness and Totality Analysis. Sci. Comput. Program. 31(1): 113-145 (1998)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Torben Amtoft, Hanne Riis Nielson, Flemming Nielson: Behavior Analysis for Validating Communication Patterns. STTT 2(1): 13-28 (1998)
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Flow Logics for Constraint Based Analysis. CC 1998: 109-127
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Control Flow Analysis for the pi-calculus. CONCUR 1998: 84-98
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Torben Amtoft, Flemming Nielson: Behaviour Analysis and Safety Conditions: A Case Study in CML. FASE 1998: 255-269
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Flow Logic for Imperative Objects. MFCS 1998: 220-228
1997
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Flow Logic and Operational Semantics. Electr. Notes Theor. Comput. Sci. 10: 150-169 (1997)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson: Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. J. Funct. Program. 7(3): 321-347 (1997)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson: Perspectives on Program Analysis. SIGPLAN Notices 32(1): 89-91 (1997)
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson: Systematic Realisation of Control Flow Analyses for CML. ICFP 1997: 38-51
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Prescriptive Frameworks for Multi-Level Lambda-Calculi. PEPM 1997: 193-202
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. POPL 1997: 332-345
1996
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson: Annotated Type and Effect Systems. ACM Comput. Surv. 28(2): 344-345 (1996)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson: Perspectives on Program Analysis. ACM Comput. Surv. 28(4es): 168 (1996)
j12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Operational Semantics of Termination Types. Nord. J. Comput. 3(2): 144-187 (1996)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: From CML to its Process Algebra. Theor. Comput. Sci. 155(1): 179-219 (1996)
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Multi-Level Lambda-Calculi: An Algebraic Description. Dagstuhl Seminar on Partial Evaluation 1996: 338-354
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen: Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS 1996: 1-21
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Static Semantics. LOMAPS 1996: 141-171
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann: Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS 1996: 172-206
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Algorithm. LOMAPS 1996: 207-243
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson: Semantics-Directed Program Analysis: A Tool-Maker's Perspective. SAS 1996: 2-21
1995
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages. TAPSOFT 1995: 590-604
1994
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: The Tensor Product in Wadler's Analysis of Lists. Sci. Comput. Program. 22(3): 327-354 (1994)
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Constraints for Polymorphic Behaviours of Concurrent ML. CCL 1994: 73-88
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Higher-Order Concurrent Programs with Finite Communication Topology. POPL 1994: 84-97
1993
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: From CML to Process Algebras (Extended Abstract). CONCUR 1993: 493-508
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Finiteness Conditions for Strictness Analysis. WSA 1993: 194-205
1992
b1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Semantics with applications - a formal introduction. Wiley professional computing, Wiley 1992, isbn 978-0-471-92980-2, pp. I-XII, 1-240
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Bounded Fixed-Point Iteration. J. Log. Comput. 2(4): 441-464 (1992)
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: The Tensor Product in Wadler's Analysis of Lists. ESOP 1992: 351-370
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Finiteness Conditions for Fixed Point Iteration. LISP and Functional Programming 1992: 96-108
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Bounded Fixed Point Iteration. POPL 1992: 71-82
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Layered Predicates. REX Workshop 1992: 425-456
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson: Inference Systems for Binding Time Analysis. WSA 1992: 247-254
1991
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Using Transformations in the Implementations of Higher-Order Functions. J. Funct. Program. 1(4): 459-494 (1991)
1990
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Functional Completeness of the Mixed lambda-Calculus and Combinatory Logic. Theor. Comput. Sci. 70(1): 99-126 (1990)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. ESOP 1990: 291-305
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Context Information for Lazy Code Generation. LISP and Functional Programming 1990: 251-263
1989
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson: Two-Level Semantics and Abstract Interpretation. Theor. Comput. Sci. 69(2): 117-242 (1989)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Transformations on Higher-Order Functions. FPCA 1989: 129-143
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson: The Typed lambda-Calculus with First-Class Processes. PARLE (2) 1989: 357-373
1988
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson: Strictness Analysis and Denotational Abstract Interpretation. Inf. Comput. 76(1): 29-92 (1988)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Automatic Binding Time Analysis for a Typed lambda-Calculus. Sci. Comput. Program. 10(1): 139-176 (1988)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Two-Level Semantics and Code Generation. Theor. Comput. Sci. 56: 59-133 (1988)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: 2-level lambda-lifting. ESOP 1988: 328-343
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Automatic Binding Time Analysis for a Typed Lambda-Calculus. POPL 1988: 98-106
1987
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson: Strictness Analysis and Denotational Abstract Interpretation. POPL 1987: 120-131
1986
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson: Correctness of Code Generation from a Two-Level Meta-Language. ESOP 1986: 30-40
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Pragmatic Aspects of Two-Level Denotational Meta-Languages. ESOP 1986: 133-143
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanne Riis Nielson, Flemming Nielson: Semantics Directed Compiling for Functional Languages. LISP and Functional Programming 1986: 249-257
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson: Abstract Interpretation of Denotational Definions (A Survey). STACS 1986: 1-20
1985
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson: Program Transformations in a Denotational Setting. ACM Trans. Program. Lang. Syst. 7(3): 359-379 (1985)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson: Expected forms of data flow analyses. Programs as Data Objects 1985: 172-191
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson, Hanne Riis Nielson: Code generation from two-level denotational meta-languages. Programs as Data Objects 1985: 192-205
1983
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Mycroft, Flemming Nielson: Strong Abstract Interpretation Using Power Domains (Extended Abstract). ICALP 1983: 536-547
1982
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flemming Nielson: A Denotational Framework for Data Flow Analysis. Acta Inf. 18: 265-287 (1982)

Coauthor Index

1Jürgen Ammann
[c27]
2Torben Amtoft (Torben Amtoft Hansen)
[c70] [b3] [j18] [c35] [j16] [c28] [c27] [c26]
3Tomoyuki Aotani
[c89]
4Grégory Batt
[c60]
5Chiara Bodei
[j32] [j30] [c55] [c51] [j27] [j23] [p1] [c45] [j20] [c39] [c36]
6Jeremy T. Bradley
[c60]
7Mikael Buchholtz
[j32] [j31] [j30] [c55] [j29] [c52] [c51] [c48]
8Patrick Cousot
[c29]
9Michele Curti
[j32] [c55]
10Mads Dam
[c29]
11Pierpaolo Degano
[j32] [j30] [c55] [c51] [j27] [j23] [p1] [c45] [j20] [c39] [c36] [c29]
12Roland Ewald
[c60]
13François Fages
[c60]
14Piotr Filipiuk
[c92] [i8] [i4] [c87] [j42]
15Matthias Fruth
[i6]
16Han Gao
[j44] [p2] [c80]
17Kirsten Lackner Solberg Gasser (Kirsten Lackner Solberg)
[j19] [c33] [c15]
18Stephen Gilmore (Stephen T. Gilmore)
[j31]
19Daniele Gorla
[j40] [c73]
20Chris Hankin
[i9] [c78] [c76] [c72] [b4] [b2]
21René Rydhof Hansen
[j40] [c74] [c73] [c63] [c57] [c56] [c52] [j28] [j25] [c41] [c38]
22Holger Hermanns
[j46] [c86] [c60]
23Alejandro Mario Hernandez
[j45] [c77]
24Jane Hillston
[c60] [j31]
25Heqing Huang
[c91] [i7]
26David N. Jansen
[c93] [j46] [c86]
27Jacob Grydholt Jensen
[c41] [c38]
28Pierre Jouvelot
[c29]
29Christos Kaklamanis
[e1]
30Peter Kemper
[c60]
31Jörg Kreiker (Jörg Bauer 0001)
[c90] [c69] [c64]
32Marta Z. Kwiatkowska
[i6]
33Alke Martens
[c60]
34Hidehiko Masuhara
[c89]
35Pieter J. Mosterman
[c60]
36Alan Mycroft
[c29] [c1]
37Sebastian Mödersheim (Sebastian Alexander Mödersheim)
[c100]
38Sebastian Nanz
[j43] [j41] [c68] [c67]
39Rocco De Nicola
[j40] [c73]
40Bo Friis Nielsen
[c95] [i3] [c82] [c79]
41Christoffer Rosenkilde Nielsen
[c71] [j37] [c64]
42Hanne Riis Nielson
[c100] [i10] [j49] [c99] [c98] [c97] [c96] [c95] [c94] [c92] [c91] [i9] [i8] [i7] [i6] [i5] [i4] [j47] [j45] [j44] [j43] [p2] [c90] [c89] [c88] [c87] [c85] [c84] [i2] [j42] [j41] [j40] [c81] [c80] [c79] [c78] [j39] [c76] [c75] [j38] [c74] [c73] [c72] [c71] [c69] [c68] [j37] [j36] [j35] [j34] [j33] [c67] [c66] [c64] [c62] [c61] [c59] [c58] [b4] [j32] [j30] [c55] [c54] [j29] [c53] [c52] [j28] [c51] [j27] [j26] [j25] [c50] [c49] [c48] [c47] [j24] [j23] [j22] [j21] [p1] [c45] [j20] [c44] [c43] [b3] [b2] [c42] [c41] [c40] [c39] [c38] [j19] [j18] [c37] [c36] [c35] [c34] [j17] [j16] [c33] [c32] [c31] [j12] [j11] [c30] [c28] [c27] [c26] [c24] [j10] [c23] [c22] [c21] [c20] [b1] [j9] [c19] [c18] [c17] [c16] [c15] [j8] [j7] [c14] [c13] [c12] [j4] [j3] [c10] [c9] [c6] [c5] [c2]
43Henrik Pilegaard
[j49] [j48] [i3] [c90] [j38] [c69] [j35] [j33] [c64] [c59] [c58] [c53] [c52]
44Corrado Priami
[j34] [j32] [c55]
45Christian W. Probst
[j40] [c74] [c73] [c63] [c57]
46Rosario Pugliese
[j40] [c73]
47Carroline Dewi Puspa Kencana Ramli
[c94] [i5] [c88] [i2]
48Debora Rosa
[j34]
49Shmuel Sagiv (Mooly Sagiv)
[j22] [c44]
50Helmut Seidl
[c52] [j26] [c49] [c47] [j24] [c46] [i1]
51Nataliya Skrypnyuk
[j48] [c83]
52Michael J. A. Smith (Michael James Andrew Smith)
[i3] [c84]
53Oleg Sokolsky
[c60]
54Lei Song
[c82]
55Hongyan Sun
[c52]
56Michal Terepeta
[c99] [c87]
57Bent Thomsen
[c29]
58Terkel K. Tolstrup
[c56] [c54]
59Adelinde M. Uhrmacher (Adelinde Uhrmacher)
[c60]
60Roberto Vigo
[c98]
61Fan Yang
[i9] [c89] [c72]
62Ender Yüksel
[i10] [c96] [c95] [c91] [i7] [i6] [i3] [j47] [c85] [c75]
63Kebin Zeng
[i3]
64Fuyuan Zhang
[c97]
65Lijun Zhang 0001
[c93] [i3] [j46] [c86]
66Ye Zhang 0002
[c70] [c65]
67Huibiao Zhu
[c91] [i7]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Mon May 20 06:20:52 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page