Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Mathur, Mahesh
17  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Inventory cost model for "Just-In-Time" production:

, In: Proceedings of the 26th conference on Winter simulation,
Mathur, Mahesh - p. 1020-1026 , 1994
Link: https://dl.acm.org/doi/1..
 
?
2

Data-Driven Exploration of Cognitive Tourism: AI and Psycho..:

, In: 2024 International Conference on Communication, Computer Sciences and Engineering (IC3SE),
Semwal, Rajeev ; Tripathi, Nandita ; Rana, Ajay... - p. 1845-1850 , 2024
Link: https://doi.org/10.1109/..
 
?
3

AI-Powered Personalization and Emotional Intelligence Integ..:

, In: 2024 International Conference on Communication, Computer Sciences and Engineering (IC3SE),
Semwal, Rajeev ; Tripathi, Nandita ; Rana, Ajay... - p. 1851-1856 , 2024
Link: https://doi.org/10.1109/..
 
?
4

Contributors:

, In: Antidiabetic Medicinal Plants,
Aftab, Tariq ; Ahmad, Iffat Zareen ; Akdad, Mourad... - p. xix-xxiii , 2024
Link: https://doi.org/10.1016/..
 
?
5

Contributors:

, In: Electrochemical Sensors,
Bansal, Shikha ; Bukkitgar, Shikandar D. ; Chaudhary, Nahid... - p. ix-x , 2022
Link: https://doi.org/10.1016/..
 
?
6

A tree clock data structure for causal orderings in concurr..:

, In: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,
Mathur, Umang ; Pavlogiannis, Andreas ; Tunç, Hünkar Can. - p. 710-725 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

Contributors:

, In: New and Future Developments in Microbial Biotechnology and Bioengineering,
Acharya, Krishnendu ; Agrawal, Komal ; Anand, Garima... - p. ix-x , 2021
Link: https://doi.org/10.1016/..
 
?
8

Checking LTL[F,G,X] on compressed traces in polynomial time:

, In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Zhang, Minjian ; Mathur, Umang ; Viswanathan, Mahesh - p. 131-143 , 2021
Link: https://dl.acm.org/doi/1..
 
?
9

List of contributors:

, In: Wastewater Treatment Reactors,
Agrawal, Komal ; Anand, Vandita ; Awasthi, Shruti... - p. xvii-xxiv , 2021
Link: https://doi.org/10.1016/..
 
?
10

List of Contributors:

, In: Wastewater Treatment,
Agrawal, Komal ; Akansha, Kriti ; Ayala, F. Espejel... - p. xv-xxii , 2021
Link: https://doi.org/10.1016/..
 
?
11

The Complexity of Dynamic Data Race Prediction:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,
Mathur, Umang ; Pavlogiannis, Andreas ; Viswanathan, Mahesh - p. 713-727 , 2020
Link: https://dl.acm.org/doi/1..
 
?
12

Decidable Synthesis of Programs with Uninterpreted Function:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Krogmeier, Paul ; Mathur, Umang ; Murali, Adithya.. - p. 634-657 , 2020
Link: https://doi.org/10.1007/..
 
?
13

Atomicity Checking in Linear Time using Vector Clocks:

, In: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems,
Mathur, Umang ; Viswanathan, Mahesh - p. 183-199 , 2020
Link: https://dl.acm.org/doi/1..
 
?
14

What's Decidable About Program Verification Modulo Axioms?:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Mathur, Umang ; Madhusudan, P. ; Viswanathan, Mahesh - p. 158-177 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Data race detection on compressed traces:

, In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Kini, Dileep ; Mathur, Umang ; Viswanathan, Mahesh - p. 26-37 , 2018
Link: https://dl.acm.org/doi/1..
 
1-15