Mandayam Srivas

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Negation with logical variables in conditional rewriting Rewriting Techniques and Applications	2022-12-09	Paper
Concurrent program verification with invariant-guided underapproximation Automated Technology for Verification and Analysis	2022-08-12	Paper
Compositional safety refutation techniques Automated Technology for Verification and Analysis	2022-08-12	Paper
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system Acta Informatica	2021-04-28	Paper
scientific article; zbMATH DE number 2102694 (Why is no real title available?)	2004-09-24	Paper
Formal verification of a complex pipelined processor Formal Methods in System Design	2004-03-15	Paper
scientific article; zbMATH DE number 1670799 (Why is no real title available?)	2001-11-11	Paper
Inference rules and proof procedures for inequations The Journal of Logic Programming	1990-01-01	Paper
scientific article; zbMATH DE number 4090853 (Why is no real title available?)	1988-01-01	Paper
Computability and implementability issues in abstract data types Science of Computer Programming	1988-01-01	Paper
Automatic inductive theorem proving using Prolog Theoretical Computer Science	1987-01-01	Paper
scientific article; zbMATH DE number 4035205 (Why is no real title available?)	1987-01-01	Paper
Function definitions in term rewriting and applicative programming Information and Control	1986-01-01	Paper
scientific article; zbMATH DE number 3965464 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3907753 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: Mandayam Srivas