Parvaneh Babari

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A Nivat theorem for weighted picture automata and weighted MSO logics
Journal of Computer and System Sciences
2019-06-25Paper
Weighted register automata and weighted logic on data words
Theoretical Computer Science
2018-09-24Paper
Synchronizing Data Words for Register Automata2018-03-21Paper
Weighted register automata and weighted logic on data words
Theoretical Aspects of Computing – ICTAC 2016
2016-12-21Paper
\(+\omega\)-picture languages recognizable by Büchi-tiling systems
Language and Automata Theory and Applications
2016-04-13Paper
A Nivat theorem for weighted picture automata and weighted MSO logic
Language and Automata Theory and Applications
2016-04-08Paper


Research outcomes over time


This page was built for person: Parvaneh Babari