Old Web
English
Sign In
Acemap
>
authorDetail
>
Maximilian Heisinger
Maximilian Heisinger
Johannes Kepler University of Linz
Computer science
Solver
Orchestration (computing)
Scalability
Cloud computing
2
Papers
2
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
SymJEx: Symbolic Execution on the GraalVM
2020
Sebastian Kloibhofer
Thomas Pointhuber
Maximilian Heisinger
Hanspeter Mössenböck
Lukas Stadler
David Leopoldseder
Show All
Source
Cite
Save
Citations (1)
Distributed Cube and Conquer with Paracooba
2020
SAT | Theory and Applications of Satisfiability Testing
Maximilian Heisinger
Mathias Fleury
Armin Biere
Show All
Source
Cite
Save
Citations (1)
1