( en | de | ru )

 

Disambiguation of "Jha, Sumit Kumar"

Author of the publication

copydeleteadd this publication to your clipboard
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.

, , and . HSCC, volume 4981 of Lecture Notes in Computer Science, page 187-200. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sumit Kumar

Rajeev Kumar Jha

Mithilesh Kumar Jha

Deepti Jha

Development of a new cell penetrating peptide: design, synthesis and applications = Entwicklung eines neuen zell-penetrierenden Peptids. Uni Tübingen, (2009)

Vandana Jha

 

Other publications of authors with the same name

Temporal Logic Model Checking, , , and . Handbook of Networked and Embedded Control Systems, Birkhäuser Boston, (2005)Automated synthesis of compact crossbars for sneak-path based in-memory computing., and . DATE, page 770-775. IEEE, (2017)Parameter discovery for stochastic computational models in systems biology using Bayesian model checking., , , , , and . ICCABS, page 1-2. IEEE Computer Society, (2014)SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision procedures., , , , , , and . ICCABS, page 1. IEEE Computer Society, (2015)Neuro-symbolic Generative AI Assistant for System Design., , and . MEMOCODE, page 75-76. IEEE, (2024)On the Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers., , , and . DAC, page 315:1-315:6. ACM, (2024)Jailbreaking Large Language Models with Symbolic Mathematics., , , , and . CoRR, (2024)AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing., , , and . CoRR, (2024)Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation., , , , and . ICAA, page 114-117. IEEE, (2024)Memory-Efficient Filter-Based Approximate Optimal Regulation of Unknown LTI Systems Using Initial Excitation., , and . CDC, page 1638-1643. IEEE, (2018)