×
Author ID: kozen.dexter-c Recent zbMATH articles by "Kozen, Dexter C."
Published as: Kozen, Dexter; Kozen, Dexter C.; Kozen, D.

Publications by Year

Citations contained in zbMATH Open

106 Publications have been cited 2,539 times in 1,969 Documents Cited by Year
Alternation. Zbl 0473.68043
Chandra, Ashok K.; Kozen, Dexter C.; Stockmeyer, Larry J.
515
1981
Results on the propositional \(\mu\)-calculus. Zbl 0553.03007
Kozen, Dexter
362
1983
Dynamic logic. Zbl 0976.68108
Harel, David; Kozen, Dexter; Tiuryn, Jerzy
244
2000
A completeness theorem for Kleene algebras and the algebra of regular events. Zbl 0806.68082
Kozen, Dexter
191
1994
Semantics of probabilistic programs. Zbl 0476.68019
Kozen, Dexter
81
1981
Kleene algebra with tests: Completeness and decidability. Zbl 0882.03064
Kozen, Dexter; Smith, Frederick
78
1997
Automata and computability. Zbl 0883.68055
Kozen, Dexter C.
65
1997
The complexity of elementary algebra and geometry. Zbl 0634.03031
Ben-Or, Michael; Kozen, Dexter; Reif, John
58
1986
A probabilistic PDL. Zbl 0575.03013
Kozen, Dexter
54
1985
An elementary proof of the completeness of PDL. Zbl 0451.03006
Kozen, Dexter; Parikh, Rohit
49
1981
On Hoare logic and Kleene algebra with tests. Zbl 1365.68326
Kozen, Dexter
46
2000
Logics of programs. Zbl 0900.68306
Kozen, Dexter; Tiuryn, Jerzy
38
1990
Definability with bounded number of bound variables. Zbl 0711.03004
Immerman, Neil; Kozen, Dexter
34
1989
Process logic: Expressiveness, decidability, completeness. Zbl 0494.03016
Harel, David; Kozen, Dexter; Parikh, Rohit
32
1982
On Kleene algebras and closed semirings. Zbl 0732.03047
Kozen, Dexter
30
1990
Netkat, semantic foundations for networks. Zbl 1284.68100
Anderson, Carolyn Jane; Foster, Nate; Guha, Arjun; Jeannin, Jean-Baptiste; Kozen, Dexter; Schlesinger, Cole; Walker, David
30
2014
Polynomial decomposition algorithms. Zbl 0691.68030
Kozen, Dexter; Landau, Susan
27
1989
A finite model theorem for the propositional \(\mu\)-calculus. Zbl 0667.03019
Kozen, Dexter
23
1989
Decidability of systems of set constraints with negative constraints. Zbl 0834.68105
Aiken, Alexander; Kozen, Dexter; Wimmers, Ed
20
1995
Theory of computation. Zbl 1102.68025
Kozen, Dexter C.
20
2006
A zero-one law for logic with a fixed-point operator. Zbl 0608.68077
Blass, Andreas; Gurevich, Yuri; Kozen, Dexter
20
1985
Complexity of Boolean algebras. Zbl 0428.03036
Kozen, Dexter
20
1980
Nominal Kleene coalgebra. Zbl 1440.68174
Kozen, Dexter; Mamouras, Konstantinos; Petrişan, Daniela; Silva, Alexandra
19
2015
The complexity of set constraints. Zbl 0953.68557
Aiken, A.; Kozen, D.; Vardi, M.; Wimmers, F.
18
1994
NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching. Zbl 0598.68050
Kozen, Dexter; Vazirani, Umesh V.; Vazirani, Vijay V.
18
1985
On the Myhill-Nerode theorem for trees. Zbl 0757.68083
Kozen, Dexter
17
1992
Dynamic logic. 2nd ed. Zbl 1003.03528
Harel, David; Kozen, Dexter; Tiuryn, Jerzy
16
2002
Results on the propositional mu-calculus. Zbl 0507.03005
Kozen, Dexter
15
1982
Automata of guarded strings and applications. Zbl 1087.68049
Kozen, Dexter
14
2003
Indexings of subrecursive classes. Zbl 0435.03033
Kozen, Dexter
14
1980
A representation theorem for models of *-free PDL. Zbl 0451.03005
Kozen, Dexter
14
1980
Stone duality for Markov processes. Zbl 1433.06006
Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash
14
2013
Efficient recursive subtyping. Zbl 0840.03007
Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I.
13
1995
Logical aspects of set constraints. Zbl 0953.03524
Kozen, D.
13
1994
Probabilistic NetKAT. Zbl 1335.68027
Foster, Nate; Kozen, Dexter; Mamouras, Konstantinos; Reitblatt, Mark; Silva, Alexandra
13
2016
On the completeness of propositional Hoare logic. Zbl 0996.03022
Kozen, Dexter; Tiuryn, Jerzy
12
2001
A coalgebraic decision procedure for NetKAT. Zbl 1346.68132
Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure
12
2015
Certification of compiler optimizations using Kleene algebra with tests. Zbl 0983.68032
Kozen, Dexter; Patron, Maria-Cristina
11
2000
On the complexity of reasoning in Kleene algebra. Zbl 1096.03077
Kozen, Dexter
11
2002
Practical coinduction. Zbl 1376.68095
Kozen, Dexter; Silva, Alexandra
11
2015
A programming language for the inductive sets, and applications. Zbl 0591.68037
Harel, David; Kozen, Dexter
10
1984
CoCaml: functional programming with regular coinductive types. Zbl 1374.68098
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
10
2017
A fast parallel algorithm for determining all roots of a polynomial with real roots. Zbl 0663.68047
Ben-Or, Michael; Feig, Ephraim; Kozen, Dexter; Tiwari, Prasoon
9
1988
Positive first-order logic is NP-complete. Zbl 0481.03026
Kozen, Dexter
9
1981
The design and analysis of algorithms. Zbl 0743.68006
Kozen, Dexter C.
9
1991
Kleene algebra with equations. Zbl 1409.68179
Kozen, Dexter; Mamouras, Konstantinos
9
2014
Partial automata and finitely generated congruences: An extension of Nerode’s theorem. Zbl 0824.68076
Kozen, D.
8
1993
KAT-ML: an interactive theorem prover for Kleene algebra with tests. Zbl 1184.68457
Aboul-Hosn, Kamal; Kozen, Dexter
8
2006
Efficient inference of partial types. Zbl 0823.68011
Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I.
8
1994
Language constructs for non-well-founded computation. Zbl 1381.68034
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
8
2013
On Hoare logic, Kleene algebra, and types. Zbl 1023.03025
Kozen, Dexter
7
2002
Applications of metric coinduction. Zbl 1187.03028
Kozen, Dexter; Ruozzi, Nicholas
6
2009
Decomposition of algebraic functions. Zbl 0876.68062
Kozen, Dexter; Landau, Susan; Zippel, Richard
6
1996
Cantor meets Scott: semantic foundations for probabilistic networks. Zbl 1380.68132
Smolka, Steffen; Kumar, Praveen; Foster, Nate; Kozen, Dexter; Silva, Alexandra
6
2017
Nominal automata with name binding. Zbl 1486.68097
Schröder, Lutz; Kozen, Dexter; Milius, Stefan; Wißmann, Thorsten
6
2017
Substructural logic and partial correctness. Zbl 1365.68327
Kozen, Dexter; Tiuryn, Jerzy
6
2003
Strong completeness for Markovian logics. Zbl 1510.03013
Kozen, Dexter; Mardare, Radu; Panangaden, Prakash
6
2013
A decision procedure for the propositional \(\mu\)-calculus. Zbl 0564.03012
Kozen, Dexter; Parikh, Rohit
5
1984
Optimal bounds for the change-making problem. Zbl 0801.68079
Kozen, Dexter; Zaks, Shmuel
5
1994
Completeness and incompleteness in nominal Kleene algebra. Zbl 1471.68117
Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra
5
2015
Realization of coinductive types. Zbl 1342.68217
Kozen, Dexter
5
2011
On the representation of Kleene algebras with tests. Zbl 1132.68472
Kozen, Dexter
4
2006
On the duality of dynamic algebras and Kripke models. Zbl 0482.03008
Kozen, Dexter
4
1981
On induction vs. *-continuity. Zbl 0495.03013
Kozen, Dexter
4
1982
Propositional dynamic logics of programs: A survey. Zbl 0468.68038
Parikh, Rohit
4
1981
Myhill-Nerode relations on automatic systems and the completeness of Kleene algebra. Zbl 0976.68093
Kozen, Dexter
4
2001
Relational semantics for higher-order programs. Zbl 1235.68048
Aboul-Hosn, Kamal; Kozen, Dexter
4
2006
Automata and planar graphs. Zbl 0445.68039
Kozen, Dexter
4
1979
Computing with capsules. Zbl 1322.68042
Jeannin, Jean-Baptiste; Kozen, Dexter
4
2012
The Böhm-Jacopini theorem is false, propositionally. Zbl 1156.68354
Kozen, Dexter; Tseng, Wei-Lung Dustin
4
2008
Tarskian set constraints. Zbl 1009.03019
Givan, Robert; McAllester, David; Witty, Carl; Kozen, Dexter
4
2002
Local variable scoping and Kleene algebra with tests. Zbl 1148.68033
Aboul-Hosn, Kamal; Kozen, Dexter
3
2008
Left-handed completeness. Zbl 1364.68268
Kozen, Dexter; Silva, Alexandra
3
2012
On regularity-preserving functions. Zbl 1026.68573
Kozen, Dexter
3
1996
A complete Gentzen-style axiomatization for set constraints. Zbl 1045.03515
Cheng, Allan; Kozen, Dexter
3
1996
A clique problem equivalent to graph isomorphism. Zbl 0395.68056
Kozen, Dexter
3
1978
Set constraints and logic programming. Zbl 0917.68045
Kozen, Dexter
2
1998
Efficient inference of partial types. Zbl 0977.68505
Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I.
2
1992
Rabin measures. Zbl 0924.68142
Klarlund, Nils; Kozen, Dexter
2
1995
Some results in dynamic model theory. Zbl 1053.03019
Kozen, Dexter
2
2004
Applications of metric coinduction. Zbl 1214.68218
Kozen, Dexter; Ruozzi, Nicholas
2
2007
Rational spaces and set constraints. Zbl 0874.68212
Kozen, Dexter
2
1996
Computing the Newtonian graph. Zbl 0885.65055
Kozen, Dexter; Stefánsson, Kjartan
2
1997
Infinitary axiomatization of the equational theory of context-free languages. Zbl 1380.68289
Grathwohl, Niels Bjørn Bugge; Henglein, Fritz; Kozen, Dexter
2
2017
A note on the complexity of propositional Hoare logic. Zbl 1365.68321
Cohen, Ernie; Kozen, Dexter
2
2000
Kleene algebra with products and iteration theories. Zbl 1356.68148
Kozen, Dexter; Mamouras, Konstantinos
2
2013
Semantics of probabilistic programming: a gentle introduction. Zbl 07311041
Dahlqvist, Fredrik; Silva, Alexandra; Kozen, Dexter
2
2021
Left-handed completeness. Zbl 1436.68202
Kozen, Dexter; Silva, Alexandra
2
2020
On the coalgebraic theory of Kleene algebra with tests. Zbl 1437.68125
Kozen, Dexter
2
2017
Rational spaces and set constraints. Zbl 1496.68185
Kozen, Dexter
2
1995
Indexing of subrecursive classes. Zbl 1283.03072
Kozen, Dexter
2
1978
Coinductive proof principles for stochastic processes. Zbl 1131.68063
Kozen, Dexter C.
1
2007
KAT + B! Zbl 1401.68040
Grathwohl, Niels Bjørn Bugge; Kozen, Dexter; Mamouras, Konstantinos
1
2014
Kolmogorov extension, martingale convergence, and compositionality of processes. Zbl 1401.68239
Kozen, Dexter
1
2016
NetKAT – a formal system for the verification of networks. Zbl 1453.68051
Kozen, Dexter
1
2014
Completeness and incompleteness in nominal Kleene algebra. Zbl 1372.68064
Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra
1
2017
Capsules and separation. Zbl 1362.68050
Jeannin, Jean-Baptiste; Kozen, Dexter
1
2012
Publication/citation: a proof-theoretic approach to mathematical knowledge management. Zbl 1314.68303
Kozen, Dexter; Ramanarayanan, Ganesh
1
2011
Well-founded coalgebras, revisited. Zbl 1376.68094
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
1
2015
Formalizing Moessner’s theorem and generalizations in Nuprl. Zbl 07432496
Bickford, Mark; Kozen, Dexter; Silva, Alexandra
1
2022
Formalizing Moessner’s theorem and generalizations in Nuprl. Zbl 07432496
Bickford, Mark; Kozen, Dexter; Silva, Alexandra
1
2022
Semantics of probabilistic programming: a gentle introduction. Zbl 07311041
Dahlqvist, Fredrik; Silva, Alexandra; Kozen, Dexter
2
2021
Left-handed completeness. Zbl 1436.68202
Kozen, Dexter; Silva, Alexandra
2
2020
Natural transformations as rewrite rules and monad composition. Zbl 1405.68160
Kozen, Dexter
1
2019
Boolean-valued semantics for the stochastic \(\lambda \)-calculus. Zbl 1453.03006
Bacci, Giorgio; Furber, Robert; Kozen, Dexter; Mardare, Radu; Panangaden, Prakash; Scott, Dana
1
2018
CoCaml: functional programming with regular coinductive types. Zbl 1374.68098
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
10
2017
Cantor meets Scott: semantic foundations for probabilistic networks. Zbl 1380.68132
Smolka, Steffen; Kumar, Praveen; Foster, Nate; Kozen, Dexter; Silva, Alexandra
6
2017
Nominal automata with name binding. Zbl 1486.68097
Schröder, Lutz; Kozen, Dexter; Milius, Stefan; Wißmann, Thorsten
6
2017
Infinitary axiomatization of the equational theory of context-free languages. Zbl 1380.68289
Grathwohl, Niels Bjørn Bugge; Henglein, Fritz; Kozen, Dexter
2
2017
On the coalgebraic theory of Kleene algebra with tests. Zbl 1437.68125
Kozen, Dexter
2
2017
Completeness and incompleteness in nominal Kleene algebra. Zbl 1372.68064
Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra
1
2017
Unrestricted Stone duality for Markov processes. Zbl 1452.06009
Furber, Robert; Kozen, Dexter; Larsen, Kim; Mardare, Radu; Panangaden, Prakash
1
2017
Probabilistic NetKAT. Zbl 1335.68027
Foster, Nate; Kozen, Dexter; Mamouras, Konstantinos; Reitblatt, Mark; Silva, Alexandra
13
2016
Kolmogorov extension, martingale convergence, and compositionality of processes. Zbl 1401.68239
Kozen, Dexter
1
2016
Nominal Kleene coalgebra. Zbl 1440.68174
Kozen, Dexter; Mamouras, Konstantinos; Petrişan, Daniela; Silva, Alexandra
19
2015
A coalgebraic decision procedure for NetKAT. Zbl 1346.68132
Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure
12
2015
Practical coinduction. Zbl 1376.68095
Kozen, Dexter; Silva, Alexandra
11
2015
Completeness and incompleteness in nominal Kleene algebra. Zbl 1471.68117
Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra
5
2015
Well-founded coalgebras, revisited. Zbl 1376.68094
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
1
2015
Netkat, semantic foundations for networks. Zbl 1284.68100
Anderson, Carolyn Jane; Foster, Nate; Guha, Arjun; Jeannin, Jean-Baptiste; Kozen, Dexter; Schlesinger, Cole; Walker, David
30
2014
Kleene algebra with equations. Zbl 1409.68179
Kozen, Dexter; Mamouras, Konstantinos
9
2014
KAT + B! Zbl 1401.68040
Grathwohl, Niels Bjørn Bugge; Kozen, Dexter; Mamouras, Konstantinos
1
2014
NetKAT – a formal system for the verification of networks. Zbl 1453.68051
Kozen, Dexter
1
2014
Stone duality for Markov processes. Zbl 1433.06006
Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash
14
2013
Language constructs for non-well-founded computation. Zbl 1381.68034
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
8
2013
Strong completeness for Markovian logics. Zbl 1510.03013
Kozen, Dexter; Mardare, Radu; Panangaden, Prakash
6
2013
Kleene algebra with products and iteration theories. Zbl 1356.68148
Kozen, Dexter; Mamouras, Konstantinos
2
2013
Infinitary axiomatization of the equational theory of context-free languages. Zbl 1462.68115
Grathwohl, Niels Bjørn Bugge; Henglein, Fritz; Kozen, Dexter
1
2013
On Moessner’s theorem. Zbl 1271.13041
Kozen, Dexter; Silva, Alexandra
1
2013
Computing with capsules. Zbl 1322.68042
Jeannin, Jean-Baptiste; Kozen, Dexter
4
2012
Left-handed completeness. Zbl 1364.68268
Kozen, Dexter; Silva, Alexandra
3
2012
Capsules and separation. Zbl 1362.68050
Jeannin, Jean-Baptiste; Kozen, Dexter
1
2012
Computing with capsules. Zbl 1304.68028
Jeannin, Jean-Baptiste; Kozen, Dexter
1
2012
Realization of coinductive types. Zbl 1342.68217
Kozen, Dexter
5
2011
Publication/citation: a proof-theoretic approach to mathematical knowledge management. Zbl 1314.68303
Kozen, Dexter; Ramanarayanan, Ganesh
1
2011
Applications of metric coinduction. Zbl 1187.03028
Kozen, Dexter; Ruozzi, Nicholas
6
2009
The Böhm-Jacopini theorem is false, propositionally. Zbl 1156.68354
Kozen, Dexter; Tseng, Wei-Lung Dustin
4
2008
Local variable scoping and Kleene algebra with tests. Zbl 1148.68033
Aboul-Hosn, Kamal; Kozen, Dexter
3
2008
Applications of metric coinduction. Zbl 1214.68218
Kozen, Dexter; Ruozzi, Nicholas
2
2007
Coinductive proof principles for stochastic processes. Zbl 1131.68063
Kozen, Dexter C.
1
2007
Theory of computation. Zbl 1102.68025
Kozen, Dexter C.
20
2006
KAT-ML: an interactive theorem prover for Kleene algebra with tests. Zbl 1184.68457
Aboul-Hosn, Kamal; Kozen, Dexter
8
2006
On the representation of Kleene algebras with tests. Zbl 1132.68472
Kozen, Dexter
4
2006
Relational semantics for higher-order programs. Zbl 1235.68048
Aboul-Hosn, Kamal; Kozen, Dexter
4
2006
Some results in dynamic model theory. Zbl 1053.03019
Kozen, Dexter
2
2004
Automata of guarded strings and applications. Zbl 1087.68049
Kozen, Dexter
14
2003
Substructural logic and partial correctness. Zbl 1365.68327
Kozen, Dexter; Tiuryn, Jerzy
6
2003
Dynamic logic. 2nd ed. Zbl 1003.03528
Harel, David; Kozen, Dexter; Tiuryn, Jerzy
16
2002
On the complexity of reasoning in Kleene algebra. Zbl 1096.03077
Kozen, Dexter
11
2002
On Hoare logic, Kleene algebra, and types. Zbl 1023.03025
Kozen, Dexter
7
2002
Tarskian set constraints. Zbl 1009.03019
Givan, Robert; McAllester, David; Witty, Carl; Kozen, Dexter
4
2002
On the completeness of propositional Hoare logic. Zbl 0996.03022
Kozen, Dexter; Tiuryn, Jerzy
12
2001
Myhill-Nerode relations on automatic systems and the completeness of Kleene algebra. Zbl 0976.68093
Kozen, Dexter
4
2001
Dynamic logic. Zbl 0976.68108
Harel, David; Kozen, Dexter; Tiuryn, Jerzy
244
2000
On Hoare logic and Kleene algebra with tests. Zbl 1365.68326
Kozen, Dexter
46
2000
Certification of compiler optimizations using Kleene algebra with tests. Zbl 0983.68032
Kozen, Dexter; Patron, Maria-Cristina
11
2000
A note on the complexity of propositional Hoare logic. Zbl 1365.68321
Cohen, Ernie; Kozen, Dexter
2
2000
Set constraints and logic programming. Zbl 0917.68045
Kozen, Dexter
2
1998
Kleene algebra with tests: Completeness and decidability. Zbl 0882.03064
Kozen, Dexter; Smith, Frederick
78
1997
Automata and computability. Zbl 0883.68055
Kozen, Dexter C.
65
1997
Computing the Newtonian graph. Zbl 0885.65055
Kozen, Dexter; Stefánsson, Kjartan
2
1997
Decomposition of algebraic functions. Zbl 0876.68062
Kozen, Dexter; Landau, Susan; Zippel, Richard
6
1996
On regularity-preserving functions. Zbl 1026.68573
Kozen, Dexter
3
1996
A complete Gentzen-style axiomatization for set constraints. Zbl 1045.03515
Cheng, Allan; Kozen, Dexter
3
1996
Rational spaces and set constraints. Zbl 0874.68212
Kozen, Dexter
2
1996
Decidability of systems of set constraints with negative constraints. Zbl 0834.68105
Aiken, Alexander; Kozen, Dexter; Wimmers, Ed
20
1995
Efficient recursive subtyping. Zbl 0840.03007
Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I.
13
1995
Rabin measures. Zbl 0924.68142
Klarlund, Nils; Kozen, Dexter
2
1995
Rational spaces and set constraints. Zbl 1496.68185
Kozen, Dexter
2
1995
A completeness theorem for Kleene algebras and the algebra of regular events. Zbl 0806.68082
Kozen, Dexter
191
1994
The complexity of set constraints. Zbl 0953.68557
Aiken, A.; Kozen, D.; Vardi, M.; Wimmers, F.
18
1994
Logical aspects of set constraints. Zbl 0953.03524
Kozen, D.
13
1994
Efficient inference of partial types. Zbl 0823.68011
Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I.
8
1994
Optimal bounds for the change-making problem. Zbl 0801.68079
Kozen, Dexter; Zaks, Shmuel
5
1994
Partial automata and finitely generated congruences: An extension of Nerode’s theorem. Zbl 0824.68076
Kozen, D.
8
1993
On the Myhill-Nerode theorem for trees. Zbl 0757.68083
Kozen, Dexter
17
1992
Efficient inference of partial types. Zbl 0977.68505
Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I.
2
1992
The design and analysis of algorithms. Zbl 0743.68006
Kozen, Dexter C.
9
1991
Logics of programs. Zbl 0900.68306
Kozen, Dexter; Tiuryn, Jerzy
38
1990
On Kleene algebras and closed semirings. Zbl 0732.03047
Kozen, Dexter
30
1990
Definability with bounded number of bound variables. Zbl 0711.03004
Immerman, Neil; Kozen, Dexter
34
1989
Polynomial decomposition algorithms. Zbl 0691.68030
Kozen, Dexter; Landau, Susan
27
1989
A finite model theorem for the propositional \(\mu\)-calculus. Zbl 0667.03019
Kozen, Dexter
23
1989
A fast parallel algorithm for determining all roots of a polynomial with real roots. Zbl 0663.68047
Ben-Or, Michael; Feig, Ephraim; Kozen, Dexter; Tiwari, Prasoon
9
1988
The complexity of elementary algebra and geometry. Zbl 0634.03031
Ben-Or, Michael; Kozen, Dexter; Reif, John
58
1986
A probabilistic PDL. Zbl 0575.03013
Kozen, Dexter
54
1985
A zero-one law for logic with a fixed-point operator. Zbl 0608.68077
Blass, Andreas; Gurevich, Yuri; Kozen, Dexter
20
1985
NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching. Zbl 0598.68050
Kozen, Dexter; Vazirani, Umesh V.; Vazirani, Vijay V.
18
1985
A programming language for the inductive sets, and applications. Zbl 0591.68037
Harel, David; Kozen, Dexter
10
1984
A decision procedure for the propositional \(\mu\)-calculus. Zbl 0564.03012
Kozen, Dexter; Parikh, Rohit
5
1984
Results on the propositional \(\mu\)-calculus. Zbl 0553.03007
Kozen, Dexter
362
1983
Process logic: Expressiveness, decidability, completeness. Zbl 0494.03016
Harel, David; Kozen, Dexter; Parikh, Rohit
32
1982
Results on the propositional mu-calculus. Zbl 0507.03005
Kozen, Dexter
15
1982
On induction vs. *-continuity. Zbl 0495.03013
Kozen, Dexter
4
1982
Alternation. Zbl 0473.68043
Chandra, Ashok K.; Kozen, Dexter C.; Stockmeyer, Larry J.
515
1981
Semantics of probabilistic programs. Zbl 0476.68019
Kozen, Dexter
81
1981
An elementary proof of the completeness of PDL. Zbl 0451.03006
Kozen, Dexter; Parikh, Rohit
49
1981
Positive first-order logic is NP-complete. Zbl 0481.03026
Kozen, Dexter
9
1981
On the duality of dynamic algebras and Kripke models. Zbl 0482.03008
Kozen, Dexter
4
1981
Propositional dynamic logics of programs: A survey. Zbl 0468.68038
Parikh, Rohit
4
1981
...and 6 more Documents
all top 5

