Nikolaj - PDFSEARCH.IO - Document Search Engine

Nikolaj
Results: 487

#	Item
91	PDF Document Add to Reading List Source URL: www.sk.ku.dk Language: English - Date: 2012-01-10 06:39:48 Denmark Anglican saints Niels Jørgen Cappelørn Norwegian Academy of Science and Letters Joakim Garff Nikolaj Frederik Severin Grundtvig University of Copenhagen Poul Martin Møller Danish Golden Age Philosophy Christianity Søren Kierkegaard
92	Z310 : Applications, Enablers, Challenges and Directions Nikolaj Bjørner and Leonardo de Moura Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {nbjorner,leonardo}@microsoft.com Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:10:53 Logic in computer science Metalogic Electronic design automation NP-complete problems Satisfiability Modulo Theories Model theory Formal verification Extended static checking Model checking Theoretical computer science Formal methods Applied mathematics
93	From Primal Infon Logic with Individual Variables to Datalog Nikolaj Bjørner1 , Guido de Caso2 , and Yuri Gurevich1 1 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-03-26 16:39:48 Symbol Admissible rule Entailment Constructible universe Logic Deduction Propositional calculus
94	νZ - An Optimizing SMT Solver Nikolaj Bjørner1 , Anh-Dung Phan2 , and Lars Fleckenstein3 1 Microsoft Research, Redmond, WA, USA DTU Compute, Technical University of Denmark Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-01-22 06:10:53 Operations research Constraint programming Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Mathematical optimization Linear programming Boolean satisfiability problem Theoretical computer science Applied mathematics Mathematics
95	Engineering Theories with Z3? Nikolaj Bjørner Microsoft Research Abstract. Modern Satisfiability Modulo Theories (SMT) solvers are Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-10-17 17:03:30 Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number Theoretical computer science Applied mathematics Electronic design automation
96	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research, University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:15 Electronic design automation Formal methods Logic in computer science NP-complete problems Vehicle Identification Number Satisfiability Modulo Theories FO Kripke semantics Theoretical computer science Mathematical logic Logic
97	Anatomy of Alternating Quantifier Satisfiability (Work in progress) Anh-Dung Phan Technical University of Denmark Nikolaj Bjørner Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-06-03 10:03:44 Model theory Logic in computer science Predicate logic Computability theory Metalogic Quantifier elimination Satisfiability Modulo Theories Presburger arithmetic True quantified Boolean formula Theoretical computer science Logic Mathematical logic
98	An SMT-LIB Format for Sequences and Regular Expressions Nikolaj Bjørner Microsoft Research Vijay Ganesh MIT Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-06-03 10:03:44 Combinatorics Combinatorics on words Regular expressions Pattern matching Formal methods Fold Alphabet Sequence Satisfiability Modulo Theories Mathematics Formal languages Theoretical computer science
99	Latent Fault Detection in Cloud Services Mickey Gabela,b,1 , Ran Gilad-Bachracha , Nikolaj Bjørnera , Assaf Schustera,b,1 a Microsoft b Computer Research, Redmond, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-07-13 21:23:13 Turing machine Μ operator Models of computation Computability theory
100	VeriCon: Towards Verifying Controller Programs in Software-Defined Networks Thomas Ball and Nikolaj Bjørner Aaron Gember Add to Reading List Source URL: agember.com Language: English - Date: 2014-04-01 15:04:03 Computer network Q Computing Computer programming Software engineering Invariant Loop invariant