Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Title | Author(s) |
---|---|---|
24-Sep-2017 | Property Inference for Maple: An Application of Abstract Interpretation | Forrest, Stephen A. |
2016 | Multi-Agent Distributed Graph Traversal | Markov, Mikhail |
2016 | A Generalization of Square-free Strings | Mhaskar, Neerja |
2017 | ON ASSEMBLE-TO-ORDER SYSTEMS WITH STOCHASTIC LEAD TIMES | Zahmatkesh, Tahereh |
2018 | Evaluating the effectiveness of web application testing techniques using automated tools | Alrashed, Weaam |
Nov-2017 | Analysis of On/Off servers with Dynamic Voltage Scaling | Mo, Guang |
2018 | FCL: A FORMAL LANGUAGE FOR WRITING CONTRACTS | Hu, Qian |
2018 | Establishing Verifiable Trust in Collaborative Health Research | Sutton, Andrew |
Nov-2017 | Rough Sets, Similarity, and Optimal Approximations | Lenarcic, Adam |
2018 | Fingerprints for Indoor Localization | Xu, Qiang |
Discover
Author
Subject