John Hatcliff - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged C++

A Comparison of the Perceptual Benefits of Linear Perspective and Physically-Based Illumination for Display of Dense 3D StreamtubesChris Weigle, David C. Banks. tvcg, 14(6):1723-1730, 2008. [doi]

Preparing for C++0xValentin David. OOPSLA 2008: 769-770 [doi]

Sixth International Conference on Creating, Connecting and Collaborating through Computing (C:::5::: 2008), January 14-16, Poitiers, FranceIEEE Computer Society, 2008.

Calculating with AutomataJos C. M. Baeten. birthday 2008: 747-756 [doi]

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462Jos C. M. Baeten, Ana Sokolova. jlp, 78(1):52, 2008. [doi]

Characterization of Flexible RF Microcoil Dedicated to Surface MriMarion Woytasik, J.-C. Ginefri, J.-S. Raynaud, M. Poirier-Quinot, Elisabeth Dufour-Gergam, J.-P. Grandchamp, L. Darrasse, P. Robert, J.-P. Gilles, Emile Martincic, O. Girard. corr, abs/0711.3326, 2007. [doi]

Hybrid molecular dynamics-quantum mechanics simulations of solute spectral properties in the condensed phase: Evaluation of simulation parametersMatthew C. Zwier, Justin M. Shorb, Brent P. Krueger. jcc, 28(9):1572-1581, 2007. [doi]

Frame shared memory: line-rate networking on commodity hardwareJohn Giacomoni, John K. Bennett, Antonio Carzaniga, Douglas C. Sicker, Manish Vachharajani, Alexander L. Wolf. ancs 2007: 27-36 [doi]

Fifth International Conference on Creating, Connecting and Collaborating through Computing (C:::5::: 2007), 24-26 January 2007, Kyoto, JapanIEEE Computer Society, 2007.

PrefaceJos C. M. Baeten, Iain C. C. Phillips. TCS, 386(3):167-168, 2007. [doi]

Applying a Tradeoff Model (TOM) to TACTRaihan Al-Ekram, Richard C. Holt, Chris Hobbs. IEEEares 2007: 351-355 [doi]

Anti-image FIR filters for large interpolation factorsAlok Jain, Rajiv Saxena, S. C. Saxena. sigpro, 86(11):3240-3245, 2006. [doi]

The study of QoS guarantee in the optical burst switching internet backboneHaw-Yun Shin, Jean-Lien C. Wu, Yu-Chi Hsu. osn, 3(1):50-63, 2006. [doi]

Fourth International Conference on Creating, Connecting and Collaborating through Computing (C:::5::: 2006), 26-27 January 2006, Berkeley, California, USAIEEE Computer Society, 2006.

PrefaceJos C. M. Baeten, Iain C. C. Phillips. ENTCS, 154(3):1-2, 2006. [doi]

Guest editors introduction: Special issue on Process Theory for Hybrid SystemsJos C. M. Baeten, Bas Luttik. jlp, 68(1-2):1-3, 2006. [doi]

A Simple Generic Library for CMarian Vittek, Peter Borovanský, Pierre-Etienne Moreau. icsr 2006: 423-426 [doi]

Bounds on the Capacity of the Blockwise Noncoherent APSK-AWGN ChannelsDaniel C. Cunha, Jaime Portugheis. corr, abs/cs/0508040, 2005. [doi]

Expressing checkable properties of dynamic systems: the Bandera Specification LanguageJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby. STTT, 4(1):34-56, 2002. [doi]

A Representational Scheme for Analyzing Information Technology and Organizational DependencyJohn Tillquist, John Leslie King, Carson C. Woo. misq, 26(2):91-118, 2002. [doi]

A Language Framework for Expressing Checkable Properties of Dynamic SoftwareJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby. spin 2000: 205-223

Bandera: extracting finite-state models from Java source codeJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng. ICSE 2000: 439-448 [doi]

