Nikolaj Bjørner

	2012
49		Nikolaj Bjørner, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings Springer 2012
48		Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj Bjørner: Symbolic finite state transducers: algorithms and applications. POPL 2012: 137-150
47		Margus Veanes, Nikolaj Bjørner: Symbolic Automata: The Toolkit. TACAS 2012: 472-477
	2011
46		Nikolaj Bjørner, Viorica Sofronie-Stokkermans: Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings Springer 2011
45		Nikolaj Bjørner: Engineering Theories with Z3. APLAS 2011: 4-16
44		Krystof Hoder, Nikolaj Bjørner, Leonardo Mendonça de Moura: μZ- An Efficient Engine for Fixed Points with Constraints. CAV 2011: 457-462
43		Nikolaj Bjørner: Engineering Theories with Z3. CPP 2011: 1-2
42		Margus Veanes, Nikolaj Bjørner: Symbolic Tree Transducers. Ershov Memorial Conference 2011: 377-393
41		Ethan K. Jackson, Nikolaj Bjørner, Wolfram Schulte: Canonical Regular Types. ICLP (Technical Communications) 2011: 73-83
40		Margus Veanes, Nikolaj Bjørner: Foundations of Finite Symbolic Tree Transducers. Bulletin of the EATCS 105: 141-173 (2011)
39		Leonardo Mendonça de Moura, Nikolaj Bjørner: Satisfiability modulo theories: introduction and applications. Commun. ACM 54(9): 69-77 (2011)
38		Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov: Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272). Dagstuhl Reports 1(7): 23-35 (2011)
	2010
37		Sergio Mera, Nikolaj Bjørner: DKAL and Z3: A Logic Embedding Experiment. Fields of Logic and Computation 2010: 504-528
36		Margus Veanes, Nikolaj Bjørner: Alternating Simulation and IOCO. ICTSS 2010: 47-62
35		Nikolaj Bjørner: Linear Quantifier Elimination as an Abstract Decision Procedure. IJCAR 2010: 316-330
34		Leonardo Mendonça de Moura, Nikolaj Bjørner: Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development. IJCAR 2010: 400-411
33		Margus Veanes, Nikolaj Bjørner, Leonardo Mendonça de Moura: Symbolic Automata Constraint Solving. LPAR (Yogyakarta) 2010: 640-654
32		Ruzica Piskac, Leonardo Mendonça de Moura, Nikolaj Bjørner: Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. J. Autom. Reasoning 44(4): 401-424 (2010)
31		Nikolaj Bjørner, Andreas Blass, Yuri Gurevich: Content-dependent chunking for differential compression, the local maximum approach. J. Comput. Syst. Sci. 76(3-4): 154-203 (2010)
	2009
30		Nikolaj Bjørner, Joe Hendrix: Linear Functional Fixed-points. CAV 2009: 124-139
29		Margus Veanes, Nikolaj Bjørner: Symbolic Bounded Conformance Checking of Model Programs. Ershov Memorial Conference 2009: 388-400
28		Leonardo Mendonça de Moura, Nikolaj Bjørner: Generalized, efficient array decision procedures. FMCAD 2009: 45-52
27		Nikolaj Bjørner, Leonardo Mendonça de Moura: Tapas: Theory Combinations and Practical Applications. FORMATS 2009: 1-6
26		Margus Veanes, Nikolaj Bjørner: Input-Output Model Programs. ICTAC 2009: 322-335
25		Leonardo Mendonça de Moura, Nikolaj Bjørner: Satisfiability Modulo Theories: An Appetizer. SBMF 2009: 23-36
24		Nikolaj Bjørner: SMT Solvers for Testing, Program Analysis and Verification at Microsoft. SYNASC 2009: 15
23		Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte: Specifying and Composing Non-functional Requirements in Model-Based Development. Software Composition 2009: 72-89
22		Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov: Path Feasibility Analysis for String-Manipulating Programs. TACAS 2009: 307-321
21		Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte: Symbolic Bounded Model Checking of Abstract State Machines. Int. J. Software and Informatics 3(2-3): 149-170 (2009)
	2008
