About: Alexandra Silva

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Alexandra Silva Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Species, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdf:type	Thing foaf:Person person scientist schema:Person wikidata:Q19088 wikidata:Q215627 Human wikidata:Q729 wikidata:Q901 dul:NaturalPerson animal eukaryote species
rdfs:label	Alexandra Silva (fr) Alexandra Silva (de) Alexandra Silva (en) Alexandra Silva (pt) ألكسندرا سيلفا (ar)
rdfs:comment	Alexandra Silva, de nom complet Alexandra Martins da Silva, née le 11 février 1984, est une universitaire portugaise, chercheuse en informatique théorique et mathématiques. Elle a obtenu le prix Presburger en 2017, pour ses travaux sur les coalgèbres comme outils pour formaliser, entre autres, les coinductions dans la programmation fonctionnelle et les opérations sur diverses variantes des automates finis, notamment probabilistes. (fr)
rdfs:seeAlso	http://isni.org/isni/0000_0000_4020_5757 https://dl.acm.org/author_page.cfm?id=81546194756 https://www.scopus.com/authid/detail.url?authorId=23398564400 https://www.semanticscholar.org/author/1690230 https://zbmath.org/authors/?q=ai:silva.alexandra http://genealogy.math.ndsu.nodak.edu/id.php?id=149538 https://scholar.google.com/citations?user=Vgu38TgAAAAJ http://www.academia-net.de/profil/1439322
sameAs	Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva
birth place	Chaves, Portugal
birth date	1984-02-11 (xsd:date)
Wikipage page ID	11809497 (xsd:integer)
Wikipage revision ID	166739375 (xsd:integer)
dbo:wikiPageWikiLink	Algebra dbpedia-fr:Automate_fini dbpedia-fr:Automate_probabiliste category-fr:Personnalité_en_informatique_théorique Centrum Wiskunde & Informatica Coalgebra dbpedia-fr:Coinduction dbpedia-fr:Dexter_Kozen DBLP dbpedia-fr:European_Association_for_Theoretical_Computer_Science Stream (computing) Theoretical computer science dbpedia-fr:Langage_formel dbpedia-fr:Prix_Presburger dbpedia-fr:Programmation_fonctionnelle Rewriting University College London Cornell University University of Oxford Indiana University University of Minho École normale supérieure de Lyon dbpedia-fr:Minimisation_d'un_automate_fini_déterministe
Link from a Wikipage to an external page	http://www.alexandrasilva.org/%23/main.html https://dblp.uni-trier.de/pers/hd/s/Silva_0001:Alexandra
page length (characters) of wiki page	7358 (xsd:nonNegativeInteger)
dct:subject	category-fr:Personnalité_en_informatique_théorique
foaf:homepage	http://www.alexandrasilva.org/%23/main.html
foaf:name	(fr) Alexandra Silva (fr)
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Autorité dbpedia-fr:Modèle:Citation_étrangère dbpedia-fr:Modèle:Date- dbpedia-fr:Modèle:Homon dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Bases_recherche dbpedia-fr:Modèle:Infobox_Scientifique dbpedia-fr:Modèle:Palette_Lauréats_du_prix_Presburger
prov:wasDerivedFrom	wikipedia-fr:Alexandra_Silva?oldid=166739375&ns=0
prop-fr:dateDeNaissance	1984-02-11 (xsd:date)
prop-fr:nationalité	Portugaise (fr)
prop-fr:nom	Alexandra Silva (fr)
prop-fr:site	http://www.alexandrasilva.org/%23/main.html
prop-fr:formation	Centrum Wiskunde & Informatica University of Minho
prop-fr:directeurThèse	Jan Rutten et Marcello Bonsangue (fr)
prop-fr:institutions	University College London
prop-fr:prix	dbpedia-fr:Prix_Presburger
prop-fr:domaines	dbpedia-fr:Coinduction Theoretical computer science dbpedia-fr:Programmation_fonctionnelle
prop-fr:renomméePour	raisonnement coalgébrique, coinduction (fr)
foaf:isPrimaryTopicOf	wikipedia-fr:Alexandra_Silva
employer	University College London

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 15 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software