Statistics
Publications
35
Citations
1.4K
H-Index
21
Active since
2003
Wojciech Jamroga is an author at Clausthal University of Technology specializing in temporal logic, computer science, and formal methods.
Publications per year
2003–2020
35
35
Wojciech Jamroga, Wiebe van der Hoek · University of Twente Research Information · 2004 · 233 citations
A logic for strategic reasoning
Wiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge · 2005 · 120 citations
1–5 of 35