43037Diverge Dot OrgA collection of periodic documents about technology such as architectures and software engineering.WWW Computer ArchitectureThe page for all the research in computer architecture and microprocessors.ACM Computing Classification SystemAdvice on Research and WritingComp.Theory FAQTheoretical computer science43056TCS GenealogyInformation on earned doctoral degrees (adviser, university, and year) of theoretical computer scientists worldwide.108870Abramsky, SamsonUniversity of Edinburgh - Semantics of programming languages, concurrency, game semantics, program analysis.Abadi, Mart&xED;nDEC SRC - Computer and network security, specification and verification methods, programming languages.Aiken, AlexBerkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, end user programming, visualization.A&xEF;t-Kaci, HassanSimon Fraser University - Constraint-based programming, object-orientation, logical and functional programming, and the design of compilation techniques.Agha, GulUniversity of Illinois, Urbana-Champaign - Developing new abstractions for building open distributed systems and reasoning about their behavior. such systems generally have requirements such as parallelism, coordination, availability, and real-time behavior.Agrawal, Dharma P.Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability. University of Cincinnati.Alpuente, Mar&xED;aTechnical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation.Altenkirch, ThorstenType theory, categorical logic, and program verification.108871Boggess, GeneCognitive science, neural networks, computational linguistics, genetic algorithms. Mississippi State University.Bruce, Kim B.Programming language design and semantics: Type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.Brill, EricInfluential researcher in natural language processing. His page contains software and publications.Banicescu, IoanaParallel algorithms, scientific computing. Mississippi State University.Bridges, SusanExpert systems, knowledge discovery in databases, intelligent interfaces. Mississippi State University.108872Cardelli, LucaMicrosoft Research - Type theory and operational semantics, mostly for applications to language design, semantics, and implementation. Semantic and type-theoretic foundations of object-oriented languages. Global and mobile computation issues.Charniak, EugeneInfluential researcher in Natural Language Processing and Artificial Intelligence. His home page features some of his publications, in postscript. Brown University.Carter, Bradley D.Software engineering, software metrics. Mississippi State University.108873Day, BillTechnology Evangelist at Sun Microsystems, interests include software and aerospace engineering, molecular nanotechnology, streaming media and multimedia, java, and computer graphics.Dearholt, Donald W.Human-Computer Interaction, Theory and Application of Associative Graphs. Mississippi State University.108874108875Frailey, Dennis J.Software engineering improvement, especially focusing on cycle time.108876108877Haas, LauraDatabase query processing.Heller, Rachelle S.Multimedia taxonomy. George Washington University.Hansen, EricArtificial intelligence, planning and reasoning under uncertainty, and resource-bounded computing. Mississippi State University.Hodges, JuliaArtificial intelligence, knowledge representation, knowledge discovery in databases, expert systems, document understanding. Mississippi State University.108878108879Jamil, HasanIntelligent database systems, artificial intelligence. Mississippi State University.108880Knuth, Donald E.Professor Emeritus of The Art of Computer Programming at Stanford UniversityKleinrock, LeonardInventor of the internet technology packet switching. Has published more than 200 papers and authored six books on a wide array of subjects including packet switching networks, packet radio networks, local area networks, broadband networks and gigabit networks. Additionally, Dr. Kleinrock has recently launched the field of nomadic computing, the emerging technology to support users as soon as they leave their desktop environments.108881Lambert, LynnNatural language understanding, science education.Little, RaineyInstruction set architecutre, data compression. Mississippi State University.108882Majerus, Laura"Intellectual property protection and counseling in the areas of software and computer systems."Machiraju, RaghuComputer graphics, image analysis. Mississippi State University.Miller, Nancy E.Curriculum, File structures, database systems, intelligent computer aided instruction, intelligent tutoring. Mississippi State University.108883108884108885Peiris, RamaneeInterests: Engagement with computers, Women in Science, Engineering, and Technology. Lecturer in Department of Applied Computing, University of Dundee, Scotland, UK.Palsberg, JensObject-oriented languages, type systems, compilers, software generators, software evolution.Philip, ThomasSoftware engineering, software design, software testing, application of intelligent systems. Mississippi State University.108886108887Rivest, Ronald L.Webster Professor of MIT's Electrical Engineering and Computer Science, Associate Director of MIT's Laboratory for Computer Science, a founder of RSA Data SecurityRada, RoyDistance education.Rosebush, Judson"Director and producer of multimedia products and computer animation."Reese, DonnaParallel processing, microprocessors, computer architecture, object oriented programming, instructional technology. Mississippi State University.108888Stork, David G.Pattern recognition, Neural networks, Machine learning, Adaptive human interfaces for data repositories, Strategic document studies, Image and pattern recognition algorithms for novel parallel hardware.Schrupp, TomC Programming. Mississippi State University.Skjellum, AnthonyParallel algorithms, parallel software development, scientific computing. Mississippi State University.108889Alan TuringFounder of computer science, mathematician, philosopher, codebreaker, strange visionary.108890108891Vemuri, V. RaoDigital Media, Soft Computing, Neural Networks, Genetic Algorithms, Numerical Methods.Vaughan, PaulaIntroductory computer science. Mississippi State University.Vaughn, RaySoftware engineering, computer security. Mississippi State University.108892Weaver, KathleenSchool teacher with Dallas Public Schools (Computer Science and Webmastering).10889310889410889558089Electronic Workshops in ComputingAlgorithmicaInternational Journal in Computer Science. "Algorithmica is an international journal which publishes original papers on algorithms that are either (i) theoretical papers addressing problems arising in practical areas or (ii) experimental papers that have general appeal because of their practical importance or techniques. Papers are expected to make significant contributions, judged in terms of theoretical analysis, simulations, or algorithm behavior on data from applications."Journal of AlgorithmsSIAM Journal on ComputingComputing ReviewsLecture Notes in Computer ScienceComputational Statistics"Computational Statistics (CompStat) is an international journal which promotes the publication of applications and methodological research in the field of Computational Statistics. The focus of papers in CompStat is on the contribution to and influence of computing on statistics and vice versa. The journal provides a forum for computer scientists, mathematicians, and statisticians in a variety of fields of statistics such as biometrics, econometrics, data analysis, graphics, simulation, algorithms, knowledge based systems, and Bayesian computing. CompStat publishes hardware, software plus package reports as well as book reviews."ComputingDistributed Systems EngineeringIEEE/ACM Transactions on NetworkingComputer BulletinJournal of Universal Computer ScienceActa Informatica"The journal provides international dissemination of contributions on the art, discipline and science of informatics. Its scope covers design, description, presentation and analysis of programs, information structures, computing systems and interaction between components thereof."Chicago Journal of Theoretical Computer ScienceComputer JournalTheoretical Computer ScienceJournal of Functional ProgrammingTheory of Computing SystemsVisual ComputerJournal of Artificial Intelligence ResearchInformatique Th&xE9;orique et ApplicationsInternational Journal on Very Large Data BasesDistributed ComputingCurrent CitesJournal of Computing and InformationJournal of Symbolic ComputationInformation and ComputationJournal of Computer and System SciencesJournal of Visual Languages and ComputingAnnals of Mathematics and Artificial Intelligence"Devoted to reporting significant contributions on the interaction of mathematical and computational techniques reflecting the evolving disciplines of artificial intelligence. Annals of Mathematics and Artificial Intelligence publishes edited volumes of original manuscripts, survey articles, monographs and well refereed conference proceedings of the highest caliber within this increasingly important field."Computational Complexity"CC presents outstanding research in computational complexity. Its subject is at the interface between mathematics and theoretical computer science, with a clear mathematical profile and strictly mathematical format."Mathematical Structures in Computer ScienceECCCElectronic Colloquium on Computational ComplexityThe Journal of Conceptual ModelingThe Journal of Conceptual Modeling (JCM) is the only free publication dedicated to conceptual modeling techniques (and related topics) such as Object-Role Modeling (ORM), Natural Language Modeling (NLM), and the Unified Modeling Language (UML). In addition to 6 issues of informative articles every year, the JCM is home of many resources such as mailing lists, links, articles, and books.84288IEEE Computer SocietyThe Digital Queers Initiative at GLAADCRAComputing Research AssociationGMDGerman National Research Center for Information TechnologyBCSBritish Computer SocietyInformatics Society of IranLFCIALaboratory of Foundations in Computer Science and Artificial IntelligenceEATCSEuropean Association for Theoretical Computer ScienceCEPISCouncil of European Professional Informatics SocietiesIFIPInternational Federation for Information ProcessingOCGAustrian Computer SocietyNJSZTJohn von Neumann Computer SocietyGIGerman Informatics SocietyNCSNorwegian Computer SocietyVRINetherlands Association of Registered Information ScientistsFESISpanish Federation of Computer SocietiesUSENIXAdvanced Computing Systems AssociationHKCSThe Hong Kong Computer SocietyISCAInternational Society for Computers and Their ApplicationsCenter for Automation Research106999ACMAssociation for Computing Machinery107684ACM Transactions on Computer-Human InteractionACM Computing SurveysACM Journal of Experimental AlgorithmicsACM Transactions on Computer SystemsACM Transactions on Design Automation of Electronic SystemsACM Transactions on Database SystemsACM Transactions on Information and System SecurityACM Transactions on GraphicsACM Transactions on Modeling and Computer SimulationACM Transactions on Information SystemsACM Transactions on Mathematical SoftwareCrossroads: ACM Student MagazineACM Transactions on Programming Languages and SystemsACM Transactions on Software Engineering and MethodologyCollected Algorithms of the ACMCommunications of the ACMIEEE/ACM Transactions on NetworkingJournal of the ACM111231SIGMETRICSMeasurement and EvaluationSIGACTAlgorithms and Computational TheorySIGADAAda Programming LanguageSIGAPLAPL Programming LanguageSIGAPPApplied ComputingSIGARCHComputer ArchitectureSIGARTArtificial IntelligenceSIGBIOBiomedical ComputingSIG3CComputing at Community CollegesSIGCAPHComputers and the Physically HandicappedSIGCASComputers and SocietySIGCHIComputer-Human InteractionSIGCOMMData CommunicationSIGCPRComputer Personnel ResearchSIGCSEComputer Science EducationSIGCUEComputer Uses in EducationSIGDADesign AutomationSIGDOCSystems DocumentationSIGGRAPHComputer Graphics and Interactive TechniquesSIGGROUPSupporting Group WorkSIGIRInformation RetrievalSIGKDDKnowledge Discovery in DataSIGMOBILEMobility of Systems, Users, Data and ComputingSIGMICROMicrorarchitectural Research & ProcessingSIGMISManagement Information SystemsSIGMMMultimediaSIGMODManagement of DataSIGNUMNumerical MathematicsSIGOPSOperating SystemsSIGPLANProgramming LanguagesSIGSACSecurity, Audit and ControlSIGSAMSymbolic and Algebraic ManipulationSIGSIMSimulation and ModelingSIGSOFTSoftware EngineeringSIGSOUNDSound TechnologySIGUCCSUniversity and College Computing ServicesSIGWEBHypertext, Hypermedia and Web84330Hypertext Bibliography ProjectComputer Science journalsCollection of Computer Science BibliographiesBibTeX entries of references from journal articles, conference papers and technical reports from more than a thousand computer science-related bibliographies.DBLP Computer Science BibliographyDigital Bibliography & Library Project provides bibliographic information on major computer science journals and proceedings.HCI BibliographyGary Perlman's online bibliography on human-computer interaction.UCSTRIUnified Computer Science TR IndexComputers and Copyrights: Bibliographyprimarily covers United States copyright law up to 1997.Pointers to Linear Logic Papersincludes linear logic semantics, proof theory, complexity, and expressiveness. Linear logic was developed by J.Y.Girard as part of his investigation into the semantics of Intuitionistic LogicA Design Bibliographypicks by Alan Cooper on usability and interface design from an architectural perspective.DBLP BibliographyDigital Bibliography & Library Project (US mirror at acm.org)Interaction Design Bibliographyincludes interface design, information design, multimedia, visual design, etc.User Interface Engineering -- User Interface Design Bibliographyan annotated bibliography.Index of Crypto Papers Onlineby Bruce Schneier at Counterpane systems.Elliptic Curves and Cryptology bibliographya cryptographic bibligraphy primarliy focused on elliptic curves.SIGGRAPH Bibliography Database Searchreferences to publications in the computer graphics literature.Bibliography for Computational Probability and Statisticsrelated to computational statistics and probability useful in probabilistic modeling processes.Cryptographic protocols related paperslargely covers security protocols with links to full text online. Last updated 1996.The Tavani Bibliography of Computing, Ethics, and Social Responsibilitycovers professional issues in computing. It was originally used in a computer ethics course and then was broadened in topic.Bibliographies of Speech Conferencesvarious scientific conferences related to speech recognition.84415Computer ScienceWWW Virtual Library sectionComputer Science ResourcesTheoretical Computer Science on the WebAriadneSTORM: Software Testing Online Resources / MTSUThe STORM site is a nexus of Software Testing Online Resources and is designed for software testing researchers and practitioners.KDNuggetsData Mining and Knowledge Discovery Resources84417University Computer Science DepartmentsWWW Virtual Library sectionComputer Science Departments Across The Web93305Australasian Computer Science Association100730University of Newcastle - Department of Computer Science and Software EngineeringMacquarie University - Computing DepartmentUniversity of New South Wales - School of Computer Science and EngineeringUniversity of Sydney - Department of Computer ScienceUniversity of Technology, Sydney - School of Computing SciencesUniversity of Western Sydney, Nepean - School of Computing & Information Technology100731Australian Defence Force Academy - School of Computer ScienceAustralian National University - Department of Computer ScienceUniversity of Canberra - School of Computing100732University of Tasmania - Computer Science and Software Engineering101441Griffith University - School of Computing and Information TechnologyJames Cook University - School of Computer Science, Mathematics and PhysicsUniversity of Queensland - Department of Computer Science and Electrical EngineeringUniversity of Southern Queensland - Department of Mathematics and ComputingQueensland University of Technology - School of Computing Science103466Flinders University - Department of Computer ScienceUniversity of Adelaide - Department of Computer ScienceUniversity of South Australia - School of Computer and Information Science103467Monash University - School of Computer Science and Software EngineeringRMIT - Department of Computer ScienceUniversity of Melbourne - Department of Computer Science and Software Engineering9330693416Karlsruhe, FZIBerlin, Free UniversityAachen, University of TechnologyBerlin, Humboldt UniversityBerlin, Humboldt University (Economics)Braunschweig, University of TechnologyErlangen-N&xFC;rnberg, UniversityHamburg, UniversityFreiburg, UniversityDarmstadt, University of TechnologyAugsburg, UniversityPaderborn, UniversityBerlin, University of TechnologyChemnitz, University of TechnologyMagdeburg, UniversityDresden, University of TechnologyEssen, UniversityHalle-Wittenberg, UniversityIlmenau, University of TechnologyHannover, UniversityJena, UniversityKaiserslautern, UniversityKonstanz, UniversityM&xFC;nster, UniversityKassel, UniversityM&xFC;nchen, UniversityM&xFC;nchen, University of TechnologyLeipzig, UniversityOsnabr&xFC;ck, UniversityRostock, UniversityStuttgart, UniversityTrier, UniversityUlm, UniversityW&xFC;rzburg, University93417EindhovenAmsterdam, Free UniversityAmsterdam, UniversityDelftTwente93418BrusselsULB, Universit&xE9; Libre de BruxellesNamurAntwerpenBrusselsVUB, Vrije Universiteit BrusselLeuvenDiepenbeekMonsLouvain-La-Neuve93420Bordeaux IINRIAFrench National Institute for Research in Computer Science and Control93421Dublin, City UniversityDublin, Trinity CollegeLimerick93422AarhusCopenhagen (DIKU)Department of Computer Science, University of Copenhagen93423G&xF6;teborgLundStockholmUppsala93427Troms&xF8;93429LinzVienna, University of Technology93446Athens, National Technical University93448Helsinki93449Istanbul, Technical University93454Ljubljana93457PoznanKrakowInstitute of Computer Science, Jagiellonian UniversityWarsawWroclawGdanskDepartment of Information Systems, University of Gdansk93460Z&xFC;richLausanne115429University of Rome Computer Science DepartmentBolognaTorino93307RutgersBoston UniversityNew York, Cornell UniversityFlorida (State University)Florida (University of)Houston, Rice UniversityIowa (State University)Iowa (University of)Johns HopkinsMassachusettsKansasNorth CarolinaOklahomaOregonPurdueRochesterBryn Mawr CollegeStanfordUtahWashingtonWesleyanWisconsinYaleBaylor UniversityBowdoin CollegeBrandeis UniversityBrigham YoungBrown UniversityElon CollegePhiladelphia, University of PennsylvaniaSanta Cruz, University of CaliforniaGeorge Washington University (Virginia Campus)Carnegie MellonRutgersCenter for Discrete Mathematics and Theoretical Computer ScienceMaryland93309AberystwythAberdeenExeterLondon (Imperial College)ManchesterOxfordReadingBelfast (Queen's University)SwanseaCambridgeCanterburyAberdeen CollegeHullGlasgowBrightonBristolLondon (City University)WarwickYorkEdinburgh93313ReginaMcGillSimon FraserTorontoAlbertaWaterloo93356Hong Kong93374Haifa, Israel Institute of Technology (Technion)86145Intelligent Database Systems Research LaboratorySimon Fraser UniversityPatterns Home PageArthur M. Keller's recent papersObject FAQBernie CohenBernard Cohen CEng BSc FBCS MIEEObject-Oriented Database Management SystemsThis report provides a critical review and technology assessment of Object-Oriented Database Management Systems (OODBMS).Data Warehousing and OLAP BibliographyData Modelling: Finding the Perfect FitExplains the value of data modelling in an application analysis project; goes through some of the processes in a data modelling session: identifying entities, attributes, and relationships, drawing and reading entity relationship diagrams (ERD).Bibliographies on Database ResearchSearchable collection of BibTeX bibliographies on database research106903TOOLSTechnology of Object-Oriented Languages and SystemsVLDBVery Large Data Bases ConferenceWITSWorkshop on Information Technologies & SystemsWWWInternational World Wide Web Conference SeriesTRECText Retrieval ConferenceDB&LP: Conferences & Workshopslarge list of Computer Science Conferences & Workshops : past, present and future1SIGMOD/PODSACM SIGMOD International Conference on Management of DataFTCSInternational Symposium on Fault-Tolerant ComputingOOPSLAConference on Object-Oriented Programming, Systems, Languages and ApplicationsKRConference on Principles of Knowledge Representation and ReasoningSIGMMACM SIGMM Multimedia ConferencesMobiComACM/IEEE International Conference on Mobile Computing and NetworkingLOPSTRWorkshop on Logic-based Program Synthesis and TransformationLICSIEEE Symposium on Logic in Computer ScienceIPDPSInternational Parallel and Distributed Processing SymposiumKRDBKnowledge Representation meets DatabasesSIGKDDACM SIGKDD Conference on Knowledge Discovery and Data MiningIJCAIInternational Joint Conferences on Artificial IntelligenceIFIPInternational Federation for Information ProcessingIDEASInternational Database Engineering and Applications SymposiumICFPInternational Conference on Functional ProgrammingEUFITEuropean Congress on Intelligent Techniques and Soft ComputingPCEXPO - Technology for BusinessEuro-ParEuropean Conference on Parallel ProcessingWrox ASP Professional Web Developer ConferenceTips on using ASP and XML related technologies, including: ADO, Site Server, ADSI Components and more!178555ACM GIS'99Advances in Geographic Information SystemsLPNMR'99Conference on Logic Programming and Nonmonotonic ReasoningTACAS '99Tools and Algorithms for the Construction and Analysis of SystemsRTA99Conference on Rewriting Techniques and ApplicationsICLP'99Conference on Logic ProgrammingER'99Conference on Conceptual ModelingSRDS'99IEEE Symposium on Reliable Distributed SystemsISCIS'99International Symposium on Computer and Information SciencesSBBD '99Brazilian Symposium on DatabasesIHW99Workshop on Information HidingTDD'99International Workshop on Foundations of Models and Languages for Data and ObjectsHPTS'99High Performance Transaction Systems SymposiumICPP'99International Conference on Parallel ProcessingPKDD'99Conference on Principles and Practice of Knowledge Discovery in DatabasesLPAR'99Conference on Logic for Programming and Automated ReasoningMFCS'99Symposium on Mathematical Foundations of Computer SciencePASTE'99Program Analysis for Software Tools and EngineeringUIDIS'99User Interfaces to Data Intensive SystemsOOIS'99Conference on Object-Oriented Information SystemsIW-MMDBMS'99Workshop on MultiMedia DataBase Management SystemsParCo99Parallel ComputingWADS'99Workshop on Algorithms And Data StructuresSSDB-11Conference on Scientific and Statistical Database ManagementSSD99International Symposium on Spatial DatabasesICCS99International Conference on Conceptual StructuresNGITS'99Workshop on Next Generation Information Technologies and SystemsWebDB'99Workshop on the Web and DatabasesILP'99International Workshop on Inductive Logic ProgrammingNLDB'99Conference on Applications of Natural Language to Information SystemsISMIS'99International Symposium on Methodologies for Intelligent SystemsIEEE ICMCS'99International Conference on Multimedia Computing and Systems.SIGMETRICS '99Conference on the Measurement and Modeling of Computer SystemsPODC '99Symposium on Principles of Distributed ComputingPPOPP 99Symposium on Principles and Practice of Parallel ProgrammingPLDI'99Conference on Programming Language Design and ImplementationMD99IEEE Meta-Data ConferencePAKDD99Pacific-Asia Conference on Knowledge Discovery and Data MiningTLCA'99Conference on Typed Lambda Calculi and ApplicationsRIDE99Workshop on Research Issues on Data EngineeringHotOS-VIIWorkshop on Hot Topics in Operating SystemsSTACS 1999Symposium on Theoretical Aspects in Computer SciencePEPM'99Workshop on Partial Evaluation and Semantics-Based Program ManipulationHypertext 1999International Conferences on Hypertext and Hypermedia178556ICDCS 2000International Conference on Distributed Computing SystemsISCA 2000International Symposium on Computer ArchitectureICSE2000International Conference on Software EngineeringETAPS 2000European Joint Conferences on Theory and Practice of SoftwareSAC 2000ACM Symposium on Applied ComputingICDE2000International Conference on Data EngineeringPOPL '00Symposium on Principles of Programming LanguagesVDB-5IFIP 2.6 Working Conference on Visual Database SystemsPADL'00Workshop on Practical Aspects of Declarative Languages