Sign in
José Miguel Blanco
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Formal Model
Ims Ld
Predicate Calculus
Petri Net
Top Venues
KES
CoRR
FLAP
</>
Publications
</>
Mouzhi Ge
,
Bruno Rossi
,
Stanislav Chren
,
José Miguel Blanco
Petri Nets for Smart Grids: The Story So Far.
CoRR
(2024)
José Miguel Blanco
,
Sandra M. López
,
Marcos M. Recio
On How the 2 Set-up Routley-Meyer Semantics are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-valued Logics.
FLAP
10 (1) (2023)
José Miguel Blanco
,
Mouzhi Ge
,
Jose M. del Alamo
,
Juan C. Dueñas
,
Félix Cuadrado
A formal model for reliable digital transformation of water distribution networks.
KES
(2023)