Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kai Weber
Efficient Symbolic Simulation via Dynamic Scheduling, Don’t Caring, and Case Splitting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Dynamic Scheduling via Polymatroid Optimization
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Dynamic Scheduling Through Tag Elimination
Power Efficient Dynamic Resource Scheduling Algorithms for LTE
Enhancing Adaptivity via Standard Dynamic Scheduling Middleware
Journal of the Brazilian Computer Society
Computer Science
Integrating Symbolic Execution With Sensornet Simulation for Efficient Bug Finding
Rigorous Simulation of Hybrid Dynamic Systems With Symbolic and Interval Methods
Splitting the Scheduling Headache
Investigating Deadline-Driven Scheduling Policy via Simulation With East
‘If They Don’t Care, I Don’t Care’: Millennial and Generation Z Students and the Impact of Faculty Caring
Journal of the Scholarship of Teaching and Learning