Cited by 2,299 Authors

32 Kozen, Dexter C.
30 Struth, Georg
25 Ésik, Zoltán
25 Silva, Alexandra
24 Vardi, Moshe Ya’akov
23 Lange, Martin
22 Inoue, Katsushi
19 Aceto, Luca
19 Möller, Bernhard
17 Geffert, Viliam
17 Guttmann, Walter
16 Ingólfsdóttir, Anna
14 Bozzelli, Laura
13 Larsen, Kim Guldstrand
13 Takanami, Itsuo
12 Francalanza, Adrian
12 Ito, Akira
12 Kupferman, Orna
12 Mardare, Radu
12 van Ditmarsch, Hans Pieter
11 Höfner, Peter
11 Madeira, Alexandre
11 McIver, Annabelle K.
11 Platzer, André
11 Wooldridge, Michael J.
10 Chatterjee, Krishnendu
10 Holzer, Markus
10 Ibarra, Oscar H.
10 Lohrey, Markus
10 Murano, Aniello
10 Panangaden, Prakash
10 Santocanale, Luigi
10 Schröder, Lutz
9 Desharnais, Jules
9 Hromkovič, Juraj
9 Katoen, Joost-Pieter
9 Lorini, Emiliano
9 Moreira, Nelma
9 Zanasi, Fabio
8 Bruse, Florian
8 Gottlob, Georg
8 Grädel, Erich
8 Harel, David
8 Hennicker, Rolf
8 Herzig, Andreas
8 Hoare, C. A. R. Tony
8 Jackson, Marcel G.
8 Legay, Axel
8 Piterman, Nir
8 Salomaa, Kai T.
8 Schewe, Sven
8 Smets, Sonja J. L.
8 Steffen, Bernhard
8 Stokes, Timothy E.
8 van der Hoek, Wiebe
8 Velázquez-Quesada, Fernando Raymundo
7 Baltag, Alexandru
7 Duan, Zhenhua
7 Halpern, Joseph Yehuda
7 Henzinger, Thomas A.
7 Huth, Michael R. A.
7 Kappé, Tobias
7 Kolaitis, Phokion G.
7 Lenzi, Giacomo
7 Mamouras, Konstantinos
7 Morgan, Carroll C.
7 Narendran, Paliath
7 Prisacariu, Cristian
7 Reif, John H.
7 Roy, Marie-Françoise
6 Achilleos, Antonis
6 Barbosa, Luís Soares
6 Benevides, Mario R. F.
6 Birget, Jean-Camille
6 Bradfield, Julian Charles
6 Brunet, Paul
6 De Giacomo, Giuseppe
6 Fahrenberg, Uli
6 Fokkink, Willem Jan
6 Hasuo, Ichiro
6 Jacobs, Bart
6 Jiang, Tao
6 Kaminski, Benjamin Lucien
6 Kucera, Antonin
6 Kutrib, Martin
6 Kuznetsov, Stepan L’vovich
6 Leivant, Daniel M.
6 Martins, Manuel António
6 Mateescu, Radu
6 Meyer, John-Jules Charles
6 Mikulás, Szabolcs
6 Milius, Stefan
6 Palsberg, Jens
6 Pinchinat, Sophie
6 Pous, Damien
6 Scarcello, Francesco
6 Tian, Cong
6 Tison, Sophie
6 van Benthem, Johan F. A. K.
6 Venema, Yde
...and 2,199 more Authors
all top 5

