343 results on '"Santiago Escobar"'
Search Results
52. Protocol Analysis with Time and Space.
53. Dialogue of Knowledge for the Consolidation of Territories Through Cultural Tourism
54. Peer Validation and Generation Tool for Question Banks in Learning Management Systems.
55. Protocol Analysis with Time.
56. An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA.
57. Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)
58. Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method.
59. ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance.
60. Variant-based Equational Unification under Constructor Symbols.
61. Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms.
62. Safety enforcement via programmable strategies in Maude.
63. Modular Verification of Sequential Composition for Private Channels in Maude-NPA.
64. Multi-paradigm Programming in Maude.
65. Associative Unification and Symbolic Reasoning Modulo Associativity in Maude.
66. Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA.
67. Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms.
68. Symbolic Analysis of Maude Theories with Narval.
69. Symbolic Specialization of Rewriting Logic Theories with Presto.
70. Correlación de prueba de antígeno de histoplasma en orina y recuento de linfocitos T CD4+ en pacientes adultos positivos para VIH
71. A partial evaluation framework for order-sorted equational programs modulo axioms.
72. Programming and symbolic computation in Maude.
73. Optimization of rewrite theories by equational partial evaluation.
74. Strand spaces with choice via a process algebra semantics.
75. Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.
76. Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms.
77. Inspecting Maude variants with GLINTS.
78. Strand Spaces with Choice via a Process Algebra Semantics.
79. Programming and Symbolic Computation in Maude.
80. Two Decades of Maude.
81. Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories.
82. Analysis of the PKCS#11 API Using the Maude-NPA Tool.
83. Correlación de prueba de antígeno de histoplasma en orina y recuento de linfocitos T CD4+ en pacientes adultos positivos para VIH
84. Theories of Homomorphic Encryption, Unification, and the Finite Variant Property.
85. A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA.
86. Functional Logic Programming in Maude.
87. Analysis of the IBM CCA Security API Protocols in Maude-NPA.
88. ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance.
89. Genetic Evaluations of Dairy Goats With Few Pedigree Data: Different Approaches to Use Molecular Information
90. Constrained narrowing for conditional equational theories modulo axioms.
91. Detecting Modular ACU Structural Symmetries.
92. Abstract Logical Model Checking of Infinite-State Systems Using Narrowing.
93. Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
94. Incremental and Adaptive Software Systems Development of Natural Language Applications.
95. The use of types in designing unification algorithms: two case studies.
96. Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.
97. Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
98. Protocol analysis in Maude-NPA using unification modulo homomorphic encryption.
99. Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6.
100. Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.