default search action

combined dblp search
author search
venue search
publication search

ask others

Ana Carolina Silva

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/SilvaBF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/SilvaBF23
Ana Carolina Silva, Manuel Barbosa, Mário Florido:
Execution Time Program Verification with Tight Bounds. PADL 2023: 56-72
2022
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icarsc/GuimaraesFSEMB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icarsc/GuimaraesFSEMB22
Pedro M. F. Guimarães, Flora J. Ferreira, Ana Carolina Silva, Wolfram Erlhagen, Sérgio Monteiro, Estela Bicho:
A Data Recording Mobile Application to Create Datasets of Vehicle Users' Routines. ICARSC 2022: 167-172
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-11105
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-11105
Ana Carolina Silva, Manuel Barbosa, Mário Florido:
Execution Time Program Verification With Tight Bounds. CoRR abs/2210.11105 (2022)
2021
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/rtsi/PatelFMSEB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtsi/PatelFMSEB21
Ankit R. Patel, Flora J. Ferreira, Sergio Monteiro, Ana Carolina Silva, Wolfram Erlhagen, Estela Bicho:
Prediction of attitudes towards human-centred cognitive vehicles aware of their users' routines and preferences. RTSI 2021: 194-199

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sab/SilvaS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sab/SilvaS12
Ana Carolina Silva, Cristina Peixoto dos Santos:
A Bio-inspired Model Reliably Predicts the Collision of Approaching Objects under Different Light Conditions. SAB 2012: 85-95

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.