Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv |
Shape Analysis and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Compiler Design Handbook ![In: The Compiler Design Handbook: Optimizations and Machine Code Generation, pp. 175-218, 2002, CRC Press, 0-8493-1240-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps |
Static Program Analysis via 3-Valued Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 5, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
24 | Somesh Jha, Thomas W. Reps |
Analysis of SPKI/SDSI Certificates Using Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada, pp. 129-, 2002, IEEE Computer Society, 0-7695-1689-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
certificate-chain discovery, certificate-set analysis, model checking, authorization, naming, pushdown system, SPKI/SDSI |
24 | Thomas W. Reps, Alexey Loginov, Shmuel Sagiv |
Semantic Minimization of 3-Valued Propositional Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings, pp. 40-, 2002, IEEE Computer Society, 0-7695-1483-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps |
Static Program Analysis via 3-Valued Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings, pp. 1, 2002, Springer, 3-540-44235-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Louis B. Rall, Thomas W. Reps |
Algorithmic Differencing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perspectives on Enclosure Methods ![In: Perspectives on Enclosure Methods, pp. 133-146, 2001, Springer, 978-3-211-83590-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Michael Benedikt, Patrice Godefroid, Thomas W. Reps |
Model Checking of Unrestricted Hierarchical State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 652-666, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Zhichen Xu, Thomas W. Reps, Barton P. Miller |
Typestate Checking of Machine Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 335-351, 2001, Springer, 3-540-41862-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps |
Debugging via Run-Time Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 217-232, 2001, Springer, 3-540-41863-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | David Melski, Thomas W. Reps |
Interconvertibility of a class of set constraints and context-free-language reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 248(1-2), pp. 29-98, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps |
Undecidability of context-sensitive data-independence analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(1), pp. 162-186, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
?, context-sensitive program-analysis, graph-reachability problem, linear matche-parenthesis language, structure-transmitted data-dependence, dependence analysis, control-flow analysis, set constraints, set-based analysis |
24 | Mark N. Wegman, Thomas W. Reps (eds.) |
POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000 ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![ACM, 1-58113-125-9 The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
24 | Reinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps |
Shape Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 1-17, 2000, Springer, 3-540-67263-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Zhichen Xu, Barton P. Miller, Thomas W. Reps |
Safety checking of machine code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vancouver, Britith Columbia, Canada, June 18-21, 2000, pp. 70-82, 2000, ACM, 1-58113-199-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
Putting static analysis to work for verification: A case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000, pp. 26-38, 2000, ACM, 1-58113-266-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
alloy language, detecting bugs, relational formulas, model checking, testing, static analysis, constraint solvers |
24 | Satish Chandra 0001, Thomas W. Reps |
Physical type checking for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 24(5), pp. 66-75, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Michael Siff, Thomas W. Reps |
Identifying Modules via Concept Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 25(6), pp. 749-768, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
reverse engineering, modularization, Concept analysis, design recovery, software restructuring, software migration |
24 | Satish Chandra 0001, Thomas W. Reps |
Physical Type Checking for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '99, Toulouse, France, September 6, 1999, pp. 66-75, 1999, ACM, 1-58113-137-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
C |
24 | Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm |
Parametric Shape Analysis via 3-Valued Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 20-22, 1999, pp. 105-118, 1999, ACM, 1-58113-095-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | David Melski, Thomas W. Reps |
Interprocedural Path Profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 8th International Conference, CC'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, pp. 47-62, 1999, Springer, 3-540-65717-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Michael Siff, Satish Chandra 0001, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps |
Coping with Type Casts in C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings, pp. 180-198, 1999, Springer, 3-540-66538-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Michael Benedikt, Thomas W. Reps, Shmuel Sagiv |
A Decidable Logic for Describing Linked Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, pp. 2-19, 1999, Springer, 3-540-65699-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum |
Program Slicing of Hardware Description Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings, pp. 298-312, 1999, Springer, 3-540-66559-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Suan Hsi Yong, Susan Horwitz, Thomas W. Reps |
Pointer Analysis for Programs with Structures and Casting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, May 1-4, 1999, pp. 91-103, 1999, ACM, 1-58113-094-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Hausi A. Müller, Thomas W. Reps, Gregor Snelting |
Program comprehension and software reengineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 23(5), pp. 36-44, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps |
Program analysis via graph reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 40(11-12), pp. 701-726, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps |
"Maximal-munch" Tokenization in Linear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(2), pp. 259-273, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
tabulation, dynamic programming, backtracking, tokenization, memoization |
24 | Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm |
Solving Shape-Analysis Problems in Languages with Destructive Updating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(1), pp. 1-50, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
destructive updating, shape graphs, static analysis, abstract interpretation, shape analysis, pointer analysis, dataflow analysis, alias analysis |
24 | Thomas W. Reps |
Program Analysis via Graph Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILPS ![In: Logic Programming, Proceedings of the 1997 International Symposium, Port Jefferson, Long Island, NY, USA, October 13-16, 1997, pp. 5-19, 1997, MIT Press, 0-262-63180-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
24 | David Melski, Thomas W. Reps |
Interconveritibility of Set Constraints and Context-Free Language Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 74-89, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps, Thomas Ball, Manuvir Das, James R. Larus |
The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Software Engineering - ESEC/FSE '97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings, pp. 432-449, 1997, Springer, 3-540-63531-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps |
The Use of Program Profiling for Software Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung ![In: Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung der Gesellschaft für Informatik, Aachen, 24.-26. September 1997, pp. 4-16, 1997, Springer, 3-540-63066-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Michael Siff, Thomas W. Reps |
Identifying modules via concept analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1997 International Conference on Software Maintenance (ICSM '97), 1-3 October 1997, Bari, Italy, Proceedings, pp. 170-179, 1997, IEEE Computer Society, 0-8186-8013-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
program module identification, object similarity identification, algorithmic framework, concept lattice, subroutines, concept analysis, lattice theory, legacy code, positive information, object attributes, negative information |
24 | Thomas W. Reps |
On the Sequential Nature of Interprocedural Program-Analysis Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 33(8), pp. 739-757, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | G. Ramalingam, Thomas W. Reps |
On the Computational Complexity of Dynamic Graph Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 158(1&2), pp. 233-277, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Shmuel Sagiv, Thomas W. Reps, Susan Horwitz |
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 167(1&2), pp. 131-170, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | G. Ramalingam, Thomas W. Reps |
An Incremental Algorithm for a Generalization of the Shortest-Path Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Algorithms ![In: J. Algorithms 21(2), pp. 267-305, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps, Todd Turnidge |
Program Specialization via Program Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Partial Evaluation ![In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers, pp. 409-429, 1996, Springer, 3-540-61580-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm |
Solving Shape-Analysis Problems in Languages with Destructive Updating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 16-31, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Michael Siff, Thomas W. Reps |
Program Generalization for Software Reuse: From C to C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996, pp. 135-146, 1996, ACM, 978-0-89791-797-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C++, C |
24 | Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck |
Semantic Foundations of Binding Time Analysis for Imperative Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, La Jolla, California, USA, June 21-23, 1995, pp. 100-110, 1995, ACM Press, 0-89791-720-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps |
Shape Analysis as a Generalized Path Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, La Jolla, California, USA, June 21-23, 1995, pp. 1-11, 1995, ACM Press, 0-89791-720-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
LISP |
24 | Shmuel Sagiv, Thomas W. Reps, Susan Horwitz |
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 651-665, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps, Susan Horwitz, Shmuel Sagiv |
Precise Interprocedural Dataflow Analysis via Graph Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 49-61, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C |
24 | Thomas W. Reps, Genevieve Rosay |
Precise Interprocedural Chopping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1995, Washington, DC, USA, October 10-13, 1995, pp. 41-52, 1995, ACM, 978-0-89791-716-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
graph reachability, program chopping, realizable path, debugging, program slicing, interprocedural analysis, program dependence graph |
24 | Susan Horwitz, Thomas W. Reps, Shmuel Sagiv |
Demand Interprocedural Dataflow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1995, Washington, DC, USA, October 10-13, 1995, pp. 104-115, 1995, ACM, 978-0-89791-716-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
24 | G. Ramalingam, Thomas W. Reps |
On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 51(3), pp. 155-161, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
24 | G. Ramalingam, Thomas W. Reps |
An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994, pp. 287-296, 1994, ACM Press, 0-89791-636-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps |
Solving Demand Versions of Interprocedural Analysis Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 5th International Conference, CC'94, Edinburgh, UK, April 7-9, 1994, Proceedings, pp. 389-403, 1994, Springer, 3-540-57877-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay |
Speeding up Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994, New Orleans, Louisiana, USA, December 6-9, 1994, pp. 11-20, 1994, ACM, 978-0-89791-691-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
dynamic transitive closure, flow-sensitive summary information, realizable path, dynamic programming, program slicing, program debugging, program dependence graph |
24 | Thomas W. Reps |
Demand Interprocedural Program Analysis Using Logic Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Programming with Logic Databases (Book), ILPS ![In: Applications of Logic Databases, pp. 163-196, 1993, Kluwer, 0-7923-9533-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
24 | G. Ramalingam, Thomas W. Reps |
A Categorized Bibliography on Incremental Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 502-510, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps |
Scan Grammars: Parallel Attribute Evaluation via Data-Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA '93, Velen, Germany, June 30 - July 2, 1993, pp. 367-376, 1993, ACM, 0-89791-599-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Pascal |
24 | Paul Klint, Thomas W. Reps, Gregor Snelting |
Programming environments: report on an international workshop at Dagstuhl Castle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 27(11), pp. 90-96, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Wuu Yang, Susan Horwitz, Thomas W. Reps |
A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 1(3), pp. 310-354, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
coarsest partition, flow dependence, program integration, program representation graph, data-flow analysis, data dependence, control dependence, program dependence graph, static-single-assignment form |
24 | Susan Horwitz, Thomas W. Reps |
The Use of Program Dependence Graphs in Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, May 11-15, 1992., pp. 392-411, 1992, ACM Press, 0-89791-504-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Susan Horwitz, Thomas W. Reps |
Efficient Comparison of Program Slices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 28(8), pp. 713-732, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps |
Algebraic Properties of Program Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 17(1-3), pp. 139-215, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | G. Ramalingam, Thomas W. Reps |
Modification Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 547-558, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
24 | Susan Horwitz, Thomas W. Reps, David W. Binkley |
Interprocedural Slicing Using Dependence Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 12(1), pp. 26-60, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Wuu Yang, Susan Horwitz, Thomas W. Reps |
A program integration algorithm that accommodates semantics-preserving transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDE ![In: SIGSOFT'90 4th Symposium on Software Development Environments, Irvine, CA, USA, December 3-5, 1990, pp. 133-143, 1990, ACM, 0-89791-418-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Susan Horwitz, Jan F. Prins, Thomas W. Reps |
Integrating Noninterfering Versions of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 11(3), pp. 345-387, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps, Tim Teitelbaum |
The Synthesizer Generator - A System for Constructing Language-Based Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
DOI RDF |
|
24 | Thomas W. Reps, Tim Teitelbaum |
The Synthesizer Generator Reference Manual, Third Edition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
DOI RDF |
|
24 | Thomas W. Reps, Wuu Yang |
The Semantics of Program Slicing and Program Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL), pp. 360-374, 1989, Springer, 3-540-50940-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Susan Horwitz, Phil Pfeiffer, Thomas W. Reps |
Dependence Analysis for Pointer Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), Portland, Oregon, USA, June 21-23, 1989, pp. 28-40, 1989, ACM, 0-89791-306-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps, T. Bricker |
Illustrating Interference in Interfering Versions of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCM ![In: Proceedings of the 2nd International Workshop on Software Configuration Management, Princeton, NJ, USA, October 24, 1989, pp. 46-55, 1989, ACM Press, 0-89791-334-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps |
Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 25(2), pp. 155-178, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Susan Horwitz, Jan F. Prins, Thomas W. Reps |
Integrating Non-Interfering Versions of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988, pp. 133-145, 1988, ACM Press, 0-89791-252-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Susan Horwitz, Jan F. Prins, Thomas W. Reps |
On the Adequacy of Program Dependence Graphs for Representing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988, pp. 146-157, 1988, ACM Press, 0-89791-252-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps, Susan Horwitz |
Semantics-Based Program Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings, pp. 1-20, 1988, Springer, 3-540-19027-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Susan Horwitz, Thomas W. Reps, David W. Binkley |
Interprocedural Slicing Using Dependence Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24, 1988, pp. 35-46, 1988, ACM, 0-89791-269-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Susan Horwitz, Thomas W. Reps, David W. Binkley |
Interprocedural slicing using dependence graphs (with retrospective) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Best of PLDI ![In: 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection, pp. 229-243, 1988, ACM, 1-58113-623-4. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps, Susan Horwitz, Jan F. Prins |
Support for Integrating Program Variants in an Environment for Programming in the Large. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCM ![In: Proceedings of the International Workshop on Software Version and Configuration Control, January 27-29, 1988, Grassau, Germany, pp. 197-216, 1988, Teubner, 3-519-02671-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
24 | Thomas W. Reps, Tim Teitelbaum |
Language Processing in Program Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 20(11), pp. 29-40, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps, Alan J. Demers |
Sublinear-Space Evaluation Algorithms for Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 9(3), pp. 408-440, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps, Carla Marceau, Tim Teitelbaum |
Remote Attribute Updating for Language-Based Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA, January 1986, pp. 1-13, 1986, ACM Press. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps |
Generating Language-Based Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1984 |
RDF |
|
24 | Thomas W. Reps, Tim Teitelbaum |
The Synthesizer Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Development Environments (SDE) ![In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, Pennsylvania, USA, April 23-25, 1984, pp. 42-48, 1984, ACM, 0-89791-131-8. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps, Bowen Alpern |
Interactive Proof Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984, pp. 36-45, 1984, ACM Press, 0-89791-125-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps, Tim Teitelbaum, Alan J. Demers |
Incremental Context-Dependent Analysis for Language-Based Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 5(3), pp. 449-477, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps |
Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982, pp. 169-176, 1982, ACM Press, 0-89791-065-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps |
Generating Language-Based Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1982 |
RDF |
|
24 | Tim Teitelbaum, Thomas W. Reps, Susan Horwitz |
The why and wherefore of the Cornell Program Synthesizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGPLAN SIGOA Symposium on Text Manipulation ![In: Proceedings of the ACM SIGPLAN SIGOA Symposium on Text Manipulation, Portland, Oregon, USA, June 8-10, 1981, pp. 8-16, 1981, ACM, 978-0-89791-050-7. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
24 | Tim Teitelbaum, Thomas W. Reps |
The Cornell Program Synthesizer: A Syntax-Directed Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 24(9), pp. 563-573, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
24 | Alan J. Demers, Thomas W. Reps, Tim Teitelbaum |
Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, Williamsburg, Virginia, USA, January 1981, pp. 105-116, 1981, ACM Press, 0-89791-029-X. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
17 | Xin Li 0010, Mizuhito Ogawa |
Conditional weighted pushdown systems and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 141-150, 2010, ACM, 978-1-60558-727-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
weighted pushdown systems, model checking |
17 | Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric |
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 509-524, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Paul A. Yushkevich, Brian B. Avants, John Pluta, David Minkoff, John A. Detre, Murray Grossman, James C. Gee |
Shape-Based Alignment of Hippocampal Subfields: Evaluation in Postmortem MRI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I, pp. 510-517, 2008, Springer, 978-3-540-85987-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jessica R. Crouch, Stephen M. Pizer, Edward L. Chaney, Yu-Chi Hu, Gig S. Mageras, Marco Zaider |
Automated Finite-Element Analysis for Deformable Registration of Prostate Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 26(10), pp. 1379-1390, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Camil Demetrescu, Giuseppe F. Italiano |
Experimental analysis of dynamic all pairs shortest path algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 2(4), pp. 578-601, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
shortest paths, Dynamic graph algorithms, experimental algorithmics |
17 | Andreas Podelski, Thomas Wies |
Boolean Heaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings, pp. 268-283, 2005, Springer, 3-540-28584-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Michael Venable, Mohamed R. Chouchane, Md. Enamul Karim, Arun Lakhotia |
Analyzing Memory Accesses in Obfuscated x86 Executables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIMVA ![In: Detection of Intrusions and Malware, and Vulnerability Assessment, Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005, Proceedings, pp. 1-18, 2005, Springer, 3-540-26613-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Paul A. Yushkevich, Hui Zhang 0005, James C. Gee |
Parametric Medial Shape Representation in 3-D via the Poisson Partial Differential Equation with Non-linear Boundary Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 19th International Conference, IPMI 2005, Glenwood Springs, CO, USA, July 10-15, 2005, Proceedings, pp. 162-173, 2005, Springer, 3-540-26545-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Stephen M. Pizer, Ja-Yeon Jeong, Conglin Lu, Keith E. Muller, Sarang C. Joshi |
Estimating the Statistics of Multi-object Anatomic Geometry Using Inter-object Relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSSCV ![In: Deep Structure, Singularities, and Computer Vision, First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers, pp. 60-71, 2005, Springer, 3-540-29836-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Camil Demetrescu, Stefano Emiliozzi, Giuseppe F. Italiano |
Experimental analysis of dynamic all pairs shortest path algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2004, New Orleans, Louisiana, USA, January 11-14, 2004, pp. 369-378, 2004, SIAM, 0-89871-558-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Arend Rensink |
Canonical Graph Shapes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 401-415, 2004, Springer, 3-540-21313-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Yu-Sung Chang, Kevin T. McDonnell, Hong Qin 0001 |
An Interpolatory Subdivision for Volumetric Models over Simplicial Complexe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Shape Modeling International ![In: 2003 International Conference on Shape Modeling and Applications (SMI 2003), 12-16 May 2003, Seoul, Korea, pp. 143-152, 291, 2003, IEEE Computer Society, 0-7695-1909-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Y. Sampath K. Vetsa, Martin Styner, Stephen M. Pizer, Jeffrey A. Lieberman, Guido Gerig |
Caudate Shape Discrimination in Schizophrenia Using Template-Free Non-parametric Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003, 6th International Conference, Montréal, Canada, November 15-18, 2003, Proceedings, Part II, pp. 661-669, 2003, Springer, 3-540-20464-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | P. Thomas Fletcher, Sarang C. Joshi, Conglin Lu, Stephen M. Pizer |
Gaussian Distributions on Lie Groups and Their Application to Statistical Shape Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 18th International Conference, IPMI 2003, Ambleside, UK, July 20-25, 2003, Proceedings, pp. 450-462, 2003, Springer, 3-540-40560-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|