Old Web
English
Sign In
Acemap
>
authorDetail
>
Alex Abuin
Alex Abuin
Computer science
Model checking
Programming language
Mathematical proof
Molecular biology
5
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems
2021
IEEE Transactions on Industrial Informatics
Jon Perez
José Luis Flores
Christian Blum
Jesús Cerquides
Alex Abuin
Show All
Source
Cite
Save
Citations (0)
Verified Model Checking for Conjunctive Positive Logic
2021
Alex Abuin
Unai D iaz de Cerio
Montserrat Hermo
Paqui Lucio
Show All
Source
Cite
Save
Citations (0)
One-Pass Context-Based Tableaux Systems for CTL and ECTL.
2020
Alex Abuin
Alexander Bolotov
Montserrat Hermo
Paqui Lucio
Show All
Source
Cite
Save
Citations (0)
Towards Certified Model Checking for PLTL using One-pass Tableaux
2019
International Symposium on Temporal Representation and Reasoning
Alex Abuin
Alexander Bolotov
Unai Díaz-de-Cerio
Montserrat Hermo
Paqui Lucio
Show All
Source
Cite
Save
Citations (0)
Corrigendum: Adiponectin receptor 1 conserves docosahexaenoic acid and promotes photoreceptor cell survival.
2015
Nature Communications
Dennis S. Rice
Jorgelina M. Calandria
William C. Gordon
Bokkyoo Jun
Yongdong Zhou
Claire M. Gelfman
Songhua Li
Minghao Jin
Eric J. Knott
Bo Chang
Alex Abuin
Tawfik Issa
David E. Potter
Kenneth A. Platt
Nicolas G. Bazan
Show All
Source
Cite
Save
Citations (1)
1