Lal, Ratan
129  results:
Search for persons X
?
2

Biogenic production of eco-friendly Arjuna-ZnO NPs for sunl..:

Lal, Ratan ; Sharma, Anukriti ; Gour, Tripti...
Journal of Saudi Chemical Society.  28 (2024)  3 - p. 101851 , 2024
 
?
3

Autonomous Hydroponic Farming using Internet of Things:

, In: 2024 1st International Conference on Cognitive, Green and Ubiquitous Computing (IC-CGU),
Lal, Ratan - p. 1-6 , 2024
 
?
4

Navigating Efficiency: A Blueprint for Optimizing Organizat..:

, In: 2024 1st International Conference on Cognitive, Green and Ubiquitous Computing (IC-CGU),
Lal, Ratan - p. 01-06 , 2024
 
?
5

Automorphisms of Zappa-Szép product fixing a subgroup:

Kakkar, Vipul ; Lal, Ratan
Acta Universitatis Sapientiae, Mathematica.  15 (2023)  2 - p. 288-303 , 2023
 
?
6

An Analysis of Elliptic Curve Cryptography Secret Keys For ..:

, In: 2023 International Conference on Applied Intelligence and Sustainable Computing (ICAISC),
Thakkar, Hina ; Lal, Ratan - p. 1-7 , 2023
 
?
9

Abstraction-Based Safety Analysis of Linear Dynamical Syste..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Lal, Ratan ; Prabhakar, Pavithra - p. 8006-8011 , 2023
 
?
 
?
12

Formally Verified Switching Logic for Recoverability of Air..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Lal, Ratan ; McKinnis, Aaron ; Hauptman, Dustin.. - p. 566-579 , 2021
 
?
13

Gyrogroups associated with groups:

Lal, Ratan ; Kakkar, Vipul
Communications in Algebra.  50 (2021)  2 - p. 524-537 , 2021
 
?
14

Safety Analysis of Linear Discrete-time Stochastic Systems:..:

, In: 2020 International Conference on Embedded Software (EMSOFT),
Lal, Ratan ; Prabhakar, Pavithra - p. 34-36 , 2020
 
?
15

Bayesian Statistical Model Checking for Continuous Stochast..:

, In: 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE),
 
1-15