Aditya Kanade

From MaRDI portal
Person:2346563



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
scientific article; zbMATH DE number 6774232 (Why is no real title available?)2017-09-12Paper
Non-deterministic transducer models of retransmission protocols over noisy channels
Information Processing Letters
2015-06-02Paper
Ranking Automata and Games for Prioritized Requirements
Computer Aided Verification
2008-07-15Paper
Programming Languages and Systems
Lecture Notes in Computer Science
2006-10-20Paper


Research outcomes over time


This page was built for person: Aditya Kanade