×

zbMATH — the first resource for mathematics

Kaminsky, Michael

Compute Distance To:
Author ID: kaminsky.michael Recent zbMATH articles by "Kaminsky, Michael"
Published as: Kaminski, M.; Kaminski, Michael; Kaminsky, Michael; Kamiński, M.
Documents Indexed: 92 Publications since 1981, including 3 Books

Publications by Year

Citations contained in zbMATH

62 Publications have been cited 233 times in 176 Documents Cited by Year
Finite-memory automata. Zbl 0938.68711
Kaminski, Michael; Francez, Nissim
51
1994
A classification of \(\omega\)-regular languages. Zbl 0565.68076
Kaminski, Michael
11
1985
Strong law of large numbers for 2-exchangeable random variables. Zbl 0855.60036
Etemadi, N.; Kaminski, M.
10
1996
\(LR(0)\) conjunctive grammars and deterministic synchronized alternating pushdown automata. Zbl 1332.68102
Aizikowitz, Tamar; Kaminski, Michael
8
2011
Commutation-augmented pregroup grammars and mildly context-sensitive languages. Zbl 1128.68045
Francez, Nissim; Kaminski, Michael
7
2007
The expressive power of second-order propositional modal logic. Zbl 0895.03005
Kaminski, Michael; Tiomkin, Michael
7
1996
A comparative study of open default theories. Zbl 1013.68555
Kaminski, Michael
7
1995
Addition requirements for matrix and transposed matrix products. Zbl 0653.65032
Kaminski, Michael; Kirkpatrick, David G.; Bshouty, Nader H.
7
1988
Finite-memory automata with non-deterministic reassignment. Zbl 1207.68191
Kaminski, Michael; Zeitlin, Daniel
6
2010
Extensions for open default theories via the domain closure assumption. Zbl 0901.68188
Kaminski, Michael; Makowsky, Johann A.; Tiomkin, Michael
6
1998
Context-free languages over infinite alphabets. Zbl 0896.68088
Cheng, Edward Y. C.; Kaminski, Michael
6
1998
Multiplicative complexity of polynomial multiplication over finite fields. Zbl 0677.12007
Kaminski, Michael; Bshouty, Nader H.
6
1989
Tree automata over infinite alphabets. Zbl 1133.68364
Kaminski, Michael; Tan, Tony
5
2008
Nonmonotonic default modal logics. Zbl 0799.68174
Tiomkin, Michael; Kaminski, Michael
5
1991
Relational semantics of the Lambek calculus extended with classical propositional logic. Zbl 1322.03018
Kaminski, Michael; Francez, Nissim
4
2014
Regular expressions for languages over infinite alphabets. Zbl 1096.68083
Kaminski, Michael; Tan, Tony
4
2006
Probabilistic effective characteristics of cables for superconducting coils. Zbl 0979.74016
Kamiński, M.; Schrefler, B. A.
4
2000
A note on the stable model semantics for logic programs. Zbl 0903.68175
Kaminski, Michael
4
1997
Embedding a default system into nonmonotonic logics. Zbl 0790.03025
Kaminski, Michael
4
1991
LR(0) conjunctive grammars and deterministic synchronized alternating pushdown automata. Zbl 1348.68079
Aizikowitz, Tamar; Kaminski, Michael
3
2016
Conjunctive grammars and alternating pushdown automata. Zbl 1358.68155
Aizikowitz, Tamar; Kaminski, Michael
3
2013
Linear conjunctive grammars and one-turn synchronized alternating pushdown automata. Zbl 1325.68116
Aizikowitz, Tamar; Kaminski, Michael
3
2011
Commutation-augmented pregroup grammars and push-down automata with cancellation. Zbl 1160.68019
Francez, Nissim; Kaminski, Michael
3
2008
Conjunctive grammars and alternating pushdown automata. (Extended abstract). Zbl 1155.68413
Aizikowitz, Tamar; Kaminski, Michael
3
2008
Wealth condensation and “corruption” in a toy model. Zbl 1372.91066
Johnston, D.; Burda, Z.; Jurkiewicz, J.; Kamiński, M.; Nowak, M. A.; Papp, G.; Zahed, I.
3
2005
An algebraic characterization of deterministic regular languages over infinite alphabets. Zbl 1059.68059
Francez, Nissim; Kaminski, Michael
3
2003
Material sensitivity analysis in homogenization of linear elastic composites. Zbl 1040.74040
Kamiński, M.
3
2001
Nonstandard connectives of intuitionistic propositional logic. Zbl 0658.03005
Kaminski, Michael
3
1988
An algorithm for polynomial multiplication that does not depend on the ring constants. Zbl 0648.13001
Kaminski, Michael
3
1988
A note on two-pebble automata over infinite alphabets. Zbl 1200.03026
Kaminski, Michael; Tan, Tony
2
2010
Indistinguishability by default. Zbl 1219.68148
Cohen, Ariel; Kaminski, Michael; Makowsky, Johann A.
2
2005
The expressive power of temporal logic of actions. Zbl 1011.03009
Estrin, Arkady; Kaminski, Michael
2
2002
First-order non-monotonic modal logics. Zbl 0953.03021
Kaminski, Michael; Rey, Guy
2
2000
Open default theories over closed domains. Zbl 0937.03037
Kaminski, Michael
2
1999
A classification of algorithms for multiplying polynomials of small degree over finite fields. Zbl 0769.11049
Averbuch, Amir; Bshouty, Nader H.; Kaminski, Michael
2
1992
Solution of an integer programming problem related to convergence of rows of Padé approximants. Zbl 0738.65003
Kaminski, Michael; Sidi, Avram
2
1991
cyclotomic polynomials and units in cyclotomic number fields. Zbl 0634.12005
Kaminski, Michael
2
1988
The Lambek calculus extended with intuitionistic propositional logic. Zbl 1417.03165
Kaminski, Michael; Francez, Nissim
1
2016
Extending free pregroups with lower bounds. Zbl 1228.03013
Aizikowitz, Tamar; Francez, Nissim; Genkin, Daniel; Kaminski, Michael
1
2010
The power of non-deterministic reassignment in infinite-alphabet pushdown automata. Zbl 1241.68078
Dubov, Yulia; Kaminski, Michael
1
2009
Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning. Zbl 1188.68275
Cohen, Ariel; Kaminski, Michael; Makowsky, Johann A.
1
2008
First-order ground non-monotonic modal logic. Zbl 1148.03016
Grimberg, Benjamin; Kaminski, Michael
1
2008
The modal logic of cluster-decomposable Kripke interpretations. Zbl 1145.03010
Tiomkin, Michael; Kaminski, Michael
1
2007
Central limit theorem for certain classes of dependent random variables. Zbl 1122.60026
Kaminski, M.
1
2007
Polynomial multiplication over finite fields: from quadratic to straight-line complexity. Zbl 1130.68062
Bshouty, Nader H.; Kaminski, Michael
1
2006
Invariance under stuttering in a temporal logic of actions. Zbl 1171.68549
Kaminski, Michael
1
2006
Stochastic perturbation approach to the wavelet-based analysis. Zbl 1164.65304
Kamiński, M.
1
2004
Regular expressions for languages over infinite alphabets. Zbl 1091.68545
Kaminski, Michael; Tan, Tony
1
2004
Revisiting quantification in autoepistemic logic. Zbl 1365.68406
Kaminski, Michael; Rey, Guy
1
2002
Stochastic problem of viscous incompressible fluid flow with heat transfer. Zbl 1009.76075
Kamiński, M.
1
2001
Stochastic finite element analysis of transient heat transfer in composite materials with interface defects. Zbl 0991.74070
Kamiński, M.; Hien, T. D.
1
1999
Similarity preservation in default logic. Zbl 0928.03026
Ben-Eliyahu-Zohary, Rachel; Francez, Nissim; Kaminski, Michael
1
1999
Minimum dominating sets of intervals on lines. Zbl 0896.68105
Cheng, S.-W.; Kaminski, M.; Zaks, S.
1
1998
The elimination of de re formulas. Zbl 0885.03018
Kaminski, Michael
1
1997
Semantical analysis of logic of actions. Zbl 0815.03012
Tiomkin, Michael; Kaminski, Michael
1
1995
A branching time logic with past operators. Zbl 0821.68055
Kaminski, Michael
1
1994
Interpretations of open default theories in non-monotonic logics. Zbl 0866.03016
Kaminski, Michael
1
1993
Finite automata on directed graphs. Zbl 0749.68054
Kaminski, Michael; Pinter, Shlomit S.
1
1992
Finite and circular path models for branching time logics. Zbl 0722.03026
Kaminski, Michael; Tiomkin, Michael
1
1990
Multiplication of polynomials over finite fields. Zbl 0701.11070
Bshouty, Nader H.; Kaminski, Michael
1
1990
A note on probabilistically verifying integer and polynomial products. Zbl 0699.68068
Kaminski, Michael
1
1989
A lower bound for polynomial multiplication. Zbl 0607.94010
Kaminski, Michael
1
1985
LR(0) conjunctive grammars and deterministic synchronized alternating pushdown automata. Zbl 1348.68079
Aizikowitz, Tamar; Kaminski, Michael
3
2016
The Lambek calculus extended with intuitionistic propositional logic. Zbl 1417.03165
Kaminski, Michael; Francez, Nissim
1
2016
Relational semantics of the Lambek calculus extended with classical propositional logic. Zbl 1322.03018
Kaminski, Michael; Francez, Nissim
4
2014
Conjunctive grammars and alternating pushdown automata. Zbl 1358.68155
Aizikowitz, Tamar; Kaminski, Michael
3
2013
\(LR(0)\) conjunctive grammars and deterministic synchronized alternating pushdown automata. Zbl 1332.68102
Aizikowitz, Tamar; Kaminski, Michael
8
2011
Linear conjunctive grammars and one-turn synchronized alternating pushdown automata. Zbl 1325.68116
Aizikowitz, Tamar; Kaminski, Michael
3
2011
Finite-memory automata with non-deterministic reassignment. Zbl 1207.68191
Kaminski, Michael; Zeitlin, Daniel
6
2010
A note on two-pebble automata over infinite alphabets. Zbl 1200.03026
Kaminski, Michael; Tan, Tony
2
2010
Extending free pregroups with lower bounds. Zbl 1228.03013
Aizikowitz, Tamar; Francez, Nissim; Genkin, Daniel; Kaminski, Michael
1
2010
The power of non-deterministic reassignment in infinite-alphabet pushdown automata. Zbl 1241.68078
Dubov, Yulia; Kaminski, Michael
1
2009
Tree automata over infinite alphabets. Zbl 1133.68364
Kaminski, Michael; Tan, Tony
5
2008
Commutation-augmented pregroup grammars and push-down automata with cancellation. Zbl 1160.68019
Francez, Nissim; Kaminski, Michael
3
2008
Conjunctive grammars and alternating pushdown automata. (Extended abstract). Zbl 1155.68413
Aizikowitz, Tamar; Kaminski, Michael
3
2008
Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning. Zbl 1188.68275
Cohen, Ariel; Kaminski, Michael; Makowsky, Johann A.
1
2008
First-order ground non-monotonic modal logic. Zbl 1148.03016
Grimberg, Benjamin; Kaminski, Michael
1
2008
Commutation-augmented pregroup grammars and mildly context-sensitive languages. Zbl 1128.68045
Francez, Nissim; Kaminski, Michael
7
2007
The modal logic of cluster-decomposable Kripke interpretations. Zbl 1145.03010
Tiomkin, Michael; Kaminski, Michael
1
2007
Central limit theorem for certain classes of dependent random variables. Zbl 1122.60026
Kaminski, M.
1
2007
Regular expressions for languages over infinite alphabets. Zbl 1096.68083
Kaminski, Michael; Tan, Tony
4
2006
Polynomial multiplication over finite fields: from quadratic to straight-line complexity. Zbl 1130.68062
Bshouty, Nader H.; Kaminski, Michael
1
2006
Invariance under stuttering in a temporal logic of actions. Zbl 1171.68549
Kaminski, Michael
1
2006
Wealth condensation and “corruption” in a toy model. Zbl 1372.91066
Johnston, D.; Burda, Z.; Jurkiewicz, J.; Kamiński, M.; Nowak, M. A.; Papp, G.; Zahed, I.
3
2005
Indistinguishability by default. Zbl 1219.68148
Cohen, Ariel; Kaminski, Michael; Makowsky, Johann A.
2
2005
Stochastic perturbation approach to the wavelet-based analysis. Zbl 1164.65304
Kamiński, M.
1
2004
Regular expressions for languages over infinite alphabets. Zbl 1091.68545
Kaminski, Michael; Tan, Tony
1
2004
An algebraic characterization of deterministic regular languages over infinite alphabets. Zbl 1059.68059
Francez, Nissim; Kaminski, Michael
3
2003
The expressive power of temporal logic of actions. Zbl 1011.03009
Estrin, Arkady; Kaminski, Michael
2
2002
Revisiting quantification in autoepistemic logic. Zbl 1365.68406
Kaminski, Michael; Rey, Guy
1
2002
Material sensitivity analysis in homogenization of linear elastic composites. Zbl 1040.74040
Kamiński, M.
3
2001
Stochastic problem of viscous incompressible fluid flow with heat transfer. Zbl 1009.76075
Kamiński, M.
1
2001
Probabilistic effective characteristics of cables for superconducting coils. Zbl 0979.74016
Kamiński, M.; Schrefler, B. A.
4
2000
First-order non-monotonic modal logics. Zbl 0953.03021
Kaminski, Michael; Rey, Guy
2
2000
Open default theories over closed domains. Zbl 0937.03037
Kaminski, Michael
2
1999
Stochastic finite element analysis of transient heat transfer in composite materials with interface defects. Zbl 0991.74070
Kamiński, M.; Hien, T. D.
1
1999
Similarity preservation in default logic. Zbl 0928.03026
Ben-Eliyahu-Zohary, Rachel; Francez, Nissim; Kaminski, Michael
1
1999
Extensions for open default theories via the domain closure assumption. Zbl 0901.68188
Kaminski, Michael; Makowsky, Johann A.; Tiomkin, Michael
6
1998
Context-free languages over infinite alphabets. Zbl 0896.68088
Cheng, Edward Y. C.; Kaminski, Michael
6
1998
Minimum dominating sets of intervals on lines. Zbl 0896.68105
Cheng, S.-W.; Kaminski, M.; Zaks, S.
1
1998
A note on the stable model semantics for logic programs. Zbl 0903.68175
Kaminski, Michael
4
1997
The elimination of de re formulas. Zbl 0885.03018
Kaminski, Michael
1
1997
Strong law of large numbers for 2-exchangeable random variables. Zbl 0855.60036
Etemadi, N.; Kaminski, M.
10
1996
The expressive power of second-order propositional modal logic. Zbl 0895.03005
Kaminski, Michael; Tiomkin, Michael
7
1996
A comparative study of open default theories. Zbl 1013.68555
Kaminski, Michael
7
1995
Semantical analysis of logic of actions. Zbl 0815.03012
Tiomkin, Michael; Kaminski, Michael
1
1995
Finite-memory automata. Zbl 0938.68711
Kaminski, Michael; Francez, Nissim
51
1994
A branching time logic with past operators. Zbl 0821.68055
Kaminski, Michael
1
1994
Interpretations of open default theories in non-monotonic logics. Zbl 0866.03016
Kaminski, Michael
1
1993
A classification of algorithms for multiplying polynomials of small degree over finite fields. Zbl 0769.11049
Averbuch, Amir; Bshouty, Nader H.; Kaminski, Michael
2
1992
Finite automata on directed graphs. Zbl 0749.68054
Kaminski, Michael; Pinter, Shlomit S.
1
1992
Nonmonotonic default modal logics. Zbl 0799.68174
Tiomkin, Michael; Kaminski, Michael
5
1991
Embedding a default system into nonmonotonic logics. Zbl 0790.03025
Kaminski, Michael
4
1991
Solution of an integer programming problem related to convergence of rows of Padé approximants. Zbl 0738.65003
Kaminski, Michael; Sidi, Avram
2
1991
Finite and circular path models for branching time logics. Zbl 0722.03026
Kaminski, Michael; Tiomkin, Michael
1
1990
Multiplication of polynomials over finite fields. Zbl 0701.11070
Bshouty, Nader H.; Kaminski, Michael
1
1990
Multiplicative complexity of polynomial multiplication over finite fields. Zbl 0677.12007
Kaminski, Michael; Bshouty, Nader H.
6
1989
A note on probabilistically verifying integer and polynomial products. Zbl 0699.68068
Kaminski, Michael
1
1989
Addition requirements for matrix and transposed matrix products. Zbl 0653.65032
Kaminski, Michael; Kirkpatrick, David G.; Bshouty, Nader H.
7
1988
Nonstandard connectives of intuitionistic propositional logic. Zbl 0658.03005
Kaminski, Michael
3
1988
An algorithm for polynomial multiplication that does not depend on the ring constants. Zbl 0648.13001
Kaminski, Michael
3
1988
cyclotomic polynomials and units in cyclotomic number fields. Zbl 0634.12005
Kaminski, Michael
2
1988
A classification of \(\omega\)-regular languages. Zbl 0565.68076
Kaminski, Michael
11
1985
A lower bound for polynomial multiplication. Zbl 0607.94010
Kaminski, Michael
1
1985
all top 5

