PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ramakrishnan, C. R."

Author of the publication

copydeleteadd this publication to your clipboard
Resource-Constrained Model Checking of Recursive Programs.

, , , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 236-250. Springer, (2002)

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.

R. Koerner

R. Watty

C. Traut

C. Honold

Jannis Clausius University of Stuttgart

6G : A Welcome Chance to Unify Channel Coding?, , , , and . IEEE BITS the information theory magazine, 3 (1): 67-80 (2023)
 

Other publications of authors with the same name

Inference in probabilistic logic programs with continuous random variables., , and . TPLP, 12 (4-5): 505-523 (2012)An Optimizing Compiler for Efficient Model Checking., and . FORTE, volume 156 of IFIP Conference Proceedings, page 241-256. Kluwer, (1999)On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution., , and . IJCSLP, page 310-324. MIT Press, (1998)Compositional Branching-Time Measurements., , , , , and . FPS@ETAPS, volume 8415 of Lecture Notes in Computer Science, page 118-128. Springer, (2014)A Conservative Technique to Improve Deterministic Evaluation of Logic Programs., , , and . ICCL, page 196-205. IEEE Computer Society, (1998)Value of Information in Probabilistic Logic Programs., and . CoRR, (2019)Resource-Constrained Model Checking of Recursive Programs., , , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 236-250. Springer, (2002)Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools., , , , , , , , and . TACAS, volume 1579 of Lecture Notes in Computer Science, page 74-88. Springer, (1999)Fast Parallel Implementation of Lazy Languages - The EQUALS Experience., , , , and . LISP and Functional Programming, page 335-344. ACM, (1992)Modeling and Verification of Distributed Autonomous Agents Using Logic Programming., and . DALT, volume 3476 of Lecture Notes in Computer Science, page 148-165. Springer, (2004)