A. Etessami: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[IEEE Comput. Soc Fifth IEEE International Symposium on Requirements Engineering - Toronto, Ont., Canada (27-31 Aug. 2001)] Proceedings Fifth IEEE International Symposium on Requirements Engineering - Events and constraints: a graphical editor for capturing logic requirements of programs

Smith, M.H., Holzmann, G.J., Etessami, K.

Year:

2000

Language:

english

File:

PDF, 827 KB

english, 2000

52

[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - First-order logic with two variables and unary temporal logic

Etessami, K., Vardi, M.Y., Wilke, T.

Year:

1997

Language:

english

File:

PDF, 844 KB

english, 1997

53

[IEEE Comput. Soc. Press 11th Annual IEEE Symposium on Logic in Computer Science - New Brunswick, NJ, USA (27-30 July 1996)] Proceedings 11th Annual IEEE Symposium on Logic in Computer Science - An Until hierarchy for temporal logic

Etessami, K., Wilke, T.

Year:

1996

Language:

english

File:

PDF, 984 KB

english, 1996

54

[IEEE Comput. Soc. Press Structure in Complexity Theory. Tenth Annual IEEE Conference - Minneapolis, MN, USA (19-22 June 1995)] Proceedings of Structure in Complexity Theory. Tenth Annual IEEE Conference - Counting quantifiers, successor relations, and logarithmic space

Year:

1995

Language:

english

File:

PDF, 757 KB

english, 1995

55

[IEEE 2008 Fifth International Conference on Quantitative Evaluation of Systems - St Malo, France (2008.09.14-2008.09.17)] 2008 Fifth International Conference on Quantitative Evaluation of Systems - Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems

Etessami, Kousha, Wojtczak, Dominik, Yannakakis, Mihalis

Year:

2008

Language:

english

File:

PDF, 328 KB

english, 2008

56

[IEEE Second International Conference on the Quantitative Evaluation of Systems (QEST'05) - Torino, Italy (2005.09.19-2005.09.22)] Second International Conference on the Quantitative Evaluation of Systems (QEST'05) - Checking LTL properties of recursive Markov chains

Yannakakis, M., Etessami, K.

Year:

2005

Language:

english

File:

PDF, 374 KB

english, 2005

57

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 252 KB

english, 2005

58

[IEEE 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07) - Providence, RI, USA (2007.10.21-2007.10.23)] 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07) - On the Complexity of Nash Equilibria and Other Fixed Points (Extended Abstract)

Etessami, Kousha, Yannakakis, Mihalis

Year:

2007

Language:

english

File:

PDF, 339 KB

english, 2007

59

[IEEE IEEE National Aerospace and Electronics Conference - Dayton, OH, USA (22-26 May 1989)] Proceedings of the IEEE National Aerospace and Electronics Conference - APN-based object oriented approach to bounded-buffer problem

Etessami, E.S., Hura, G.S.

Year:

1989

Language:

english

File:

PDF, 494 KB

english, 1989

60

[IEEE 32nd Midwest Symposium on Circuits and Systems - Champaign, IL, USA (14-16 Aug. 1989)] Proceedings of the 32nd Midwest Symposium on Circuits and Systems - Rule based solution for a real time applications problem through abstract Petri nets

Hura, G.S., Etessami, F.S.

Year:

1990

Language:

english

File:

PDF, 363 KB

english, 1990

61

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - First-Order and Temporal Logics for Nested Words

Alur, Rajeev, Arenas, Marcelo, Barcelo, Pablo, Etessami, Kousha, Immerman, Neil, Libkin, Leonid

Year:

2007

Language:

english

File:

PDF, 206 KB

english, 2007

62

[IEEE Fourth IEEE Region 10 International Conference TENCON - Bombay, India (22-24 Nov. 1989)] Fourth IEEE Region 10 International Conference TENCON - Abstract Petri net based approach to problem solving in real time applications

Etessami, F.S., Hura, G.S.

Year:

1989

Language:

english

File:

PDF, 516 KB

english, 1989

63

Monoclonal Antibodies to Six-Transmembrane Epithelial Antigen of the Prostate-1 Inhibit Intercellular Communication In vitro and Growth of Human Tumor Xenografts In vivo

Challita-Eid, P. M., Morrison, K., Etessami, S., An, Z., Morrison, K. J., Perez-Villar, J. J., Raitano, A. B., Jia, X.-C., Gudas, J. M., Kanner, S. B., Jakobovits, A.

Journal:

Cancer Research

Year:

2007

Language:

english

File:

PDF, 1001 KB

english, 2007

64

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Romeo: A Tool for Analyzing Time Petri Nets

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 176 KB

english, 2005

65

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Bounded Model Checking of Concurrent Programs

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 189 KB

english, 2005

66

Recursive Markov Decision Processes and Recursive Stochastic Games

Etessami, Kousha, Yannakakis, Mihalis

Journal:

Journal of the ACM

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

67

Mutational analysis of complementary-sense genes of African cassava mosaic virus DNA A

Etessami, P., Saunders, K., Watts, J., Stanley, J.

Journal:

Journal of General Virology

Year:

1991

Language:

english

File:

PDF, 3.15 MB

english, 1991

68

Size Reversion of African Cassava Mosaic Virus Coat Protein Gene Deletion Mutants during Infection of Nicotiana benthamiana

Etessami, P., Watts, J., Stanley, J.

Journal:

Journal of General Virology

Year:

1989

Language:

english

File:

PDF, 3.54 MB

english, 1989

69

Delimitation of essential genes of cassava latent virus DNA 2

Etessami, Pantea, Callis, Rowena, Ellwood, Susan, Stanley, John

