Sumit Nain

From MaRDI portal
Person:860877

Available identifiers

zbMath Open nain.sumitMaRDI QIDQ860877

List of research outcomes





PublicationDate of PublicationType
Solving Partial-Information Stochastic Parity Games2017-07-03Paper
Synthesis from Probabilistic Components2014-07-31Paper
The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies2014-04-16Paper
Synthesis from probabilistic components2012-09-18Paper
Synthesizing Probabilistic Composers2012-06-22Paper
Branching vs. Linear Time: Semantical Perspective2008-07-03Paper
On finite alphabets and infinite bases2008-05-19Paper
Foundations of Software Science and Computation Structures2007-09-28Paper
Foundations of Software Science and Computation Structures2007-05-02Paper
Bisimilarity is not finitely based over BPA with interrupt2007-01-09Paper
Algebra and Coalgebra in Computer Science2006-10-20Paper
Automata, Languages and Programming2006-01-10Paper
https://portal.mardi4nfdi.de/entity/Q44491682004-02-08Paper

Research outcomes over time

This page was built for person: Sumit Nain

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:860877&oldid=5990415"
Powered by MediaWiki