David Harel - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged e-science

42st Hawaii International International Conference on Systems Science (HICSS-42 2009), Proceedings (CD-ROM and online), 5-8 January 2009, Waikoloa, Big Island, HI, USAIEEE Computer Society, 2009.

Sharing e-Learning Object Metadata Using ebXML Registries for Semantic Grid ComputingHyoung Do Kim. itiis, 2(5):239-252, 2008. [doi]

XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 8-9 November 2007, Iquique, ChileIEEE Computer Society, 2007.

Cryptology in York PennsylvaniaCraig Bauer, Suzanne E. Gladfelter. cryptologia, 29(2):159-175, 2005. [doi]

Exciton-polaritons in nanostructured nitride superlatticesF. F. de Medeiros, E. L. Albuquerque, M. S. Vasconcelos. mj, 36(11):1006-1010, 2005. [doi]

2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March - 1 April 2005, Hong Kong, ChinaIEEE Computer Society, 2005.

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005, St. Louis, Missouri, USA, February 23-27, 2005Wanda Dann, Thomas L. Naps, Paul T. Tymann, Doug Baldwin, editors, ACM, 2005.

High Performance Computing for Computational Science - VECPAR 2004, 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited PapersMichel J. Daydé, Jack Dongarra, Vicente Hernández, José M. Laginha M. Palma, editors, Volume 3402 of Lecture Notes in Computer Science, Springer, 2005.

Combining State-Based and Scenario-Based Approaches in Modeling Biological SystemsJasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin. cmsb 2005: 236-241 [doi]

EditorialDavid E. Avison, Guy Fitzgerald, Philip Powell. isj, 14(1):1-2, 2004. [doi]

Impact of mergers & acquisitions on research productivity within the pharmaceutical industryMichael E. D. Koenig, Elizabeth M. Mezick. scientometrics, 59(1):157-169, 2004. [doi]

Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2004, Leeds, UK, June 28-30, 2004Roger D. Boyle, Martyn Clark, Amruth Kumar, editors, ACM, 2004.

Software development: arts & crafts or math & science?Jim Haungs, Martin Fowler, Ralph E. Johnson, Steve McConnell, Richard P. Gabriel. OOPSLA 2004: 141-142 [doi]

Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, ProceedingsAndrew D. Gordon, editor, Volume 2620 of Lecture Notes in Computer Science, Springer, 2003.

Faster Parametric Shortest Path and Minimum Balance AlgorithmsNeal E. Young, Robert Endre Tarjan, James B. Orlin. corr, cs.DS/0205041, 2002. [doi]

Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, ProceedingsMogens Nielsen, Uffe Engberg, editors, Volume 2303 of Lecture Notes in Computer Science, Springer, 2002.

Three-Dimensional Reconstruction of Microcalcification Clusters from Two Mammographic ViewsMargaret Yam, Michael Highnman, Christian P. Behrenbruch, Ruth E. English, Yasuyo Kita. tmi, 20(6):479-489, 2001.

Automatic generation of instructional hypermedia with APHIDJudi R. Thomson, Jim E. Greer, John Cooke. iwc, 13(6):631-654, 2001.

Current Trends in Theoretical Computer Science2001.

Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999, New Orleans, Louisiana, USA, March 14-28, 1999Jane Prey, Robert E. Noonan, editors, ACM, 1999.

Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS 98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, ProceedingsMaurice Nivat, editor, Volume 1378 of Lecture Notes in Computer Science, Springer, 1998.

Polypeptide structure prediction: real-value versus binary hybrid genetic algorithmsCharles E. Kaiser, Gary B. Lamont, Laurence D. Merkle, George H. Gates Jr., Ruth Pachter. SAC 1997: 279-286 [doi]

Formal Account of Sequential Decision-Making in a Co-Operative SettingGregory E. Kersten, Stan Szpakowicz. FUIN, 30(3/4):269-281, 1997.