Cited by 243 Authors

22 Kaminsky, Michael
9 Okhotin, Alexander
6 Francez, Nissim
5 Aizikowitz, Tamar
5 Kamiński, Marcin Marek
5 Tan, Tony
4 Barash, Mikhail
4 Buszkowski, Wojciech
4 Etemadi, Nasrollah
4 Finkel, Olivier
4 Vrgoč, Domagoj
3 Alur, Rajeev
3 Bshouty, Nader H.
3 Carton, Olivier
3 Genkin, Daniel
3 Kaltofen, Erich L.
3 Kremer, Philip
3 Manuel, Amaldev
3 Murawski, Andrzej S.
3 Rosati, Riccardo
3 Tzevelekos, Nikos
2 Babari, Parvaneh
2 Cassel, Sofia
2 Cohen, Ariel
2 Degano, Pierpaolo
2 Demri, Stéphane P.
2 Donini, Francesco M.
2 Droste, Manfred
2 Ferrari, Gian Luigi
2 Fisman, Dana
2 Gelfond, Michael
2 Howar, Falk
2 Jonsson, Bengt
2 Kozen, Dexter C.
2 Lin, Zhe
2 Makowsky, Johann-Andreas
2 Mamouras, Konstantinos
2 Nardi, Daniele
2 Perevoshchikov, Vitaly
2 Perrin, Dominique
2 Raghothaman, Mukund
2 Ramanujam, Rohit Sunkam
2 Rockmore, Daniel N.
2 Schwentick, Thomas
2 Shoup, Victor
2 Sidi, Avram
2 Steffen, Bernhard
2 Thomas, Wolfgang
2 Truszczyński, Mirosław
2 Veanes, Margus
1 Abreu Júnior, João Carlos
1 Adhikari, Sondipon
1 Arnold, André
1 Bach, Eric
1 Balduccini, Marcello
1 Bartoletti, Massimo
1 Belardinelli, Francesco
1 Belkhir, Walid
1 Berti, Patrizia
1 Bi, Jinying
1 Bielecki, Michał
1 Björklund, Henrik
1 Bjørner, Nikolaj S.
1 Blum, Manuel
1 Bochman, Alexander
1 Bojańczyk, Mikołaj
1 Bollig, Benedikt
1 Bouajjani, Ahmed
1 Bouyer, Patricia
1 Boyar, Joan F.
1 Bridy, Andrew
1 Brütsch, Benedikt
1 Cadilhac, Michaël
1 Caicedo, Xavier
1 Cantor, David Geoffrey
1 Cenk, Murat
1 Černý, Pavol
1 Chakraborty, Souvik
1 Chatterjee, Tanmoy
1 Checcoli, Sara
1 Chen, Jinwen
1 Chevalier, Yannick
1 Chiba, Ryoichi
1 Chleboun, Paul
1 Chowdhury, Rajib
1 Cignoli, Roberto
1 Cohen-Sygal, Yael
1 Csuhaj-Varjú, Erzsébet
1 Czyba, Christopher
1 D’Antoni, Loris
1 Decker, Normann
1 Deters, Morgan
1 Di Prisco, Carlos Augusto
1 Enea, Constantin
1 Fan, Haining
1 Fiadeiro, José Luiz
1 Figueira, Diego
1 Find, Magnus Gausdal
1 Finkel, Alain
1 Foret, Annie
...and 143 more Authors
all top 5

