Yishai A. Feldman - Author Profile

Edit Profile

Feldman, Yishai A.

Author ID:	feldman.yishai-a
Published as:	Feldman, Yishai A.; Feldman, Yishai

Documents Indexed:	10 Publications since 1984, including 5 Books
	1 Contribution as Editor
Co-Authors:	6 Co-Authors with 10 Joint Publications
	148 Co-Co-Authors

all top 5

1	Artificial Intelligence
1	Information and Control
1	Journal of Computer and System Sciences
1	Journal of Automated Reasoning

11	Computer science (68-XX)
2	Mathematical logic and foundations (03-XX)
1	General and overarching topics; collections (00-XX)
1	History and biography (01-XX)

5 Publications have been cited 37 times in 30 Documents	Cited by ▼	Year ▼
A decidable propositional dynamic logic with explicit probabilities. Zbl 0592.68031 Feldman, Yishai A.	13	1984
A probabilistic dynamic logic. Zbl 0537.68036 Feldman, Yishai A.; Harel, David	12	1984
Algorithmics. The spirit of computing. Reprint of the Addison-Wesley 3rd ed. (2004). Zbl 1243.68007 Harel, David; Feldman, Yishai	9	2012
Portability by automatic translation: A large-scale case study. Zbl 0910.68027 Feldman, Yishai A.; Friedman, Doron A.	2	1999
Algorithmics. The spirit of computing. 3rd ed. Zbl 1116.68112 Harel, David; Feldman, Yishai A.	1	2004
Algorithmics. The spirit of computing. Reprint of the Addison-Wesley 3rd ed. (2004). Zbl 1243.68007 Harel, David; Feldman, Yishai	9	2012
Algorithmics. The spirit of computing. 3rd ed. Zbl 1116.68112 Harel, David; Feldman, Yishai A.	1	2004
Portability by automatic translation: A large-scale case study. Zbl 0910.68027 Feldman, Yishai A.; Friedman, Doron A.	2	1999
A decidable propositional dynamic logic with explicit probabilities. Zbl 0592.68031 Feldman, Yishai A.	13	1984
A probabilistic dynamic logic. Zbl 0537.68036 Feldman, Yishai A.; Harel, David	12	1984

all top 5

4	Chatterjee, Krishnendu
4	Raynal, Michel
4	Žikelić, {D}or{d}e
3	Doder, Dragan
3	Novotný, Petr
2	Goharshady, Ehsan Kafshdar
2	Halpern, Joseph Yehuda
2	Ognjanović, Zoran
2	Perović, Aleksandar
2	Zárevúcky, Jiří
1	Abdurahiman, Vakulathil
1	Andrade, V. M. B.
1	Barthe, Gilles
1	Benevides, Mario R. F.
1	Boddy, Mark S.
1	Bozzelli, Laura
1	Carvalho, Solon V.
1	Chadha, Rohit
1	Copeland, B. Jack
1	Cruz-Filipe, Luís
1	Czech, Zbigniew J.
1	Dean, Thomas L.
1	Fagin, Ronald
1	Feldman, Yishai A.
1	Fournet, Cédric
1	Friedman, Doron A.
1	Goharshady, Amir Kafshdar
1	Grégoire, Benjamin
1	Haeusler, Edward Hermann
1	Havas, George
1	Hirsch, Robin
1	Imbs, Damien
1	Konur, Savas
1	Liu, Zhiming
1	Lopes, Bruno Domeniciano
1	Majewski, Bohdan S.
1	Makowsky, Johann-Andreas
1	Marinković, Bojan
1	Mateus, Paulo C.
1	McIver, Annabelle K.
1	Meggendorfer, Tobias
1	Megiddo, Nimrod
1	Molinari, Alberto
1	Montanari, Angelo
1	Morgan, Carroll C.
1	Peron, Adriano
1	Platzer, André
1	Sernadas, Amilcar C.
1	Shagrir, Oron
1	Shi, Haihe
1	Shi, Haipeng
1	Strub, Pierre-Yves
1	Swamy, Nikhil
1	Taubenfeld, Gadi
1	Tzanis, Evan
1	Vijaykumar, Nandamudi Lankalapalli
1	Ward, Martin P.
1	Woeginger, Gerhard
1	Xu, Shenghua
1	Zanella Béguelin, Santiago
1	Zedan, Hussein
1	Zhang, Yuanrui

all top 5

4	Theoretical Computer Science
3	Artificial Intelligence
2	Information and Computation
1	Science of Computer Programming
1	Annals of Pure and Applied Logic
1	Computers & Operations Research
1	Formal Aspects of Computing
1	Journal of Applied Logic
1	Frontiers of Computer Science
1	Journal of Logical and Algebraic Methods in Programming

all top 5

25	Computer science (68-XX)
14	Mathematical logic and foundations (03-XX)
1	Probability theory and stochastic processes (60-XX)
1	Quantum theory (81-XX)
1	Relativity and gravitational theory (83-XX)
1	Operations research, mathematical programming (90-XX)
1	Information and communication theory, circuits (94-XX)