Publication
Improved Name Recognition With User Modeling
Publication
Transactions for Software Model Checking
Publication
The ‘Summation Hack’ as an Outlier Model
Publication
Techniques for Scheduling with Rejection
Publication