Journal:

Nucleic Acids Research

Year:

1988

Language:

english

File:

PDF, 2.72 MB

english, 1988

70

Nanostructure of Er3+ doped silicates

Yao, N., Hou, K., Haines, C. D., Etessami, N., Ranganathan, V., Halpern, S. B., Kear, B. H., Klein, L. C., Sigel, G. H.

Journal:

Journal of Electron Microscopy

Year:

2005

Language:

english

File:

PDF, 391 KB

english, 2005

71

A Note on the Complexity of Comparing Succinctly Represented Integers, with an Application to Maximum Probability Parsing

Etessami, Kousha, Stewart, Alistair, Yannakakis, Mihalis

Journal:

ACM Transactions on Computation Theory

Year:

2014

Language:

english

File:

PDF, 199 KB

english, 2014

72

[ACM Press the seventeenth ACM SIGACT-SIGMOD-SIGART symposium - Seattle, Washington, United States (1998.06.01-1998.06.04)] Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '98 - Dynamic tree isomorphism via first-order updates to a relational database

Etessami, Kousha

Year:

1998

Language:

english

File:

PDF, 1.10 MB

english, 1998

73

Parametric temporal logic for “model measuring”

Alur, Rajeev, Etessami, Kousha, La Torre, Salvatore, Peled, Doron

Journal:

ACM Transactions on Computational Logic

Year:

2001

Language:

english

File:

PDF, 268 KB

english, 2001

74

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Validating a Modern Microprocessor

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 104 KB

english, 2005

75

[ACM Press the 44th symposium - New York, New York, USA (2012.05.19-2012.05.22)] Proceedings of the 44th symposium on Theory of Computing - STOC '12 - Polynomial time algorithms for multi-type branching processesand stochastic context-free grammars

Etessami, Kousha, Stewart, Alistair, Yannakakis, Mihalis

Year:

2012

Language:

english

File:

PDF, 554 KB

english, 2012

76

[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - Inference of message sequence charts

Alur, Rajeev, Etessami, Kousha, Yannakakis, Mihalis

Year:

2000

Language:

english

File:

PDF, 297 KB

english, 2000

77

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Abstraction Refinement via Inductive Learning

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 470 KB

english, 2005

78

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Reasoning About Threads Communicating via Locks

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 214 KB

english, 2005

79

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || F-Soft: Software Verification Platform

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 112 KB

english, 2005

80

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Saturn: A SAT-Based Tool for Bug Detection

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 111 KB

english, 2005

81

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || TVOC: A Translation Validator for Optimizing Compilers

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 114 KB

english, 2005

82

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 209 KB

english, 2005

83

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Incremental Algorithms for Inter-procedural Analysis of Safety Properties

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 206 KB

english, 2005

84

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Action Language Verifier, Extended

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 108 KB

english, 2005

85

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || TRANSYT:A Tool for the Verification of Asynchronous Concurrent Systems

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 92 KB

english, 2005

86

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Linear Ranking with Reachability

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 188 KB

english, 2005

87

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Data Structure Specifications via Local Equality Axioms

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 195 KB

english, 2005

88

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Ymer: A Statistical Model Checker

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 144 KB

english, 2005

89

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Extended Weighted Pushdown Systems

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 275 KB

english, 2005

90

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Model Checking x86 Executables with CodeSurfer/x86 and WPDS++

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 129 KB

english, 2005

91

Altered fractionated radiotherapy in the management of head and neck carcinomas: advantages and limitations

Bourhis, Jean, Etessami, Atoussa, Wilbault, Pierre, Lusinchi, Antoine, Calais, Gilles, Lapeyre, Michel, Pignon, Jean Pierre

Journal:

Current Opinion in Oncology

Year:

2004

Language:

english

File:

PDF, 71 KB

english, 2004

92

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Program Repair as a Game

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 243 KB

english, 2005

93

[IEEE 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07) - Providence, RI, USA (2007.10.21-2007.10.23)] 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07) - On the Complexity of Nash Equilibria and Other Fixed Points (Extended Abstract)

Etessami, Kousha, Yannakakis, Mihalis

Year:

2007

Language:

english

File:

PDF, 339 KB

english, 2007

94

Changes in Serum B-Cell Maturation Antigen Levels Are a Rapid and Reliable Indicator of Treatment Efficacy for Patients with Multiple Myeloma

Udd, Kyle, Soof, Camilia, Etessami, Soudabeh, Rahbari, Ashkon, Gross, Zachary, Casas, Christian, Ghermezi, Matthew, Sanchez, Eric, Li, Mingjie, Wang, Cathy, Tang, George, Emamy-Sadr, Marsiye, Swift, R

Journal:

Clinical Lymphoma Myeloma and Leukemia

Year:

2017

Language:

english

File:

PDF, 81 KB

english, 2017

95

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Algorithms for some infinite-state MDPs and stochastic games

Etessami, Kousha

Year:

2017

Language:

english

File:

PDF, 51 KB

english, 2017

96

A Polynomial Time Algorithm for Computing Extinction Probabilities of Multitype Branching Processes

Etessami, Kousha, Stewart, Alistair, Yannakakis, Mihalis

Journal:

SIAM Journal on Computing

Year:

2017

Language:

english

File:

PDF, 444 KB

english, 2017

97

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || On Statistical Model Checking of Stochastic Systems

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 246 KB

english, 2005

98

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Formal Verification of Backward Compatibility of Microcode

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 185 KB

english, 2005

99

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || The Orchids Intrusion Detection Tool

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 145 KB

english, 2005

100

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Improved Probabilistic Models for 802.11 Protocol Verification

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 246 KB

english, 2005

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски