| 2011 |
|---|
| 12 | Turning real-world systems into verification-driven learning cases. Shengru Tu, Shireesha Tankashala, Sehun Oh, Brian Becker, Brian Horton, Aditya Kallem, Zhao Yang. CSEE&T 2011, 129-138. Web SearchBibTeXDownload |
| 2006 |
|---|
| 11 | Web Services for Geographic Information Systems. Shengru Tu, Mahdi Abdelguerfi. IEEE Internet Computing (10): 13-15 (2006). Web SearchBibTeXDownload |
| 2005 |
|---|
| 10 | Adapting Single-Request/Multiple-Response Messaging to Web Services. Michael Ruth, Feng Lin, Shengru Tu. COMPSAC (1) 2005, 287-292. Web SearchBibTeXDownload |
| 9 | A Client-Side Framework Enabling Callbacks from Web Services. Michael Ruth, Feng Lin, Shengru Tu. ECOWS 2005, 105-117. Web SearchBibTeXDownload |
| 8 | A Framework for Applications Utilizing Web Services with Callbacks. Michael Ruth, Feng Lin, Shengru Tu. ICWS 2005, 829-830. Web SearchBibTeXDownload |
| 2004 |
|---|
| 7 | Integrating Web services into map image applications. Shengru Tu, Eric Normand, S. Kuchimanchi, V. Bizot, S. Shu, Mahdi Abdelguerfi, Jay J. Ratcliff, Kevin Shaw. ISCC 2004, 44-49. Web SearchBibTeXDownload |
| 6 | Design Strategies to Improve Performance of GIS Web Services. Shengru Tu, Maik Flanagin, Ying Wu, Mahdi Abdelguerfi, Eric Normand, Venkata Mahadevan, Jay J. Ratcliff, Kevin Shaw. ITCC (2) 2004, 444. Web SearchBibTeXDownload |
| 2002 |
|---|
| 5 | Achieving interoperability for integration of heterogeneous COTS geographic information systems. Shengru Tu, Liang Xu, Mahdi Abdelguerfi, Jay J. Ratcliff. ACM-GIS 2002, 162-167. Web SearchBibTeXDownload |
| 4 | A Framework Approach to Accommodation of Multimedia Communications for Training Systems. Shengru Tu, Liang Xu, Ying Wu. ISMSE 2002, 232-239. Web SearchBibTeXDownload |
| 1996 |
|---|
| 3 | An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis. Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri. IEEE Trans. Parallel Distrib. Syst. (7): 1307-1322 (1996). Web SearchBibTeXDownload |
| 1992 |
|---|
| 2 | Supporting Inheritance in Relational Database Systems. Wei Sun, Sha Guo, Farah Arafi, Shengru Tu. SEKE 1992, 511-518. Web SearchBibTeXDownload |
| 1 | Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach. Shengru Tu, Wei Sun. SEKE 1992, 222-226. Web SearchBibTeXDownload |
