S. Arun-Kumar

Available identifiers

zbMath Open arunkumar.sMaRDI QIDQ1062766

List of research outcomes

Publication	Date of Publication	Type
An efficiency preorder for processes	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4992499	2021-06-09	Paper
On Efficiency Preorders	2015-09-30	Paper
Reducing Clocks in Timed Automata while Preserving Bisimulation	2014-09-15	Paper
Parameterised Bisimulations: Some Applications	2014-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q5190789	2009-07-27	Paper
Spatial variation of heat flux at the metal-mold interface due to mold filling effects in gravity die-casting	2008-06-18	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
Distributed Computing - IWDC 2004	2005-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q2766536	2002-07-08	Paper
Genetic algorithm based heuristics for the mapping problem	1995-02-13	Paper
An efficiency preorder for processes	1994-06-30	Paper
Genetic search algorithms and their randomized operators	1993-06-29	Paper
A randomized heuristics for the mapping problem: The genetic approach	1993-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4727415	1986-01-01	Paper
Fair derivations in E0L systems	1985-01-01	Paper
Optimal regulation policies for a multipurpose reservoir with seasonal input and return function	1977-01-01	Paper
Characterization of optimal operating policies for finite dams	1975-01-01	Paper
Investment in Series and Parallel Systems to Maximize Expected Life	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5670123	1972-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: S. Arun-Kumar