◍
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 · h 10
Irawan Nurhas
2 · h 6
J. Pawlowski
2 · h 22
Stefan Geisler
2 · h 9
Ahmad R. T. Nugraha
1
D. Plump
1 · h 26
E. Rijanto
1 · h 9
F. Abdul
1 · h 6
F. Aslam
1 · h 4
Gia Septiana Wulandari
1
G. Wulandari
1 · h 4
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.HC
Show all
Nothing from here under that filter.
Their other years and fields are still on the left.
Show all their papers