/dirv.Computer_Science.Theoretical.Complexity_Theory.People.html Website2007.org on 2008 : Computer Science : Theoretical : Complexity Theory : People
  computers  

People

Website2007.org on 2008 : Computer Science : Theoretical : Complexity Theory : People

  117 pages found in People:

Fagin, Ronald - IBM Almaden Research Center.
http://www.almaden.ibm.com/cs/people/fagin/

Beigel, Richard - Temple University.
http://knight.cis.temple.edu/~beigel/

Arsham, Hossein - University of Baltimore.
http://home.ubalt.edu/ntsbarsh/index.html

Selman, Alan - University at Buffalo.
http://www.cse.buffalo.edu/~selman/

Merkle, Wolfgang - Ruprecht Karls Universität Heidelberg.
http://math.uni-heidelberg.de/logic/merkle/merkle.html

Lutz, Jack - Iowa State University.
http://www.cs.iastate.edu/~lutz/

Kiwi, Marcos - University of Chile.
http://www.dim.uchile.cl/~mkiwi/

Zuckerman, David - University of Texas at Austin.
http://www.cs.utexas.edu/users/diz/

Balcázar, Jose - Facultat d'Informatica de Barcelona.
http://www-lsi.upc.es/~balqui/home.html

Calude, Cristian - University of Auckland.
http://www.cs.auckland.ac.nz/~cristian/

Schulman, Leonard - California Institute of Technology.
http://www.cs.caltech.edu/~schulman/index.html

Reischuk, Rüdiger - Universität zu Lübeck.
http://www.itheoi.mu-luebeck.de/mitarbeiter/reischuk/

Levesque, Hector - Local search, random SAT, artificial intelligence.
http://www.cs.toronto.edu/~hector/

Sudan, Madhu - Massachusetts Institute of Technology.
http://people.csail.mit.edu/madhu/

Hirsch, Edward - Steklov Institute of Mathematics at St.Petersburg.
http://logic.pdmi.ras.ru/~hirsch/index.html

Busygin, Stas - Efficient algorithms for hard computational problems; NP-completeness. Publications; software; resources on NP-completeness.
http://busygin.dp.ua/

Bläser, Markus - Saarland University, Department of Computer Science
http://www-cc.cs.uni-sb.de/mblaeser/

Bollig, Beate - University of Dortmund.
http://ls2-www.cs.uni-dortmund.de/~bollig/

Kabanets, Valentine - Simon Fraser University.
http://www.cs.sfu.ca/~kabanets/

Manthey, Bodo - Institute of Theoretical Computer Science.
http://www-cc.cs.uni-sb.de/manthey/

Chazelle, Bernard - Princeton University.
http://www.cs.princeton.edu/~chazelle/

Pudlák, Pavel - Mathematical Institute of the Academyof Sciences of the Czech Republic.
http://www.math.cas.cz/~pudlak/

Pollett, Chris - San Jose State University.
http://www.cs.sjsu.edu/faculty/pollett/

Schuler, Rainer - Universität Ulm.
http://theorie.informatik.uni-ulm.de/Personen/rs.html

Chen, Jianer - Texas A&M University.
http://faculty.cs.tamu.edu/chen/

Ben-Or, Michael - The Hebrew University.
http://www.cs.huji.ac.il/~benor/

Buss, Jonathan - University of Waterloo.
http://www.cs.uwaterloo.ca/~jfbuss/

Beame, Paul - University of Washington.
http://www.cs.washington.edu/homes/beame/beame.html

Håstad, Johan - Kungliga Tekniska högskolan.
http://www.nada.kth.se/~johanh/

Hemaspaandra, Lane - University of Rochester.
http://www.cs.rochester.edu/u/lane/

Leivant, Daniel - Indiana University.
http://www.cs.indiana.edu/~leivant/

Raz, Ran - Weizmann Institute of Science.
http://www.wisdom.weizmann.ac.il/~ranraz/

Sauerhoff, Martin - Dortmund University.
http://ls2-www.informatik.uni-dortmund.de/~sauerhof/

Tompa, Martin - University of Washington.
http://www.cs.washington.edu/homes/tompa/

Moore, Cris - University of New Mexico.
http://www.santafe.edu/~moore/

Xu, Ke - Beijing University of Aeronautics and Astronautics.
http://www.nlsde.buaa.edu.cn/~kexu/

Chaitin, Greg - IBM Research.
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/

Homer, Steve - Boston University.
http://www.cs.bu.edu/faculty/homer/

Jerrum, Mark - University of Edinburgh.
http://www.dcs.ed.ac.uk/home/mrj/

Chang, Richard - University of Maryland.
http://www.csee.umbc.edu/~chang/

Gal, Anna - University of Texas at Austin.
http://www.cs.utexas.edu/users/panni/

Barak, Boaz - Institute for Advanced Studies.
http://www.cs.princeton.edu/~boaz/