20		Margus Veanes, Nikolaj Bjørner, Alexander Raschke: An SMT Approach to Bounded Reachability Analysis of Model Programs. FORTE 2008: 53-68
19		Leonardo Mendonça de Moura, Nikolaj Bjørner: Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. IJCAR 2008: 410-425
18		Leonardo Mendonça de Moura, Nikolaj Bjørner: Engineering DPLL(T) + Saturation. IJCAR 2008: 475-490
17		Leonardo Mendonça de Moura, Nikolaj Bjørner: Proofs and Refutations, and Z3. LPAR Workshops 2008
16		Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann: Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN 2008: 9-25
15		Leonardo Mendonça de Moura, Nikolaj Bjørner: Z3: An Efficient SMT Solver. TACAS 2008: 337-340
14		Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi: Modular difference logic is hard CoRR abs/0811.0987: (2008)
13		Leonardo Mendonça de Moura, Nikolaj Bjørner: Model-based Theory Combination. Electr. Notes Theor. Comput. Sci. 198(2): 37-49 (2008)
	2007
12		Leonardo Mendonça de Moura, Nikolaj Bjørner: Efficient E-Matching for SMT Solvers. CADE 2007: 183-198
11		Nikolaj Bjørner: Models and Software Model Checking of a Distributed File Replication System. Formal Methods and Hybrid Real-Time Systems 2007: 1-23
	2001
10		Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe: Deductive verification of real-time systems using STeP. Theor. Comput. Sci. 253(1): 27-60 (2001)
	2000
9		Nikolaj Bjørner, César Muñoz: Absolute Explicit Unification. RTA 2000: 31-46
8		Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe: Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods in System Design 16(3): 227-270 (2000)
	1998
7		Nikolaj Bjørner, Mark C. Pichora: Deiding Fixed and Non-fixed Size Bit-vectors. TACAS 1998: 376-392
	1997
6		Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe: Deductive Verification of Real-Time Systems Using STeP. ARTS 1997: 22-43
5		Nikolaj Bjørner, Mark E. Stickel, Tomás E. Uribe: A Practical Integration of First-Order Reasoning and Decision Procedures. CADE 1997: 101-115
4		Nikolaj Bjørner, Anca Browne, Zohar Manna: Automatic Generation of Invariants and Intermediate Assertions. Theor. Comput. Sci. 173(1): 49-87 (1997)
	1996
3		Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe: STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. CAV 1996: 415-418
	1995
2		Nikolaj Bjørner, Anca Browne, Zohar Manna: Automatic Generation of Invariants and Assertions. CP 1995: 589-623
1		Zohar Manna, Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Luca de Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás E. Uribe: STeP: The Stanford Temporal Prover. TAPSOFT 1995: 793-794

Coauthor Index

1	Luca de Alfaro	[1]
2	Andreas Blass	[14] [31]
3	Anca Browne (I. A. Draghicescu)	[1] [2] [3] [4] [8]
4	Edward Y. Chang	[1] [3]
5	Michael Colón	[1] [3] [8]
6	Markus Dahlweid	[23]
7	Harish Devarajan	[1]
8	Bernd Finkbeiner	[8]
9	Yuri Gurevich	[14] [21] [31]
10	Jonathan de Halleux	[16]
11	Joe Hendrix	[30]
12	Krystof Hoder	[44]
13	Pieter Hooimeijer	[48]
14	Ethan K. Jackson	[23] [41]
15	Arjun Kapur	[1] [3]
16	Jaejin Lee	[1]
17	Benjamin Livshits (V. Benjamin Livshits)	[48]
18	Zohar Manna	[1] [2] [3] [4] [6] [8] [10]
19	Sergio Mera	[37]
20	David Molnar	[48]
21	Leonardo Mendonça de Moura	[12] [13] [15] [17] [18] [19] [25] [27] [28] [32] [33] [34] [39] [44]
22	César Muñoz	[9]
23	Madan Musuvathi	[14]
24	Robert Nieuwenhuis	[38]
25	Mark C. Pichora	[7]
26	Ruzica Piskac	[32]
27	Alexander Raschke	[20]
28	Thomas Santen	[23]
29	Wolfram Schulte	[16] [21] [23] [41]
30	Dirk Seifert	[23]
31	Henny B. Sipma (Henny Sipma)	[1] [3] [6] [8] [10]
32	Viorica Sofronie-Stokkermans (Viorica Sofronie)	[46]
33	Mark E. Stickel	[5]
34	Nikolai Tillmann	[16] [22]
35	Tomás E. Uribe	[1] [3] [5] [6] [8] [10]
36	Dries Vanoverberghe	[16]
37	Margus Veanes	[20] [21] [26] [29] [33] [36] [40] [42] [47] [48]
38	Helmut Veith	[38]
39	Andrei Voronkov	[22] [38] [49]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page