The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report. - Rodion M. Podorozhny; Leon J. Osterweil (ICSE, 1997)

Modeling Resources for Activity Coordination and Scheduling. - Rodion M. Podorozhny; Barbara Staudt Lerner; Leon J. Osterweil (COORDINATION, 1999)

Cooperative, Multistep Negotiation over a Multi-dimensional Utility Function. - Xiaoqin Zhang 001; Rodion M. Podorozhny; Victor R. Lesser (Artificial Intelligence and Soft Computing, 2000)

Evolution of the GPGP/TÆMS Domain-Independent Coordination Framework. - Victor R. Lesser; Keith Decker; Thomas Wagner 001; Norman Carver; Alan Garvey; Bryan Horling; Daniel E. Neiman; Rodion M. Podorozhny; M. V. Nagendra Prasad; Anita Raja; Régis Vincent; Ping Xuan; et al. (Auton. Agents Multi Agent Syst., 2004)

Multi-Dimensional, MultiStep Negotiation. - Xiaoqin Zhang 001; Victor R. Lesser; Rodion M. Podorozhny (Auton. Agents Multi Agent Syst., 2004)

Automatically Analyzing Software Processes: Experience Report. - Rodion M. Podorozhny; Dewayne E. Perry; Leon J. Osterweil (ISPW, 2005)

Business Process Learning for Real Time Enterprises. - Rodion M. Podorozhny; Anne H. H. Ngu; Dimitrios Georgakopoulos 001 (BIRTE, 2006)

Verification of Multi-agent Negotiations Using the Alloy Analyzer. - Rodion M. Podorozhny; Sarfraz Khurshid; Dewayne E. Perry; Xiaoqin Zhang 001 (IFM, 2007)

Ensuring reliable datasets for environmental models and forecasts. - Emery R. Boose; Aaron M. Ellison; Leon J. Osterweil; Lori A. Clarke; Rodion M. Podorozhny; Julian L. Hadley; Alexander E. Wise; David R. Foster (Ecol. Informatics, 2007)

Automatic Mash Up of Composite Applications. - Michael Pierre Carlson; Anne H. H. Ngu; Rodion M. Podorozhny; Liangzhao Zeng (ICSOC, 2008)

Experience in using a process language to define scientific workflow and generate dataset provenance. - Leon J. Osterweil; Lori A. Clarke; Aaron M. Ellison; Rodion M. Podorozhny; Alexander E. Wise; Emery R. Boose; Julian L. Hadley (SIGSOFT FSE, 2008)

Dynamic composition and optimization of Web services. - Liangzhao Zeng; Anne H. H. Ngu; Boualem Benatallah; Rodion M. Podorozhny; Hui Lei 001 (Distributed Parallel Databases, 2008)

Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance. - Leon J. Osterweil; Lori A. Clarke; Aaron M. Ellison; Emery R. Boose; Rodion M. Podorozhny; Alexander E. Wise (IEEE Trans Autom. Sci. Eng., 2010)

Design and verification of cellphone-based cyber-physical systems: A position paper. - Rodion M. Podorozhny (CollaborateCom, 2013)

BraceAssertion: Runtime Verification of Cyber-Physical Systems. - Xi Zheng 001; Christine Julien 001; Rodion M. Podorozhny; Franck Cassez (MASS, 2015)

Verification of Architectural Constraints on Sequences of Method Invocations. - Stuart Siroky; Rodion M. Podorozhny; Guowei Yang 001 (ACM SIGSOFT Softw. Eng. Notes, 2015)

Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems. - Xi Zheng 001; Christine Julien 001; Hongxu Chen; Rodion M. Podorozhny; Franck Cassez (ACM Trans. Embed. Comput. Syst., 2017)

Efficient and Scalable Runtime Monitoring for Cyber-Physical System. - Xi Zheng 001; Christine Julien 001; Rodion M. Podorozhny; Franck Cassez; Thierry Rakotoarivelo (IEEE Syst. J., 2018)

Verification of Distributed Artificial Intelligence Systems in Bioinformatics. - Aedin Pereira; Julia Ding; Zaina Ali; Rodion M. Podorozhny (CoRR, 2023)