Cited in 60 Serials

25 Theoretical Computer Science
10 Journal of Computer and System Sciences
8 Artificial Intelligence
8 International Journal of Foundations of Computer Science
6 Studia Logica
6 Information and Computation
5 Annals of Mathematics and Artificial Intelligence
5 Theory of Computing Systems
4 Acta Informatica
4 Information Processing Letters
4 Statistics & Probability Letters
3 International Journal for Numerical Methods in Engineering
3 Journal of Philosophical Logic
3 Journal of Symbolic Computation
3 Linear Algebra and its Applications
2 The Journal of Symbolic Logic
2 Notre Dame Journal of Formal Logic
2 MSCS. Mathematical Structures in Computer Science
2 Formal Methods in System Design
2 The Bulletin of Symbolic Logic
2 The Review of Symbolic Logic
1 Communications in Algebra
1 Computer Methods in Applied Mechanics and Engineering
1 International Journal of Heat and Mass Transfer
1 Israel Journal of Mathematics
1 Journal of Statistical Physics
1 Physica A
1 Mathematics of Computation
1 Information Sciences
1 Journal of Computational and Applied Mathematics
1 Journal of Statistical Planning and Inference
1 Meccanica
1 Numerische Mathematik
1 Science of Computer Programming
1 Acta Applicandae Mathematicae
1 Annals of Pure and Applied Logic
1 Physica D
1 Journal of Automated Reasoning
1 International Journal of Algebra and Computation
1 Applied Mathematical Modelling
1 Communications in Statistics. Theory and Methods
1 Computational Complexity
1 Experimental Mathematics
1 Journal of Logic, Language and Information
1 Journal of Applied Non-Classical Logics
1 Finite Fields and their Applications
1 Engineering Analysis with Boundary Elements
1 Mathematical Problems in Engineering
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Theory and Practice of Logic Programming
1 ACM Transactions on Computational Logic
1 Computational Linguistics
1 International Journal of Computational Methods
1 Stochastics
1 International Journal of Number Theory
1 Logical Methods in Computer Science
1 Algorithms
1 Computer Science Review
1 ISRN Probability and Statistics
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year