Arjun Radhakrishna

Available identifiers

zbMath Open radhakrishna.arjunMaRDI QIDQ477210

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4986503	2021-04-27	Paper
Scaling Enumerative Program Synthesis via Divide and Conquer	2020-08-05	Paper
From non-preemptive to preemptive scheduling using synchronization synthesis	2018-03-01	Paper
From non-preemptive to preemptive scheduling using synchronization synthesis	2017-05-15	Paper
Succinct representation of concurrent trace sets	2016-09-29	Paper
Segment Abstraction for Worst-Case Execution Time Analysis	2016-04-26	Paper
Interface simulation distances	2014-12-02	Paper
Quantitative abstraction refinement	2014-11-27	Paper
Battery transition systems	2014-04-10	Paper
Simulation distances	2012-03-13	Paper
Quantitative Simulation Games	2010-09-07	Paper
Simulation Distances	2010-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q3710577	1982-01-01	Paper
A note on radicals in lattice ordered antiflexible rings	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3949098	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3897186	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3863929	1979-01-01	Paper
On a class of lattice ordered near-rings	1978-01-01	Paper

Research outcomes over time

This page was built for person: Arjun Radhakrishna