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.

Nadia Labai
SearchCollections
Map detail
Nadia Labai7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipNadia LabaiANadia LabaiResearcherAn ExpTime Upper Bound for $\mathcal{ALC}$ with Integers (Extended Version)WAn ExpTime Upper Bound ...preprint / 2020Weighted Automata and Monadic Second Order LogicWWeighted Automata and M...preprint / 2013Finiteness conditions for graph algebras over tropical semiringsWFiniteness conditions f...preprint / 2014Logics of Finite Hankel RankWLogics of Finite Hankel...preprint / 2015On the exact learnability of graph parameters: The case of partition functionsWOn the exact learnabili...preprint / 2016Hankel Matrices for Weighted Visibly Pushdown AutomataWHankel Matrices for Wei...preprint / 2016
Person6 links

Nadia Labai

Researcher

PaperAn ExpTime Upper Bound for ALC\mathcal{ALC} with Integers (Extended Version)Authorship / preprint / 2020PaperWeighted Automata and Monadic Second Order LogicAuthorship / preprint / 2013PaperFiniteness conditions for graph algebras over tropical semiringsAuthorship / preprint / 2014PaperLogics of Finite Hankel RankAuthorship / preprint / 2015PaperOn the exact learnability of graph parameters: The case of partition functionsAuthorship / preprint / 2016PaperHankel Matrices for Weighted Visibly Pushdown AutomataAuthorship / preprint / 2016

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)