Andrei Voronkov - 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.

41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USAIEEE Computer Society, 2008.

Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, ProceedingsVolker Diekert, Mikhail V. Volkov, Andrei Voronkov, editors, Volume 4649 of Lecture Notes in Computer Science, Springer, 2007.

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

40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USAIEEE 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.

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.

46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005), 23-25 October 2005, Pittsburgh, PA, USA, ProceedingsIEEE Computer Society, 2005.

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.

Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-UnificationAndrei Voronkov. JAR, 30(2):121-151, 2003.

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.

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.

Current Trends in Theoretical Computer Science2001.

Decidability and complexity of simultaneous rigid E-unification with one variable and related resultsAnatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov. TCS, 243(1-2):167-184, 2000. [doi]

Simultaneous Rigid E-unification and other Decision Problems Related to the Herbrand TheoremAndrei Voronkov. TCS, 224(1-2):319-352, 1999. [doi]

Monadic Simultaneous Rigid E-unificationYuri Gurevich, Andrei Voronkov. TCS, 222(1-2):133-152, 1999. [doi]

The Decidability of Simultaneous Rigid ::::E::::-Unification with One VariableAnatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov. RTA 1998: 181-195 [doi]

Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid ::::E::::-UnificationAndrei Voronkov. JAR, 21(2):205-231, 1998.

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.

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.

The Undecidability of Simultaneous Rigid E-UnificationAnatoli Degtyarev, Andrei Voronkov. TCS, 166(1&2):291-300, 1996. [doi]

Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-UnificationAndrei Voronkov. cade 1996: 32-46

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.

Simultaneous Regid E-Unification Is UndecidableAnatoli Degtyarev, Andrei Voronkov. csl 1996: 178-190

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.

Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS 93, Gdansk, Poland, August 30 - September 3, 1993, ProceedingsAndrzej M. Borzyszkowski, Stefan Sokolowski, editors, Volume 711 of Lecture Notes in Computer Science, Springer, 1993.

34th Annual Symposium on Foundations of Computer Science, 3-5 November 1993, Palo Alto, California, USAIEEE, 1993.

ACM Conference on Computer Science1993.

Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education, 1993, Indianapolis, Indiana, USA, February 18-19, 1993Bruce J. Klein, Cary Laxer, Frank H. Young, editors, ACM, 1993.

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

Atomic Garbage CollectionElliot K. Kolodner, William E. Weihl. iwmm 1992: 365-387

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.

Atomic Garbage Collection: Managing a Stable HeapElliot K. Kolodner, Barbara Liskov, William E. Weihl. SIGMOD 1989: 15-25 [doi]

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.

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.

Mathematical Foundations of Computer Science 1980 (MFCS 80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980Piotr Dembinski, editor, Volume 88 of Lecture Notes in Computer Science, Springer, 1980.

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.

runs on WebDSL