Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups

Provable Security - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88733-1_13 ◽

2008 ◽

pp. 185-199

Author(s):

Zhengqin Luo

Keyword(s):

Symbolic Analysis ◽

Probabilistic Protocols

Download Full-text

Author's reply: New approach to automatic symbolic analysis of electric circuits

IEE Proceedings G Circuits Devices and Systems ◽

10.1049/ip-g-2.1993.0038 ◽

1993 ◽

Vol 140 (3) ◽

pp. 231

Author(s):

S. Manetti

Keyword(s):

Symbolic Analysis ◽

New Approach ◽

Electric Circuits

Download Full-text

EVA: an experimental video annotator for symbolic analysis of video data

ACM SIGCHI Bulletin ◽

10.1145/70609.70617 ◽

1989 ◽

Vol 21 (2) ◽

pp. 68-71 ◽

Author(s):

W. E. Mackay

Keyword(s):

Symbolic Analysis ◽

Experimental Video

Download Full-text

The role of birds in Roman imperial funerary rituals at La Magdalena (Alcalá de Henares, Spain): osteoarchaeological and symbolic analysis

Archaeological and Anthropological Sciences ◽

10.1007/s12520-021-01317-0 ◽

2021 ◽

Vol 13 (4) ◽

Author(s):

Rocío Bernal-García ◽

Felipe Gómez-Moreno ◽

Francisco J. Serrano ◽

César Heras ◽

José Yravedra

Keyword(s):

Symbolic Analysis ◽

Funerary Rituals

Download Full-text

On parallel symbolic analysis of large networks and systems

1993 IEEE International Symposium on Circuits and Systems ◽

10.1109/iscas.1993.394056 ◽

2002 ◽

Author(s):

T. Matsumoto ◽

T. Sakabe ◽

K. Tsuji

Keyword(s):

Symbolic Analysis ◽

Download Full-text

A symbolic analysis of Vermeille and Borkowski polynomials for transforming 3D Cartesian to geodetic coordinates

Journal of Geodesy ◽

10.1007/s00190-009-0325-2 ◽

2009 ◽

Vol 83 (11) ◽

pp. 1071-1081 ◽

Author(s):

Laureano Gonzalez-Vega ◽

Irene Polo-Blanco

Keyword(s):

Symbolic Analysis ◽

Geodetic Coordinates

Download Full-text

Offline symbolic analysis to infer Total Store Order

2011 IEEE 17th International Symposium on High Performance Computer Architecture ◽

10.1109/hpca.2011.5749743 ◽

2011 ◽

Author(s):

Dongyoon Lee ◽

Mahmoud Said ◽

Satish Narayanasamy ◽

Zijiang Yang

Keyword(s):

Symbolic Analysis

Download Full-text

SapWin 4.0-a new simulation program for electrical engineering education using symbolic analysis

Computer Applications in Engineering Education ◽

10.1002/cae.21671 ◽

2015 ◽

Vol 24 (1) ◽

pp. 44-57 ◽

Author(s):

F. Grasso ◽

A. Luchetta ◽

S. Manetti ◽

M. C. Piccirilli ◽

A. Reatti

Keyword(s):

Engineering Education ◽

Electrical Engineering ◽

Symbolic Analysis ◽

Simulation Program ◽

Electrical Engineering Education

Download Full-text

Social Body and Icon of the Person: A Symbolic Analysis of Shell Money Among the Wodani, Western Highlands of Irian Jaya

American Ethnologist ◽

10.1525/ae.1999.26.3.558 ◽

1999 ◽

Vol 26 (3) ◽

pp. 558-582 ◽

Author(s):

Stéphane Breton

Keyword(s):

Symbolic Analysis ◽

Social Body ◽

Download Full-text

A system for the symbolic analysis of problems in engineering mechanics

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94 ◽

10.1145/190347.190370 ◽

1994 ◽

Author(s):

Philip H. Todd ◽

Robin J. Y. McLeod ◽

Marcia Harris

Keyword(s):

Symbolic Analysis ◽

Engineering Mechanics

Download Full-text

Symbolic Analysis Algorithms and Transformations

Advanced Symbolic Analysis for Compilers - Lecture Notes in Computer Science ◽

10.1007/3-540-36614-8_4 ◽

2003 ◽

pp. 49-74

Keyword(s):

Symbolic Analysis

Download Full-text