Sumit Nain

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!

Publication	Date of Publication	Type
Solving partial-information stochastic parity games 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science	2017-07-03	Paper
Synthesis from probabilistic components Logical Methods in Computer Science	2014-07-31	Paper
The complexity of partial-observation stochastic parity games with finite-memory strategies Lecture Notes in Computer Science	2014-04-16	Paper
Synthesis from probabilistic components	2012-09-18	Paper
Synthesis from probabilistic components (available as arXiv preprint)	2012-09-18	Paper
Synthesizing Probabilistic Composers Foundations of Software Science and Computational Structures	2012-06-22	Paper
Branching vs. Linear Time: Semantical Perspective Automated Technology for Verification and Analysis	2008-07-03	Paper
On finite alphabets and infinite bases Information and Computation	2008-05-19	Paper
Foundations of Software Science and Computation Structures Lecture Notes in Computer Science	2007-09-28	Paper
Foundations of Software Science and Computation Structures Lecture Notes in Computer Science	2007-05-02	Paper
Bisimilarity is not finitely based over BPA with interrupt Theoretical Computer Science	2007-01-09	Paper
Algebra and Coalgebra in Computer Science Lecture Notes in Computer Science	2006-10-20	Paper
Automata, Languages and Programming Lecture Notes in Computer Science	2006-01-10	Paper
scientific article; zbMATH DE number 2038703 (Why is no real title available?)	2004-02-08	Paper

Research outcomes over time

This page was built for person: Sumit Nain