◍
wovepaper
Search
Researchers
Institutions
✦ Ask
Sign in
☰
output
2017
2025
most cited
Verifying Graph Programs with First-Order Logic
7 citations
researchers with a paper here
Andry Alamsyah
2 · h 22
B. Aditya
2
Irawan Nurhas
2
J. Pawlowski
2
Stefan Geisler
2 · h 9
Ahmad R. T. Nugraha
1
D. Plump
1 · h 26
Estiko Rijanto
1
F. Aslam
1
Fauzi Abdul
1
Gia Septiana Wulandari
1
G. Wulandari
1
collaborating institutions
National Research and Innovation Agency
ID
2 papers
Ruhr West University of Applied Sciences
DE
2 papers
Bandung Institute of Technology
ID
1 paper
University of Indonesia
ID
1 paper
University of Jyväskylä
FI
1 paper
University of York
GB
1 paper
Showing 2017 ·
cs.RO
Show all
Nothing from here under that filter.
Their other years and fields are still on the left.
Show all their papers