Cited in 139 Serials

308 Theoretical Computer Science
126 Information and Computation
79 Journal of Computer and System Sciences
59 Journal of Logical and Algebraic Methods in Programming
51 Information Processing Letters
49 Logical Methods in Computer Science
40 Annals of Pure and Applied Logic
34 The Journal of Logic and Algebraic Programming
28 Journal of Symbolic Computation
27 MSCS. Mathematical Structures in Computer Science
26 Formal Aspects of Computing
25 International Journal of Foundations of Computer Science
23 Acta Informatica
23 Studia Logica
21 Formal Methods in System Design
20 Artificial Intelligence
19 The Journal of Symbolic Logic
18 Journal of Automated Reasoning
17 Annals of Mathematics and Artificial Intelligence
17 RAIRO. Theoretical Informatics and Applications
17 Journal of Applied Logic
16 Journal of Philosophical Logic
16 Journal of Logic, Language and Information
15 Synthese
15 Journal of Applied Non-Classical Logics
15 ACM Transactions on Computational Logic
14 Theory of Computing Systems
12 Information Sciences
12 Mathematical Systems Theory
9 Soft Computing
8 Science of Computer Programming
8 International Journal of Algebra and Computation
8 RAIRO. Informatique Théorique et Applications
7 Journal of Complexity
6 Discrete Applied Mathematics
6 Fuzzy Sets and Systems
6 The Bulletin of Symbolic Logic
6 Fundamenta Informaticae
5 Computers & Mathematics with Applications
5 Algebra Universalis
5 Journal of Functional Programming
5 Theory and Practice of Logic Programming
4 Journal of Pure and Applied Algebra
4 Journal of Soviet Mathematics
4 Programming and Computer Software
4 Combinatorica
4 Algorithmica
4 International Journal of Approximate Reasoning
4 International Journal of Computer Mathematics
4 Archive for Mathematical Logic
4 Applicable Algebra in Engineering, Communication and Computing
4 Computational Complexity
3 Discrete Mathematics
3 Applied Mathematics and Computation
3 BIT
3 Notre Dame Journal of Formal Logic
3 SIAM Journal on Computing
3 The Review of Symbolic Logic
3 Journal of Membrane Computing
2 International Journal of General Systems
2 International Journal of Theoretical Physics
2 Mathematical Biosciences
2 The Mathematical Intelligencer
2 Journal of Combinatorial Theory. Series B
2 Mathematics and Computers in Simulation
2 Cybernetics
2 European Journal of Combinatorics
2 Discrete Event Dynamic Systems
2 Linear Algebra and its Applications
2 Distributed Computing
2 Mathematical Programming. Series A. Series B
2 Journal of Mathematical Sciences (New York)
2 Parallel Algorithms and Applications
2 Journal of the ACM
2 Lobachevskii Journal of Mathematics
2 Logica Universalis
2 Frontiers of Computer Science
2 Axioms
2 Computer Science Review
1 American Mathematical Monthly
1 Communications in Algebra
1 International Journal of Control
1 Journal of the Franklin Institute
1 Linear and Multilinear Algebra
1 Nonlinearity
1 Mathematics of Computation
1 Algebra and Logic
1 Bulletin de la Société Mathématique de France
1 Commentationes Mathematicae Universitatis Carolinae
1 Czechoslovak Mathematical Journal
1 Journal of Computational and Applied Mathematics
1 Journal of Economic Theory
1 Linguistics and Philosophy
1 Mathematica Slovaca
1 Monatshefte für Mathematik
1 Naval Research Logistics
1 Proceedings of the American Mathematical Society
1 Semigroup Forum
1 Advances in Applied Mathematics
1 Operations Research Letters
...and 39 more Serials
all top 5

