◍
wovepaper
Search
Researchers
Institutions
✦ Ask
Sign in
☰
output
2017
2026
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
G. Wulandari
2 · h 4
Irawan Nurhas
2 · h 6
J. Pawlowski
2 · h 22
Stefan Geisler
2 · h 9
Ade Romadhony
1 · h 0
Ahmad R. T. Nugraha
1
Andrea Capiluppi
1 · h 5
D. Plump
1 · h 26
E. Rijanto
1 · h 9
E. Sutoyo
1 · h 12
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 Groningen
NL
1 paper
University of Indonesia
ID
1 paper
University of Jyväskylä
FI
1 paper
University of York
GB
1 paper
Showing 2019 ·
cs.CL
Show all
Nothing from here under that filter.
Their other years and fields are still on the left.
Show all their papers