×

zbMATH — the first resource for mathematics

Kozen, Dexter C.

Compute Distance To:
Author ID: kozen.dexter-c Recent zbMATH articles by "Kozen, Dexter C."
Published as: Kozen, D.; Kozen, Dexter; Kozen, Dexter C.
Documents Indexed: 127 Publications since 1978, including 12 Books
Biographic References: 15 Publications

Publications by Year

Citations contained in zbMATH Open

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

Cited by 1,912 Authors

28 Kozen, Dexter C.
23 Struth, Georg
22 Inoue, Katsushi
21 Ésik, Zoltán
20 Vardi, Moshe Y.
16 Silva, Alexandra
15 Lange, Martin
15 Möller, Bernhard
14 Geffert, Viliam
13 Takanami, Itsuo
12 Aceto, Luca
12 Guttmann, Walter
12 Ito, Akira
11 Bozzelli, Laura
11 Larsen, Kim Guldstrand
11 McIver, Annabelle K.
10 Höfner, Peter
10 Ingólfsdóttir, Anna
10 Lohrey, Markus
10 Mardare, Radu
10 Panangaden, Prakash
10 Wooldridge, Michael J.
9 Halpern, Joseph Yehuda
9 Hromkovič, Juraj
9 Ibarra, Oscar H.
9 Santocanale, Luigi
9 van Ditmarsch, Hans Pieter
8 Chatterjee, Krishnendu
8 Jackson, Marcel G.
8 Kupferman, Orna
8 Smets, Sonja J. L.
7 Baltag, Alexandru
7 Duan, Zhenhua
7 Gottlob, Georg
7 Grädel, Erich
7 Harel, David
7 Henzinger, Thomas A.
7 Hoare, C. A. R. Tony
7 Kolaitis, Phokion G.
7 Lenzi, Giacomo
7 Lorini, Emiliano
7 Narendran, Paliath
7 Palsberg, Jens
7 Piterman, Nir
7 Reif, John H.
7 Roy, Marie-Françoise
7 Salomaa, Kai T.
7 Stokes, Timothy E.
7 van Benthem, Johan F. A. K.
6 Benevides, Mario R. F.
6 Birget, Jean-Camille
6 D’Agostino, Giovanna
6 De Giacomo, Giuseppe
6 Emerson, Ernest Allen
6 Fokkink, Willem Jan
6 Francalanza, Adrian
6 Grumberg, Orna
6 Hähnle, Reiner
6 Herzig, Andreas
6 Jacobs, Bart
6 Mamouras, Konstantinos
6 Meyer, John-Jules Charles
6 Mikulás, Szabolcs
6 Moreira, Nelma
6 Murano, Aniello
6 Pan, Victor Yakovlevich
6 Pinchinat, Sophie
6 Prisacariu, Cristian
6 Scarcello, Francesco
6 Schewe, Sven
6 Schröder, Lutz
6 Tian, Cong
6 van der Hoek, Wiebe
6 Velázquez-Quesada, Fernando Raymundo
6 von zur Gathen, Joachim
6 Wang, Yue
6 Yu, Sheng
5 Andréka, Hajnal
5 Arnold, André
5 Bradfield, Julian Charles
5 Cîrstea, Corina
5 Desharnais, Josée
5 Desharnais, Jules
5 Furusawa, Hitoshi
5 Grigor’ev, Dmitriĭ Yur’evich
5 Groote, Jan Friso
5 Gurevich, Yuri
5 Gurov, Dilian
5 Gutierrez, Julian
5 Hirsch, Robin
5 Holzer, Markus
5 Huth, Michael R. A.
5 Jiang, Tao
5 Kaminsky, Michael
5 Katoen, Joost-Pieter
5 Kucera, Antonin
5 Madeira, Alexandre
5 Morgan, Carroll
5 Németi, István
5 Okazaki, Tokio
...and 1,812 more Authors
all top 5

Cited in 123 Serials

309 Theoretical Computer Science
115 Information and Computation
87 Journal of Computer and System Sciences
57 Information Processing Letters
45 Journal of Logical and Algebraic Methods in Programming
42 Annals of Pure and Applied Logic
34 The Journal of Logic and Algebraic Programming
33 Journal of Symbolic Computation
24 Logical Methods in Computer Science
23 International Journal of Foundations of Computer Science
22 Artificial Intelligence
22 Formal Aspects of Computing
22 MSCS. Mathematical Structures in Computer Science
19 Acta Informatica
19 The Journal of Symbolic Logic
19 Formal Methods in System Design
18 Studia Logica
18 Journal of Applied Logic
17 RAIRO. Theoretical Informatics and Applications
15 Journal of Philosophical Logic
15 Journal of Automated Reasoning
15 Annals of Mathematics and Artificial Intelligence
14 Synthese
13 Journal of Applied Non-Classical Logics
13 ACM Transactions on Computational Logic
12 Information Sciences
12 Mathematical Systems Theory
12 Theory of Computing Systems
11 Journal of Logic, Language and Information
8 Computers & Mathematics with Applications
8 Science of Computer Programming
8 Journal of Complexity
8 RAIRO. Informatique Théorique et Applications
7 Discrete Applied Mathematics
7 Fuzzy Sets and Systems
7 International Journal of Algebra and Computation
6 Soft Computing
5 Algebra Universalis
5 The Bulletin of Symbolic Logic
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 Computer Mathematics
4 Archive for Mathematical Logic
4 Applicable Algebra in Engineering, Communication and Computing
4 Computational Complexity
3 Discrete Mathematics
3 BIT
3 Notre Dame Journal of Formal Logic
3 International Journal of Approximate Reasoning
3 Journal of Functional Programming
3 Theory and Practice of Logic Programming
2 International Journal of General Systems
2 International Journal of Theoretical Physics
2 Mathematical Biosciences
2 The Mathematical Intelligencer
2 Applied Mathematics and Computation
2 Journal of Combinatorial Theory. Series B
2 Mathematics and Computers in Simulation
2 SIAM Journal on Computing
2 Cybernetics
2 European Journal of Combinatorics
2 Computer Aided Geometric Design
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 The Review of Symbolic Logic
2 Frontiers of Computer Science
2 Axioms
1 American Mathematical Monthly
1 Communications in Algebra
1 Journal of the Franklin Institute
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 Journal of Combinatorial Theory. Series A
1 Journal of Computational and Applied Mathematics
1 Linguistics and Philosophy
1 Mathematica Slovaca
1 Naval Research Logistics
1 Proceedings of the American Mathematical Society
1 Semigroup Forum
1 Advances in Applied Mathematics
1 Operations Research Letters
1 Acta Mathematica Hungarica
1 Japan Journal of Applied Mathematics
1 Journal of Computer Science and Technology
1 International Journal of Intelligent Systems
1 Applied Mathematics Letters
1 Mathematical and Computer Modelling
...and 23 more Serials
all top 5

Cited in 39 Fields

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

Citations by Year