Scholar

R. Govind

Google Scholar ID: KEL6kkEAAAAJ

Uppsala University

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

57

H-index

4

i10-index

2

Publications

17

Co-authors

0

Contact

No contact links provided.

Publications

5 items

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability

2026

Cited

0

Verifying Sequential Consistency under Bounded Preemptions

2026

Cited

0

Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics

2025

Cited

0

Checking Consistency of Event-driven Traces

2025

Cited

0

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm

International Conference on Concurrency Theory · 2024

Cited

1

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)