91223528

Preferred Forms

200 _ | ‎‡a Manna‏ ‎‡b Zohar‏ ‎‡f 1939-2018‏
200 _ | ‎‡a Manna‏ ‎‡b Zohar‏ ‎‡f 1939-2018‏
100 1 _ ‎‡a Manna, Zohar‏
100 1 _ ‎‡a Manna, Zohar‏
100 1 _ ‎‡a Manna, Zohar‏
100 1 _ ‎‡a Manna, Zohar‏
100 1 _ ‎‡a Manna, Zohar‏
100 1 _ ‎‡a Manna, Zohar‏
100 1 _ ‎‡a Manna, Zohar‏
100 1 _ ‎‡a Manna, Zohar‏ (sparse)
100 1 _ ‎‡a Manna, Zohar‏
100 1 _ ‎‡a Manna, Zohar‏ ‎‡d 1939-2018‏
100 1 _ ‎‡a Manna, Zohar,‏ ‎‡d 1939-‏
100 1 _ ‎‡a Manna, Zohar,‏ ‎‡d 1939-2018‏
100 1 _ ‎‡a Manna, Zohar,‏ ‎‡d 1939-2018‏
100 1 _ ‎‡a Manna, Zohar.‏
100 0 _ ‎‡a Zohar Manna‏ ‎‡c American computer scientist‏
100 0 _ ‎‡a Zohar Manna‏ ‎‡c American-Israeli computer scientist‏
100 1 _ ‎‡a מנה, זהר,‏ ‎‡d 1939-2018‏

4xx's: Alternate Name Forms (32)

400 1 _ ‎‡a Manah, Zohar‏
400 1 _ ‎‡a Manah, Zwhar‏
400 _ | ‎‡a Manah‏ ‎‡b Zohar‏ ‎‡f 1939-2018‏
700 _ | ‎‡a Manah‏ ‎‡b Zwhar‏ ‎‡f 1939-2018‏
400 1 _ ‎‡a Manna, Z‏
400 1 _ ‎‡a Manna, Z.‏ ‎‡q (Zohar)‏
400 1 _ ‎‡a Mannāʿ, Zuhar,‏ ‎‡d 1939-‏
400 1 _ ‎‡a Mannāʿ, Zuhar‏ ‎‡d 1939-‏
400 0 _ ‎‡a Zohar Manna‏
400 0 _ ‎‡a Zohar Manna‏ ‎‡c Amerikaans hoogleraar‏
400 0 _ ‎‡a Zohar Manna‏ ‎‡c United States of America karimba ŋun nyɛ doo‏
400 0 _ ‎‡a Zohar Manna‏ ‎‡c amerikansk ingeniør‏
400 0 _ ‎‡a Zohar Manna‏ ‎‡c amerikansk ingenjör‏
400 0 _ ‎‡a Zohar Manna‏ ‎‡c informaticien américain‏
400 0 _ ‎‡a Zohar Manna‏ ‎‡c israelisch-US-amerikanischer Informatiker‏
400 0 _ ‎‡a Zohar Manna‏ ‎‡c univerzitní profesor počítačové vědy‏
400 0 _ ‎‡a Зохар Манна‏
400 0 _ ‎‡a Зохар Манна‏ ‎‡c израильско-американский учёный в области информатики‏
400 0 _ ‎‡a זהר מנה‏ ‎‡c מדען מחשב ישראלי-אמריקאי‏
400 0 _ ‎‡a זוהר מנה‏
400 1 _ ‎‡a מנה, זהר‏
400 1 _ ‎‡a מנה, זוהר‏
400 1 _ ‎‡a מנה, זוהר,‏ ‎‡d 1939-2018‏
400 _ | ‎‡a מנה‏ ‎‡b זהר‏ ‎‡f 1939-2018‏
700 _ | ‎‡a מנה‏ ‎‡b זוהר‏ ‎‡f 1939-2018‏
400 0 _ ‎‡a زوهار مناع‏ ‎‡c استاذ جامعة من اسرائيل‏
400 0 _ ‎‡a ظوهر منه‏ ‎‡c مهندس آمریکایی‏
400 0 _ ‎‡a জোহার মান্না‏ ‎‡c আমেরিকান-ইসরায়েলি কম্পিউটার বিজ্ঞানী‏
400 0 _ ‎‡a ゾハル・マンナ（Zohar Manna）‏
400 1 _ ‎‡a マンナ, ゾーハ‏
400 0 _ ‎‡a 佐哈·曼納‏
400 0 _ ‎‡a 조하르 만나‏

5xx's: Related Names (2)

Works

