Concepedia

Kaushik Mallik

KM

10

Publications

532

Citations

10

H-Index

2001

Active since

Affiliations

Max Planck Institute for Software Systems(Current)

Newcastle University

Institute of Science and Technology Austria

Kaushik Mallik is an author at Max Planck Institute for Software Systems specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationBusinessProcess ControlMechanism DesignMathematical ProgrammingGames

Publications per year

2001–2024

10

Publications

10

Seed Mediated Formation of Bimetallic Nanoparticles by UV Irradiation: A Photochemical Approach for the Preparation of “Core−Shell” Type Structures

Kaushik Mallik, Madhuri Mandal, Narayan Pradhan et al. · Nano Letters · 2001 · 230 citations

Efficiency and Cost Optimized Design of an Induction Motor Using Genetic Algorithm

Srikumar Mallik, Kaushik Mallik, Amal Barman et al. · IEEE Transactions on Industrial Electronics · 2017 · 76 citations

Electrical Engineering, Electric Machine, Engineering +12

Compositional Synthesis of Finite-State Abstractions

Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani et al. · IEEE Transactions on Automatic Control · 2018 · 64 citations

Engineering, Compositional Synthesis, Local Abstractions +18

Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems

Kyle Hsu, Rupak Majumdar, Kaushik Mallik et al. · 2018 · 54 citations

Engineering, System Synthesis, Formal Verification +16

Symbolic controller synthesis for Büchi specifications on stochastic systems

Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani · 2020 · 28 citations · Full text

Mathematical Programming, Stochastic Hybrid System, Engineering +14

Rows per page

1–5 of 10