Mark Thom

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 9

Top Topics

Top Venues

Publications

Georgiy Krylov, Petar Jelenkovic, Mark Thom, Gerhard W. Dueck, Kenneth B. Kent, Younes Manton, Daryl Maier
Ahead-of-time compilation in eclipse OMR on example of WebAssembly. CASCON (2021)
Mark Thom, Harold Boley, Theodoros Mitsikas
cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp. RuleML+RR (2021)
Mark Thom, Harold Boley, Theodoros Mitsikas
Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying. RuleML+RR (2020)
Mark Thom, Gerhard W. Dueck, Kenneth B. Kent, Daryl Maier
A survey of ahead-of-time technologies in dynamic language environments. CASCON (2018)
Daryl Maier, Kenneth B. Kent, Ben Thomas, Mark Thom, Vijay Sundaresan, Shelley Lambert, Leonardo Banderali, Younes Manton, Aaron Graham, Jean-Philippe Legault, Kim Briggs, Abhijit Taware
2nd workshop on advances in open runtime technology for cloud environments. CASCON (2018)
Robert Benkoczi, Daya Ram Gaur, Mark Thom
A 2-Approximation Algorithm for Barrier Coverage by Weighted Non-uniform Sensors on a Line. ALGOSENSORS (2016)
Selim G. Akl, Robert Benkoczi, Daya Ram Gaur, Hossam S. Hassanein, Shahadat Hossain, Mark Thom
On a class of covering problems with variable capacities in wireless networks. Theor. Comput. Sci. 575 (2015)
David W. Boyd, Greg Martin, Mark Thom
Squarefree values of trinomial discriminants. LMS J. Comput. Math. 18 (1) (2015)
Robert Benkoczi, Zachary Friggstad, Daya Ram Gaur, Mark Thom
Minimizing Total Sensor Movement for Barrier Coverage by Non-uniform Sensors on a Line. ALGOSENSORS (2015)
Selim G. Akl, Robert Benkoczi, Daya Ram Gaur, Hossam S. Hassanein, Shahadat Hossain, Mark Thom
On a Class of Covering Problems with Variable Capacities in Wireless Networks. WALCOM (2014)