Flemming Nielson

Identifiers

• name variant Flemming Nielson 0.60 · backfill

Papers (14)

1. A Theory of Available-by-Design Communicating Systems cs.PL · 2016 · author #2
2. A Coordination Language for Databases cs.LO · 2016 · author #4
3. Discovering, quantifying, and displaying attacks cs.CR · 2016 · author #2
4. A Framework for Hybrid Systems with Denial-of-Service Security Attack cs.LO · 2014 · author #2
5. Pushdown Systems for Monotone Frameworks cs.PL · 2013 · author #3
6. Design-Efficiency in Security cs.CR · 2013 · author #3
7. Roadmap Document on Stochastic Analysis cs.LO · 2012 · author #2
8. Lattice based Least Fixed Point Logic cs.LO · 2012 · author #2
9. XACML 3.0 in Answer Set Programming cs.IT · 2012 · author #3
10. Optimizing ZigBee Security using Stochastic Model Checking cs.CR · 2012 · author #3
11. Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study cs.NI · 2012 · author #3
12. Layered Fixed Point Logic cs.LO · 2012 · author #2
13. Secondary use of data in EHR systems cs.PL · 2012 · author #3
14. The Logic of XACML - Extended cs.CR · 2011 · author #3

Mentions

• 1403.6367 #2 · arxiv_oai · confidence 0.70 Flemming Nielson
• 1403.6367 #2 · backfill · confidence 0.70 Flemming Nielson
• 1307.4585 #3 · backfill · confidence 0.70 Flemming Nielson
• 1302.1111 #3 · backfill · confidence 0.70 Flemming Nielson
• 1209.6578 #2 · backfill · confidence 0.70 Flemming Nielson
• 1207.5384 #2 · backfill · confidence 0.70 Flemming Nielson
• 1206.5327 #3 · backfill · confidence 0.70 Flemming Nielson
• 1205.6675 #3 · backfill · confidence 0.70 Flemming Nielson
• 1205.6664 #3 · backfill · confidence 0.70 Flemming Nielson
• 1204.2768 #2 · backfill · confidence 0.70 Flemming Nielson
• 1201.4262 #3 · backfill · confidence 0.70 Flemming Nielson
• 1110.3706 #3 · backfill · confidence 0.70 Flemming Nielson

Frequent Coauthors

• Hanne Riis Nielson 12 shared papers
• Ender Y\"uksel 3 shared papers
• Carroline Dewi Puspa Kencana Ramli 2 shared papers
• Piotr Filipiuk 2 shared papers
• Alberto Lluch Lafuente 1 shared papers
• Bo Friis Nielsen 1 shared papers
• Chris Hankin 1 shared papers
• Ender Y\"uksel 1 shared papers
• Fan Yang 1 shared papers
• Hanne Riis Nielson (Technical University of Denmark 1 shared papers
• Henrik Pilegaard 1 shared papers
• Heqing Huang 1 shared papers
• Hugo A. L\'opez 1 shared papers
• Huibiao Zhu 1 shared papers
• Kebin Zeng 1 shared papers
• Lijun Zhang 1 shared papers
• Lyngby) 1 shared papers
• Marta Kwiatkowska 1 shared papers
• Matthias Fruth 1 shared papers
• Michael James Andrew Smith 1 shared papers