A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

By Cortier Véronique   Kremer Steve   Warinschi Bogdan  

Journal of Automated Reasoning, Vol. 46, Iss. 3-4, 2011-04 ,pp. : 225-259

Springer Publishing Company

Access to resources Recommend Favorite

Modelling dynamic systems with biased regression and spectral methods

By Östermark Ralf  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 24, Iss. 6, 1995-06 ,pp. : 38-43

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations

By Bouajjani A.   Habermehl P.  

Theoretical Computer Science, Vol. 221, Iss. 1, 1999-06 ,pp. : 211-250

Elsevier

Access to resources Recommend Favorite

Hybridization methods for the analysis of nonlinear systems

By Asarin Eugene   Dang Thao   Girard Antoine  

Acta Informatica, Vol. 43, Iss. 7, 2007-02 ,pp. : 451-476

Springer Publishing Company

Access to resources Recommend Favorite

Attractor Spaces as Modules: A Semi-Eliminative Reduction of Symbolic AI to Dynamic Systems Theory

By Rockwell Teed  

Minds and Machines, Vol. 15, Iss. 1, 2005-02 ,pp. : 23-55

Springer Publishing Company

Access to resources Recommend Favorite