Towards Correct-by-Construction SDN Leonid Ryzhyk1 , Nikolaj Bjørner2 , Marco Canini3 , Jean-Baptiste Jeannin1 , Nina Narodytska1 , Cole Schlesinger1 , Douglas B. Terry1 , and George Varghese2 1 Samsung Research Americ

Source URL: conferences.sigcomm.org

• Computing
• Network architecture
• Emerging technologies
• Software engineering
• Configuration management
• Software-defined networking
• Information technology management
• Programming paradigms
• Refinement
• Programming language
• Model checking
• SIGCOMM

Useful Patterns (UP’10) ACM SIGKDD Workshop Report Jilles Vreeken Nikolaj Tatti

Source URL: eda.mmci.uni-saarland.de

• Data mining
• Information science
• Information technology management
• Information technology
• Sequential pattern mining
• Association rule learning
• Pattern
• Architectural pattern
• K-optimal pattern discovery
• Web mining

Unleashing the Verification Genie in the Cloud Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA Abstract Z3 is a state-of-the-art SMT (Satisfiability Modulo Theories)

Source URL: fm.csl.sri.com

• Mathematics
• Theoretical computer science
• Mathematical logic
• Predicate logic
• Constraint programming
• Electronic design automation
• Logic in computer science
• Satisfiability modulo theories
• Z3
• First-order logic
• Language Integrated Query
• Computer program

Entanglement in multiparticle systems Nikolaj Korolev NBI 2007 Resumé

Source URL: theoretical-quantum-optics.nbi.ku.dk

Tell Me What I Need to Know: Succinctly Summarizing Data with Itemsets Michael Mampaey Nikolaj Tatti

Source URL: people.mmci.uni-saarland.de

Nordic Region Juha Vaitilo, Sales Director, Sogeti Finland Nikolaj Langkilde Madsen, Test Director, Capgemini Sogeti Denmark Important trends

Source URL: www.sogeti.lu

Synthesizing Cardinality Invariants for Parameterized Systems Klaus v. Gleissenthall, TU Munich Nikolaj Bjørner and Andrey Rybalchenko, Microsoft Research

Source URL: pv.dibris.unige.it

Dishonesty and Selection into Public Service in Denmark: Who Runs the World’s Least Corrupt Public Sector?∗ Sebastian Barfort† Nikolaj Harmon‡

Source URL: www.econ.ku.dk

Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Automated theorem proving
• Mathematics
• Formal methods
• Logic in computer science
• Constraint programming
• Electronic design automation
• Conflict-Driven Clause Learning
• DPLL algorithm
• Boolean satisfiability problem
• Satisfiability modulo theories

Immigration, Ethnic Diversity and Political Outcomes: Evidence from Denmark Nikolaj A. Harmon∗ University of Copenhagen This version: April 2015

Source URL: www.econ.ku.dk