( en | de | ru )

 

Disambiguation of "Chakrabarti, Partha Pratim"

Author of the publication

copydeleteadd this publication to your clipboard
Discovering the input assumptions in specification refinement coverage.

, , , and . ASP-DAC, page 13-18. IEEE, (2006)

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.

Partha Pratim Chakrabarti

Partha Pratim Jana

Partha Pratim Das

Partha Sampathkumaran

Partha Sampathkumaran

 

Other publications of authors with the same name

Synthesis of sampling modes for adaptive control., , , , , and . ICCSCE, page 294-299. IEEE, (2014)Anytime Column Search., , , and . Australasian Conference on Artificial Intelligence, volume 7691 of Lecture Notes in Computer Science, page 254-265. Springer, (2012)Demand-Driven Mixture Preparation and Droplet Streaming using Digital Microfluidic Biochips., , , , and . DAC, page 144:1-144:6. ACM, (2014)SAT based solutions for consistency problems in formal property specifications for open systems., , , , and . ICCAD, page 885-888. IEEE Computer Society, (2005)Cohesive Coverage Management for Simulation and Formal Property Verification., , , , , and . ISVLSI, page 251-256. IEEE Computer Society, (2008)Enhanced Human-Robot Collaboration with Intent Prediction using Deep Inverse Reinforcement Learning., , , and . ICRA, page 7880-7887. IEEE, (2024)Anytime Contract Search., , and . SGAI Conf., page 139-155. Springer, (2013)Handling fault detection latencies in automata-based scheduling for embedded control software., , , and . CACSD, page 1-6. IEEE, (2013)A New algorithm for combined PLA folding., , and . VLSI Design, page 368-369. IEEE Computer Society, (1992)Routing-aware resource allocation for mixture preparation in digital microfluidic biochips., , , , and . ISVLSI, page 165-170. IEEE Computer Socity, (2013)