conftrace
_
Papers
Trends
Conferences
Explore
Authors
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Achievements
← Authors
Copy link
Caterina Urban
1 papers · 2016–2016 · 1 conference
· across top CS/AI conferences
Conferences
IJCAI (1)
Top co-authors
Vijay D’Silva (1)
Papers
Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer
IJCAI 2016