| 2018 | PERCOM | Edge-enabled Distributed Network Measurement. | Vernon K. Cody Bumgardner, Caylin D. Hickey, Victor W. Marek |
| 2018 | PERCOM | An Edge-Focused Model for Distributed Streaming Data Applications. | Vernon K. Cody Bumgardner, Caylin D. Hickey, Victor W. Marek |
| 2017 | IJCAI | Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method. | Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek |
| 2016 | CNSM | Cresco: A distributed agent-based edge computing framework. | Vernon K. Cody Bumgardner, Victor W. Marek, Caylin D. Hickey |
| 2016 | FedCSIS | Working with Zdzislaw Pawlak - Personal Reminiscences. | Victor W. Marek |
| 2016 | HealthCom | Constellation: A secure self-optimizing framework for genomic processing. | Vernon K. Cody Bumgardner, Victor W. Marek, Caylin D. Hickey, Kanna Nandakumar |
| 2016 | LFCS | Index Sets for Finite Normal Predicate Logic Programs with Function Symbols. | Douglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel |
| 2016 | NOMS | Collating time-series resource data for system-wide job profiling. | Vernon K. Cody Bumgardner, Victor W. Marek, Ray L. Hyatt |
| 2016 | SAT | Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer. | Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek |
| 2009 | LFCS | Automata and Answer Set Programming. | Victor W. Marek, Jeffrey B. Remmel |
| 2008 | ICLP | Quo Vadis Answer Set Programming? | Victor W. Marek |
| 2008 | ICLP | On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. | Victor W. Marek, Jeffrey B. Remmel |
| 2007 | LFCS | Compactness Properties for Stable Semantics of Logic Programs. | Victor W. Marek, Jeffrey B. Remmel |
| 2005 | LPNMR | Approximating Answer Sets of Unitary Lifschitz-Woo Programs. | Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski |
| 2004 | AAAI | Logic Programs with Abstract Constraint Atoms. | Victor W. Marek, Miroslaw Truszczynski |
| 1998 | AMIA | Simulating patients with Parallel Health State Networks. | Walton Sumner, Miroslaw Truszczynski, Victor W. Marek |