Tommi Syrjänen is an author at Aalto University specializing in formal verification, automated reasoning, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceLogic ProgrammingAutomated ReasoningFormal VerificationKnowledge CompilationAnswer Set ProgrammingSoftware DesignProgram Analysis
Publications per year
2000–2009
3
3
Smodels: A System for Answer Set Programming
Ilkka Niemelä, Patrik Simons, Tommi Syrjänen · ArXiv.org · 2000 · 95 citations · Full text
Rows per page
1–3 of 3