Cited in 40 Fields

1,649 Computer science (68-XX)
860 Mathematical logic and foundations (03-XX)
118 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
56 Combinatorics (05-XX)
49 Order, lattices, ordered algebraic structures (06-XX)
47 Category theory; homological algebra (18-XX)
37 General algebraic systems (08-XX)
31 Field theory and polynomials (12-XX)
24 Associative rings and algebras (16-XX)
24 Operations research, mathematical programming (90-XX)
21 Probability theory and stochastic processes (60-XX)
20 Numerical analysis (65-XX)
20 Quantum theory (81-XX)
18 Algebraic geometry (14-XX)
18 Systems theory; control (93-XX)
17 Information and communication theory, circuits (94-XX)
15 Number theory (11-XX)
14 Group theory and generalizations (20-XX)
12 Commutative algebra (13-XX)
11 Biology and other natural sciences (92-XX)
10 General topology (54-XX)
8 Real functions (26-XX)
8 Convex and discrete geometry (52-XX)
7 Linear and multilinear algebra; matrix theory (15-XX)
6 History and biography (01-XX)
6 Measure and integration (28-XX)
5 Functions of a complex variable (30-XX)
4 General and overarching topics; collections (00-XX)
4 Dynamical systems and ergodic theory (37-XX)
3 Operator theory (47-XX)
3 Differential geometry (53-XX)
2 Geometry (51-XX)
2 Statistics (62-XX)
1 Nonassociative rings and algebras (17-XX)
1 Ordinary differential equations (34-XX)
1 Manifolds and cell complexes (57-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Relativity and gravitational theory (83-XX)
1 Mathematics education (97-XX)

Citations by Year