Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Click on the image)
Autenticação local
Recuperação de Password
Register
Entrar
Miriam García Soto
AuthID:
R-00J-VPA
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (11)
Article (2)
Book Chapter (1)
Year Start - End:
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Results:
10
20
30
40
50
Confirmed Publications: 14
11
TITLE:
AVERIST: An Algorithmic Verifier for Stability
AUTHORS:
Prabhakar, P;
Soto, MG
;
PUBLISHED:
2015
,
SOURCE:
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,
VOLUME:
317
INDEXED IN:
Scopus
WOS
CrossRef
:
5
IN MY:
ORCID
12
TITLE:
Foundations of quantitative predicate abstraction for stability analysis of hybrid systems
AUTHORS:
Prabhakar, P;
Soto, MG
;
PUBLISHED:
2015
,
SOURCE:
16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015
in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
VOLUME:
8931
INDEXED IN:
Scopus
CrossRef
:
2
IN MY:
ORCID
13
TITLE:
An algorithmic approach to stability verification of polyhedral switched systems
Full Text
AUTHORS:
Prabhakar, P;
Soto, MG
;
PUBLISHED:
2014
,
SOURCE:
2014 American Control Conference, ACC 2014
in
Proceedings of the American Control Conference
INDEXED IN:
Scopus
CrossRef
:
7
IN MY:
ORCID
14
TITLE:
Abstraction based model-checking of stability of hybrid systems
AUTHORS:
Prabhakar, P;
Garcia Soto, M
;
PUBLISHED:
2013
,
SOURCE:
25th International Conference on Computer Aided Verification, CAV 2013
in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
VOLUME:
8044 LNCS
INDEXED IN:
Scopus
CrossRef
:
15
IN MY:
ORCID
Adicionar à lista
Marked
Marcar Todas
Export
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 2 de 2. Total de resultados: 14.
<<
<
1
2
>
>>
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
Please select which records must be used by Authenticus!
×
Preview Publications
© 2024 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service