A bank of protein family patterns for rapid identification of possible functions of amino acid sequencesAlexander G. Bachinsky, Andrey A. Yarigin, E. H. Guseva, V. A. Kulichkov, Lily Ph. Nizolenko. bioinformatics, 13(2):115-122, 1997.

Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS 97, Bratislava, Slovakia, August 25-29, 1997, ProceedingsIgor Prívara, Peter Ruzicka, editors, Volume 1295 of Lecture Notes in Computer Science, Springer, 1997.

Semi-automatic, Self-adaptive Control of Garbage Collection Rates in Object DatabasesJonathan E. Cook, Artur Klauser, Alexander L. Wolf, Benjamin G. Zorn. SIGMOD 1996: 377-388 [doi]

Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, ACSE 1996, Sydney, NSW, Australia, July 1996Alan Fekete, John Rosenberg, editors, Volume 1 of ACM International Conference Proceeding Series, ACM, 1996.

A High School Program in Computer ScienceJudith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai. Computer, 28(10):73-80, 1995.

Computer Science Today: Recent Trends and DevelopmentsJan van Leeuwen, editor, Volume 1000 of Lecture Notes in Computer Science, Springer, 1995.

ACM Conference on Computer Science1994.

How to Get a Paper Accepted at OOPSLA (Panel)Ralph E. Johnson, Kent Beck, Grady Booch, William R. Cook, Richard P. Gabriel, Rebecca Wirfs-Brock. OOPSLA 1993: 429-436

Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, ProceedingsR. K. Shyamasundar, editor, Volume 761 of Lecture Notes in Computer Science, Springer, 1993.

33rd Annual Symposium on Foundations of Computer Science, 24-27 October 1992, Pittsburgh, Pennsylvania, USAIEEE, 1992.

Optimistic Parallelization of Communicating Sequential ProcessesDavid F. Bacon, Robert E. Strom. ppopp 1991: 155-166

Conformational freedom in 3-D databases. 1. TechniquesN. W. Murrall, E. Keith Davies. jcisd, 30(3):312-316, 1990. [doi]

Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)1990.

Mathematical Foundations of Computer Science 1989, MFCS 89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, ProceedingsAntoni Kreczmar, Grazyna Mirkowska, editors, Volume 379 of Lecture Notes in Computer Science, Springer, 1989.

STACS 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, ProceedingsBurkhard Monien, Robert Cori, editors, Volume 349 of Lecture Notes in Computer Science, Springer, 1989.

On two roles decision support systems can play in negotiationsGregory E. Kersten. ipm, 23(6):605-614, 1987. [doi]

Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, ProceedingsKesav V. Nori, editor, Volume 287 of Lecture Notes in Computer Science, Springer, 1987.

TBFLP-A Simple Preprocessor for TablesMichael E. Dewey. SPE, 16(8):731-738, 1986.

Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985Terry M. Walker, Wayne D. Dominick, editors, ACM, 1985.

Real-Time Distributed Computer SystemsWilliam R. Franta, E. Douglas Jensen, Richard Y. Kain, George D. Marshall. ac, 20:39-82, 1981.

Curriculum 78 - Is Computer Science Really that Unmathematical?Anthony Ralston, Mary Shaw. CACM, 23(2):67-70, 1980.

Workshop Summary (discussion)Stephen N. Zilles, Ira P. Goldstein, E. F. Codd, Mary Shaw. SIGMOD 1981: 88-90 [doi]

Validation of DEC-10 Closed QueueingHarold E. Saxton, Gary B. Lamont. cmg 1978: 143-151

Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978Józef Winkowski, editor, Volume 64 of Lecture Notes in Computer Science, Springer, 1978.

Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, ProceedingsAntoni W. Mazurkiewicz, editor, Volume 45 of Lecture Notes in Computer Science, Springer, 1976.

Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin near Warsaw, June 17-22, 1974, ProceedingsAndrzej Blikle, editor, Volume 28 of Lecture Notes in Computer Science, Springer, 1975.

Home PageRoberto E. Lopez-Herrejon.

runs on WebDSL