Nikolaj Bjørner

	2009
26		Nikolaj Bjørner, Joe Hendrix: Linear Functional Fixed-points. CAV 2009: 124-139
25		Nikolaj Bjørner, Leonardo Mendonça de Moura: Tapas: Theory Combinations and Practical Applications. FORMATS 2009: 1-6
24		Margus Veanes, Nikolaj Bjørner: Input-Output Model Programs. ICTAC 2009: 322-335
23		Leonardo Mendonça de Moura, Nikolaj Bjørner: Satisfiability Modulo Theories: An Appetizer. SBMF 2009: 23-36
22		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
21		Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov: Path Feasibility Analysis for String-Manipulating Programs. TACAS 2009: 307-321
	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]
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	[22]
7	Harish Devarajan	[1]
8	Bernd Finkbeiner	[8]
9	Yuri Gurevich	[14]
10	Jonathan de Halleux	[16]
11	Joe Hendrix	[26]
12	Ethan K. Jackson	[22]
13	Arjun Kapur	[1] [3]
14	Jaejin Lee	[1]
15	Zohar Manna	[1] [2] [3] [4] [6] [8] [10]
16	Leonardo Mendonça de Moura	[12] [13] [15] [17] [18] [19] [23] [25]
17	César Muñoz	[9]
18	Madan Musuvathi	[14]
19	Mark C. Pichora	[7]
20	Alexander Raschke	[20]
21	Thomas Santen	[22]
22	Wolfram Schulte	[16] [22]
23	Dirk Seifert	[22]
24	Henny B. Sipma (Henny Sipma)	[1] [3] [6] [8] [10]
25	Mark E. Stickel	[5]
26	Nikolai Tillmann	[16] [21]
27	Tomás E. Uribe	[1] [3] [5] [6] [8] [10]
28	Dries Vanoverberghe	[16]
29	Margus Veanes	[20] [24]
30	Andrei Voronkov	[21]

Colors in the list of coauthors