Thierauf, Thomas - Universität Ulm.
http://theorie.informatik.uni-ulm.de/Personen/tt.html

Van Melkebeek, Dieter - University of Wisconsin-Madison.
http://pages.cs.wisc.edu/~dieter/

Ben-Sasson, Eli - Senior Lecturer, Technion, Haifa, Israel.
http://www.cs.technion.ac.il/~eli/

Pitassi, Toniann - University of Arizona.
http://www.cs.arizona.edu/people/toni/

Krajicek, Jan - Mathematical Institute of the Academy of Sciences of the Czech Republic.
http://www.math.cas.cz/~krajicek/

Hermann, Miki - National Center for Scientific Research (France).
http://www.lix.polytechnique.fr/~hermann/

Moscato, Pablo - Universidade Estadual de Campinas.
http://www.densis.fee.unicamp.br/~moscato/

Bellare, Mihir - University of California, San Diego.
http://www.cse.ucsd.edu/users/mihir/

Rudich, Steven - Carnegie Mellon University.
http://www.cs.cmu.edu/~rudich/

Wigderson, Avi - Institute for Advanced Study, Princeton.
http://www.math.ias.edu/~avi/

Per Bjesse - SAT-based hardware verification (using Stalmarck's algorithm)
http://www.cs.chalmers.se/~bjesse/

Kutylowski, Miroslaw - University of Paderborn.
http://wwwcs.uni-paderborn.de/fachbereich/AG/agmadh/WWW/english/Kuty.html

Vitanyi, Paul - University of Amsterdam.
http://homepages.cwi.nl/~paulv/index.html

Matiyasevich, Yuri - Steklov Institute of Mathematics.
http://logic.pdmi.ras.ru/~yumat/

Reinhardt, Klaus - Universität Tübingen.
http://www-fs.informatik.uni-tuebingen.de/~reinhard/

Sitharam, Meera - University of Florida.
http://www.cise.ufl.edu/~sitharam/

Vadhan, Salil - Harvard University.
http://www.eecs.harvard.edu/~salil/

Case, John - University of Delaware.
http://www.cis.udel.edu/~case/

Simon, Hans Ulrich - Ruhr-Universität Bochum.
http://www.ruhr-uni-bochum.de/lmi/simon/index.html

Zwick, Uri - Tel Aviv Univerusity.
http://www.math.tau.ac.il/~zwick/

Russell, Alexander - University of Connecticut.
http://www.cse.uconn.edu/~acr/

Green, Frederic - Clark University.
http://aleph0.clarku.edu/~fgreen/home.html

Grolmusz, Vince - Eötvös University.
http://www.cs.elte.hu/~grolmusz/

Jukna, Stasys - Johann Wolfgang Goethe University.
http://www.thi.informatik.uni-frankfurt.de/~jukna/

Rogers, John - DePaul University.
http://facweb.cs.depaul.edu/jrogers/

Alon, Noga - School of Mathematical Sciences at Tel Aviv University.
http://www.math.tau.ac.il/~nogaa/

Furer, Martin - Pennsylvania State University.
http://www.cse.psu.edu/~furer/

Hajiaghayi, Mohammad Taghi - Massachusetts Institute of Technology.
http://www.mit.edu/~hajiagha/

Razborov, Alexander - Steklov Mathematical Institute.
http://www.mi.ras.ru/~razborov/

Vereshchagin, N.K. - Moscow State University.
http://lpcs.math.msu.su/~ver/

Parberry, Ian - Department of Computer Science and Engineering, University of North Texas.
http://www.eng.unt.edu/ian/

Mayordomo, Elvira - Instituto de investigación en Ingeniería de Aragón.
http://webdiis.unizar.es/~elvira/

Spielman, Daniel A. - Professor of Applied Mathematics and Computer Science at Yale.
http://www.cs.yale.edu/homes/spielman/

Grigni, Michelangelo - Emory University.
http://www.mathcs.emory.edu/~mic/

Pitt, Francois - University of Toronto.
http://www.cs.toronto.edu/~fpitt/

Yao, Chi Chin - Tsinghua University.
http://www.castu.tsinghua.edu.cn/yao/

Waack, Stephan - Universität Göttingen.
http://user.informatik.uni-goettingen.de/~waack/

Liskiewicz, Maciej - University of Wroclaw.
http://www.ii.uni.wroc.pl/~liskiewi/

Nisan, Noam - Hebrew University.
http://www.cs.huji.ac.il/~noam/index.html

Goldwasser, Shafi - Massachusetts Institute of Technology.
http://people.csail.mit.edu/shafi/

Hitchcock, John - University of Wyoming.
http://www.cs.uwyo.edu/~jhitchco/

Kutrib, Martin - Universität Gießen.
http://www.informatik.uni-giessen.de/staff/kutrib.html

Zheng, Xizhong - Brandenburgische Technische Universität Cottbus.
http://www-sst.informatik.tu-cottbus.de/~wwwti/zheng/

Khuller, Samir - University of Maryland.
http://www.cs.umd.edu/users/samir/index.html

Veith, Helmut - Institute of Information Systems.
http://www.model.in.tum.de/~veith/

Chen, Hubie - Cornell University.
http://www.tecn.upf.es/~hchen/

Shoup, Victor - Courant Institute.
http://www.shoup.net/

Wolkowicz, Henry - University of Waterloo.
http://orion.math.uwaterloo.ca/~hwolkowi/

Kolmogorov, Aleksey - Moscow State University.
http://kolmogorov.com/

Rivest, Ronald - Massachusetts Institute of Technology.
http://people.csail.mit.edu/rivest/

Ryabko, Boris - Siberian State University.
http://boris.ryabko.net/

Arora, Sanjeev - Princeton University.
http://www.cs.princeton.edu/~arora/

Johannsen, Jan - University of München.
http://www.tcs.informatik.uni-muenchen.de/~jjohanns/

Kann, Viggo - Nada.
http://www.nada.kth.se/~viggo/index-en.html

Edmonds, Jeff - York University.
http://www.cse.yorku.ca/~jeff/

Kosub, Sven - Technische Universität München.
http://www.inf.uni-konstanz.de/~kosub/

Buss, Samuel - University of California, San Diego.
http://euclid.ucsd.edu/~sbuss/

Kushilevitz, Eyal - Israel Institute of Technology.
http://www.cs.technion.ac.il/~eyalk/

Luby, Michael - International Computer Science Institute.
http://www.icsi.berkeley.edu/~luby/

Allender, Eric - Rutgers, the State University of NJ.
http://www.cs.rutgers.edu/~allender/

Niedermeier, Rolf - Universität Tübingen.
http://theinf1.informatik.uni-jena.de/~niedermr/

Karpinski, Marek - University of Bonn.
http://theory.cs.uni-bonn.de/~marek/

Sgall, Jiri - Mathematical Institute, Academy of Sciences of the Czech Republic.
http://www.math.cas.cz/~sgall/

Papadimitriou, Christos H. - Author of the very popular book on complexity theory. Home page with recent publications and links to courses.
http://www.cs.berkeley.edu/~christos/

Magniez, Frederic - University of Paris.
http://www.lri.fr/~magniez/

Franco, John - Probabilistic analysis of algorithms, polynomial time solvable subclasses of satisfiability.
http://www.ece.uc.edu/~franco/

Meinel, Christoph - Hasso Plattner Institute for Software Systems Engineering, University of Potsdam
http://www.hpi.uni-potsdam.de/meinel/chair.html

Klauck, Hartmut - University of Calgary.
http://pages.cpsc.ucalgary.ca/~klauckh/

Frisch, Alan - Artificial Intelligence, constraint satisfaction problems
http://www-users.cs.york.ac.uk/~frisch/

Dantsin, Evgeny - Roosevelt University.
http://cs.roosevelt.edu/~dantsin/

Hesse, William - Clarkson University.
http://people.clarkson.edu/~whesse/

Vardi, Moshe Y. - Recent paper on the hardness of random formulas for SAT solver; bounded tree-width.
http://www.cs.rice.edu/~vardi/

Sieling, Detlef - Dortmund University.
http://ls2-www.cs.uni-dortmund.de/~sieling/

Savicky, Petr - Institute of Computer Science, Academy of Sciences of the Czech Republic.
http://www.cs.cas.cz/~savicky/

Czumaj, Artur - University of Paderborn.
http://wwwcs.upb.de/cs/artur.html



Help build the largest human-edited directory on the web.
  Submit a Site - Open Directory Project - Become an Editor  
Power Rangers - Car Loans - Bad Credit Mortgages - Business in 2007 - Repair Bad Credit
--BEGIN VALIDATION CODE--
P wGiVvYpIvC iAlAvQuQkMpAdKjGkQgEqO vEs GqKbRhVlF e YqEdXaHkT rSzSuDjWdT b McBqErT vSyL fLxLa BdDzZiJ fZ z VlHv L zFiJoEoUvYwQwTpGgJwGiLoO jOnMvQ oN rEvQgTj NsC jP lKvOkAuDjOqX nSkZyYqQ a WyGk NtQ zFgQxZlX eWdU iQ aYv QxLaWiTkCwT xObDdGoLcEj GkR oZzMiItUoBwVxQmIjPdZ dCmWkArKgF hBlPcNgIpH dM kLzTiHsD oQaQiTbQoSoZmWtV qNfRjE rWoOiWv hohositeX2006
--END VALIDATION CODE--


© 2007 Best viewed in Internet Explorer 5+ or Netscape 6+
Recommended Sites: 1. Arts - Business - Computers - Games - Health - Home - Kids and Teens - News - Recreation - Reference - Regional - Science - Shopping - Society - Sports - World Miss Gallery - Top Anime Hentai - DVD rental by mail - Computers
Copyright 2006 S: 2007-01-23
websites2007