BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Alexandra Silva
SearchCollections
Map detail
Alexandra Silva17 visible / 17 total nodes / 31 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Co-authorshipCo-authorshipCo-authorshipRelated contextAuthorshipAuthorshipAuthorshipWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAlexandra SilvaAAlexandra SilvaResearcherSMT-Based Active Learning of Weighted AutomataWSMT-Based Active Learni...preprint / 2026Tiago FerreiraATiago FerreiraResearcherKevin BatzAKevin BatzResearcherProceedings Fourth Interaction and Concurrency ExperienceWProceedings Fourth Inte...preprint / 2011Non-Deterministic Kleene CoalgebrasWNon-Deterministic Kleen...preprint / 2010Generalizing determinization from automata to coalgebrasWGeneralizing determiniz...preprint / 2013Formal Languages and Automata TheoryTFormal Languages and Au...714 worksMachine LearningTMachine Learning49008 worksA Compositional Semantics for Stochastic Reo ConnectorsWA Compositional Semanti...preprint / 2010On Star Expressions and Coalgebraic Completeness TheoremsWOn Star Expressions and...preprint / 2022Processes Parametrised by an Algebraic TheoryWProcesses Parametrised ...preprint / 2022Preservation of Equations by Monoidal MonadsWPreservation of Equatio...preprint / 2020Towards a Uniform Theory of Effectful State MachinesWTowards a Uniform Theor...preprint / 2020Proceedings Fifth Interaction and Concurrency ExperienceWProceedings Fifth Inter...preprint / 2012How to Kill Epsilons with a Dagger -- A Coalgebraic Take on Systems with Algebraic Label StructureWHow to Kill Epsilons wi...preprint / 2014Prognosis: Closed-Box Analysis of Network Protocol ImplementationsWPrognosis: Closed-Box A...preprint / 2021
Person16 links

Alexandra Silva

Researcher

PaperSMT-Based Active Learning of Weighted AutomataAuthorship / preprint / 2026PersonTiago FerreiraCo-authorship / ResearcherPersonKevin BatzCo-authorship / ResearcherPaperProceedings Fourth Interaction and Concurrency ExperienceAuthorship / preprint / 2011PaperNon-Deterministic Kleene CoalgebrasAuthorship / preprint / 2010PaperGeneralizing determinization from automata to coalgebrasAuthorship / preprint / 2013TopicFormal Languages and Automata TheoryWorks on / 714 worksTopicMachine LearningWorks on / 49008 works

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)