Concepedia

Fernando L. Pelayo

FL

Statistics

Publications

16

Citations

328

H-Index

11

Active since

2001

Affiliations

University of Castilla-La Mancha(Current)

Fernando L. Pelayo is an author at University of Castilla-La Mancha specializing in computer science, engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringFormal MethodsParallel ComputingComputer ArchitectureProbabilityParallel ProgrammingManagement

Publications per year

2001–2022

16

Publications

16

Algebraic theory of probabilistic and nondeterministic processes

Diego Cazorla, Fernando Cuartero, Valentín Valero et al. · The Journal of Logic and Algebraic Programming · 2003 · 52 citations

Stochastic Programming, Engineering, Probabilistic System +3

Automatic verification of the TLS handshake protocol

Fernando Cuartero, Valentín Valero, Fernando L. Pelayo · 2004 · 42 citations

Engineering, Information Security, Verification +16

Parallel discrete dynamical systems on maxterm and minterm Boolean functions

Juan A. Aledo, S. Martínez, Fernando L. Pelayo et al. · Mathematical and Computer Modelling · 2011 · 37 citations

Mathematical Programming, Circuit Complexity, Minterm Boolean Functions +9

Perspectives on Cognitive Computers and Knowledge Processors

Yingxu Wang, Gabriele Fariello, Marina L. Gavrilova et al. · International Journal of Cognitive Informatics and Natural Intelligence · 2013 · 26 citations

Artificial Intelligence, Engineering, Cognition +21

Combining Insights from Probabilistic and Deterministic Safety Analyses in Option 4 from the IAEA Specific Safety Guide SSG-2

M. Dusic, Mark Dutton, H. Glaeser et al. · Nuclear Technology · 2014 · 24 citations

Energy Safety, Engineering, Safety Science +19

1–5 of 16