Patrick Rogers

According to our database, Patrick Rogers authored at least 18 papers between 1992 and 2019.

Collaborative distances:

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

2019

Practical Application of SPARK to OpenUxAS.

M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2017

A New Ravenscar-Based Profile.

Patrick Rogers, José F. Ruiz, Tristan Gingold, Patrick Bernardi

Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2006

The Gravitational Potential in Close Binary Star Systems.

Robert G. Deupree, Patrick Rogers

Proceedings of the 20th Annual International Symposium on High Performance Computing Systems and Applications (HPCS 2006), 2006

2005

Using an Information Warehouse to screen patients for Clinical trials: A prototype.

Jyoti Kamal, Kabardhi Pasuparthi, Patrick Rogers, Jason Buskirk, Hagop S. Mekhjian

Proceedings of the AMIA 2005, 2005

The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95.

Patrick Rogers, Andy J. Wellings

Proceedings of the Reliable Software Technology, 2005

2004

OpenAda: Compile-Time Reflection for Ada 95.

Patrick Rogers, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 2004

2003

Software fault tolerance, reflection and the Ada programming language.

Patrick Rogers

PhD thesis, 2003

Impact of CPOE Order Sets on Lab Orders.

Hagop S. Mekhjian, Joel H. Saltz, Patrick Rogers, Jyoti Kamal

Proceedings of the AMIA 2003, 2003

Information Warehouse as a Tool to Analyze Computerized Physician Order Entry Order Set Utilization: Opportunities for Improvement.

Jyoti Kamal, Patrick Rogers, Joel H. Saltz, Hagop S. Mekhjian

Proceedings of the AMIA 2003, 2003

2001

Intelligent decision support for protein crystal growth.

Igor Jurisica, Patrick Rogers, Janice I. Glasgow, Suzanne Fortier, Joseph R. Luft, Jennifer R. Wolfley, Melissa A. Bianca, Daniel R. Weeks, George T. DeTitta

IBM Syst. J., 2001

Improving Objectivity and Scalability in Protein Crystallization: Integrating Image Analysis With Knowledge Discovery.

Igor Jurisica, Patrick Rogers, Janice I. Glasgow, Robert J. Collins, Jennifer R. Wolfley, Joseph R. Luft, George T. DeTitta

IEEE Intell. Syst., 2001

2000

State restoration in Ada 95: a portable approach to supporting software fault tolerance.

Patrick Rogers, Andy J. Wellings

J. Syst. Softw., 2000

1999

An Incremental RecoveryCache Supporting Sotware Fault Tolerance.

Patrick Rogers, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 1999

1995

The first embedded distributed Ada95 application.

Patrick Rogers, Marc Pitarys

Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, 1995

1994

The AECSS Fault Tolerant Distributed Ada Testbed and Application.

Patrick Rogers, Marc Pitarys

Proceedings of the Ada in Europe, First International Eurospace, 1994

1993

Demonstrable Fault Tolerance for Distributed Ada.

Patrick Rogers, Steve O'Neill, Marc Pitarys, Kenneth Littlejohn

Proceedings of the Conference Proceedings on TRI-Ada 1993, 1993

1992

Implementing Distributed Ada.

Patrick Rogers, Marc Pitarys

Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992

Embedded/Real-Time Programming in Ada.

Patrick Rogers

Proceedings of the Tutorial Proceedings on TRI-Ada 1992, November 17-20, 1992, Orlando, Florida USA, 1992