Santiago Escobar - Concepedia

Author

Santiago Escobar

Universitat Politècnica de València ORCID

Also Known As

B.-A Behrens, Escobar Román, Santiago, Escobar, Santiago, JULIA SAPIÑA, S Escobar, S. ESCOBAR, S. Escobar, SANTIAGO ESCOBAR, Sandra Escobar, Santiago Escobar

185

Publications

1.8K

Citations

H-Index

Concepts

All Affiliations

Universitat Politècnica de València University of Illinois Urbana-Champaign United States Naval Research Laboratory Universidad de Málaga SRI International

About

Santiago Escobar is an author at Universitat Politècnica de València specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	20	610
2	Computer Science	14	17	451
3	Computer Engineering	2	2	28
4	Systems Engineering	2	2	131
5	Business	1	1	16

Santiago Escobar

Publications

736

Citations

H-Index

Page 1

	Year	Citations
Folding variant narrowing and optimal variant termination Santiago Escobar, Ralf Sasse, José Meseguer The Journal of Logic and Algebraic Programming Mathematical ProgrammingVariant NarrowingEngineeringParameterized AlgorithmCombinatorial Design	2012	119
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties Santiago Escobar, Catherine Meadows, José Meseguer Theoretical Computer Science Formal SpecificationEngineeringRewriting-based Inference SystemFormal ModelingAutomated Reasoning	2006	117
Abstract Logical Model Checking of Infinite-State Systems Using Narrowing Kyungmin Bae, Santiago Escobar, José Meseguer DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)	2013	56
A modular order-sorted equational generalization algorithm Marı́a Alpuente, Santiago Escobar, Javier Espert, Information and Computation	2014	45
State space reduction in the Maude-NRL Protocol Analyzer Santiago Escobar, Catherine Meadows, José Meseguer, Information and Computation Reachability AnalysisEngineeringQuantum ComputingFormal MethodsComputer Science	2014	45
Variant Narrowing and Equational Unification Santiago Escobar, José Meseguer, Ralf Sasse Electronic Notes in Theoretical Computer Science Mathematical ProgrammingVariant NarrowingFormal SpecificationEngineeringAutomated Reasoning	2009	39
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer Santiago Escobar, Catherine Meadows, José Meseguer Electronic Notes in Theoretical Computer Science Cryptographic PrimitiveEngineeringVerificationNpa Inference SystemCryptographic Protocol	2007	30
Order-Sorted Generalization Marı́a Alpuente, Santiago Escobar, José Meseguer, Electronic Notes in Theoretical Computer Science Other GeneralizationGeneralization AlgorithmEngineeringProgram AnalysisAutomated Reasoning	2009	24
A rewriting-based inference system for the NRL protocol analyzer Santiago Escobar, Catherine Meadows, José Meseguer Cryptographic PrimitiveEngineeringVerificationNpa Inference SystemCryptographic Protocol	2005	24
Termination of narrowing revisited Marı́a Alpuente, Santiago Escobar, J.L. Iborra Theoretical Computer Science Mathematical ProgrammingEngineeringLower BoundDiscontinuityApproximation Theory	2009	23

Page 1