Mark Thom

According to our database, Mark Thom authored at least 9 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp.

Mark Thom, Harold Boley, Theodoros Mitsikas

Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

Ahead-of-time compilation in eclipse OMR on example of WebAssembly.

Georgiy Krylov, Petar Jelenkovic, Mark Thom, Gerhard W. Dueck, Kenneth B. Kent, Younes Manton, Daryl Maier

Proceedings of the CASCON '21: Proceedings of the 31st Annual International Conference on Computer Science and Software Engineering, Toronto, Ontario, Canada, November 22, 2021

2020

Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying.

Mark Thom, Harold Boley, Theodoros Mitsikas

Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020

2018

A survey of ahead-of-time technologies in dynamic language environments.

Mark Thom, Gerhard W. Dueck, Kenneth B. Kent, Daryl Maier

Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering, 2018

2nd workshop on advances in open runtime technology for cloud environments.

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

Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering, 2018

2016

A 2-Approximation Algorithm for Barrier Coverage by Weighted Non-uniform Sensors on a Line.

Robert Benkoczi, Daya Ram Gaur, Mark Thom

Proceedings of the Algorithms for Sensor Systems, 2016

2015

On a class of covering problems with variable capacities in wireless networks.

Selim G. Akl, Robert Benkoczi, Daya Ram Gaur, Hossam S. Hassanein, Shahadat Hossain, Mark Thom

Theor. Comput. Sci., 2015

Squarefree values of trinomial discriminants.

David W. Boyd, Greg Martin, Mark Thom

LMS J. Comput. Math., 2015

Minimizing Total Sensor Movement for Barrier Coverage by Non-uniform Sensors on a Line.

Robert Benkoczi, Zachary Friggstad, Daya Ram Gaur, Mark Thom

Proceedings of the Algorithms for Sensor Systems, 2015