Title	Sources
Calculus of computation : decision procedures with applications to verification
Currents in the theory of computing
Deductive reasoning
From timed to hybrid systems
Fundamentals of deductive program synthesis
An interleaving model for real time, 1990:
Introduction to mathematical ... 1974.
The logical basis for computer programming.
Matematická teorie programů
Mathematical theory of computation
Puroguramu no riron.
Recent research in artificial intelligence and foundations of programming
The safety-progress classification
Specification and verification of concurrent programs by A-automata
STeP, the Stanford Temporal Prover
Studies in automatic programming logic
The temporal logic of reactive and concurrent systems. - New York, 1992.
Temporal verification of reactive systems : safety
Termination of algorithms
The theoretical aspects of the optimal fixedpoint
Time for verification : essays in memory of Amir Pnueli
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
プログラムの理論

Selected Co-authors

Waldinger, Richard. ‎(29)
Pnueli, Amir, 1941-2009. ‎(26)
Bradley, Aaron R. ‎(9)
Dershowitz, Nachum ‎(6)
Levitt, Karl ‎(5)
Katz, Shmuel ‎(5)
Waldinger, Richard (Richard J.) ‎(3)
Society for industrial and applied mathematics ( Philadelphia, Pa) ‎(3)
五十嵐, 滋, 1937-2023 ‎(2)
Dershowitz, N. (Nachum) ‎(2)

Countries and Regions of Publication (4)

View the list below for more details.

Low

High

The flags indicate which authority file had at least some publications from the country or region:

US - United States (52)
DE - Germany (24)
JP - Japan (1)
CZ - Czech Republic (1)

Publication Statistics

Selected Publishers (10)

Springer ‎(42)
Addison-Wesley ‎(26)
Society for industrial and applied mathematics ‎(13)
Dept. of Computer Science, Stanford University ‎(11)
North-Holland. New York ‎(9)
McGraw-Hill Book Company ‎(9)
Stanford University, Stanford, CA ‎(5)
日本コンピュータ協会 ‎(2)
Weizmann Inst. of Science ‎(2)
Springer Berlin Heidelberg ‎(2)

Record ID	Action	Time
BIBSYS\|x90282102	delete	2012-11-27T04:00:16+00:00
NTA\|068326874	add	2013-01-14T22:09:03+00:00
ISNI\|0000000081637740	add	2013-09-16T16:15:07+00:00
NUKAT\|n 93129668	add	2014-10-27T16:17:29+00:00
WKP\|Zohar_Manna	delete	2015-04-14T18:56:54+00:00
BIBSYS\|90282102	add	2017-04-01T11:53:25.397927+00:00
DNB\|176589279	delete	2017-06-25T18:34:12.902706+00:00
NLI\|002329432	delete	2020-04-12T14:15:14.204933+00:00
RERO\|vtls003557384	delete	2020-06-16T23:32:17.236095+00:00
LNB\|LNC10-000013279	add	2021-01-31T06:52:03.710726+00:00
BNF\|17251296	add	2021-01-31T06:52:03.721920+00:00
WKP\|Q92814	add	2021-01-31T06:52:03.732775+00:00
LC\|n 80082454	add	2021-01-31T06:52:03.743237+00:00
DNB\|128838248	add	2021-01-31T06:52:03.764521+00:00
J9U\|987007430474505171	add	2021-01-31T06:52:03.774511+00:00
SUDOC\|032798857	add	2021-01-31T06:52:03.785674+00:00
NDL\|00448710	add	2021-01-31T06:52:03.796808+00:00
CAOONL\|ncf11253493	add	2021-01-31T06:52:03.807710+00:00
NKC\|xx0099971	delete	2021-01-31T07:09:33.502930+00:00
CAOONL\|ncf10708842	delete	2021-01-31T07:09:33.506636+00:00
NII\|DA00026434	add	2021-03-07T08:20:44.409648+00:00
RERO\|A003557384	add	2021-03-07T08:20:44.420230+00:00
BNF\|12375820	add	2021-03-07T08:20:44.429806+00:00
NKC\|xx0256965	add	2021-03-07T08:20:44.440073+00:00
ISNI\|0000000468633613	delete	2021-04-05T04:51:10.718481+00:00
NLA\|000035326238	add	2023-08-20T23:05:41.925086+00:00

VIAF

Virtual International Authority File

Search

Manna, Zohar.

Manna, Zohar, 1939-2018

Zohar Manna American computer scientist

Zohar Manna American-Israeli computer scientist

Manna, Zohar, 1939-

מנה, זהר, 1939-2018

VIAF ID: 91223528 (Personal)

Permalink: http://viaf.org/viaf/91223528

Preferred Forms

4xx's: Alternate Name Forms (32)

5xx's: Related Names (2)

Works

Selected Co-authors

Countries and Regions of Publication (4)

Publication Statistics

Publication History

Identifiers

Selected Publishers (10)

About

Personal Information

Gender : Male

Nationality or associated country:

Field of Activity:

Occupation:

Language:

External Links

Record Views

History of VIAF ID:91223528 (26)