Bandera: a source-level interface for model checking Java programsJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby. ICSE 2000: 762-765 [doi]

A labeling scheme for young tableaux spanning representations of permutation group S(N)C. R. Sarma, A. V. V. Nampoothiri. jcc, 21(3):185-190, 2000. [doi]

A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency PrimitivesJohn Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng. SAS 1999: 1-18 [doi]

A retina with parallel input and pulsed output, extracting high-resolution informationMichael J. Wilcox, Donald C. Thelen Jr.. tnn, 10(3):574-583, 1999. [doi]

Excited-State Molecular Electric Properties of Some Biologically Important Purines, Pyrimidines, and Azines: An ab Initio StudyManish Kumar Shukla, P. C. Mishra. jcisd, 38(4):678-684, 1998. [doi]

Will C++ Be Faster than Fortran?Todd L. Veldhuizen, M. Ed Jernigan. iscope 1997: 49-56

Lorentzian neural netsBertrand G. Giraud, Alan S. Lapedes, Lon Chang Liu, Jörg C. Lemm. NN, 8(5):757-767, 1995. [doi]

Io, Ganymede, and Callisto A Multiagent Robot Trash-Collecting TeamTucker R. Balch, Gary Boone, Thomas R. Collins, Harold Forbes, Douglas C. MacKenzie, Juan Carlos Santamaría. aim, 16(2):39-51, 1995.

C++ Conference1994.

The Epilog System: Automated Long-Term EEG Monitoring for EpilepsyThomas F. Collura, Ernest C. Jacobs, Richard C. Burgess, John P. Turnbull. Computer, 25(9):5-14, 1992.

The Total Order AssumptionJos C. M. Baeten. napaw 1993: 231-240

Matching structural and implementational models in the specification of image classifiersMichael C. Fairhurst, H. M. S. Abdel Wahab, Paul Brittan. PR, 24(6):555-566, 1991. [doi]

C++ Conference1991.

Representing Semantically Analyzed C++ Code with RepriseDavid S. Rosenblum, Alexander L. Wolf. c++ 1991: 119-134

Specification-Level InteroperabilityJack C. Wileden, Alexander L. Wolf, William R. Rosenblatt, Peri L. Tarr. CACM, 34(5):72-87, 1991.

Parallel Programmming in MaudeJosé Meseguer, Timothy C. Winkler. hlppp 1992: 253-293

Analyzing Hard-Real-Time Programs For Guaranteed SchedulabilityAlexander D. Stoyenko, V. Carl Hamacher, Richard C. Holt. TSE, 17(8):737-750, 1991. [doi]

cDNA sequence of the env gene of a pathogenic equine infectious anemia lentivirus variantT. C. McGuire, P. A. Lacy, K. I. O Rourke. nar, 18(1):196, 1990.

C++ Conference1990.

Specification Level InteroperabilityJack C. Wileden, Alexander L. Wolf, William R. Rosenblatt, Peri L. Tarr. ICSE 1990: 74-85

Flo52 on Hypercubes: Performance and Modelling of a Multigrid Euler CodeEric Barszcz, Tony F. Chan, Dennis C. Jespersen, Raymond S. Tuminaro. ijhsc, 1(3):481-503, 1989. [doi]

A Different Tack to Providing Persistence in a LanguagePeri L. Tarr, Jack C. Wileden, Alexander L. Wolf. DBPL 1990: 41-60 [doi]

C++ Conference1988.

Facilitating process prototyping by controlling the impact of changeJack C. Wileden, Lori A. Clarke, Alexander L. Wolf. ispw 1988: 163-166

Concurrent garbage collection on stock hardwareStephen C. North, John H. Reppy. fpca 1987: 113-133

Edmas: A Locally Distributed Mail SystemGuy T. Almes, Andrew P. Black, C. Bunje, D. Wiebe. ICSE 1984: 56-66

Home PageJos C. M. Baeten. http://www.win.tue.nl/~josb/,

runs on WebDSL