Computer Theory Links
Prof. Flávio Keidi Miyazawa
Journals
Journals
Electronic Journals
- The Directory of Computing Science Journals ( alternative link )
- ACM Transactions on Mathematical Software
- Acta Informatica
- Acta Mathematica Scientia
- Advances in Computational Mathematics
- Annals of Mathematics and Artificial Intelligence
- Algorithmica
- Annals of Numerical Mathematics
- Annals of Operations Research
- Annals of Software Engineering
- Artificial Intelligence
- Applied Numerical Mathematics
- Approximation Theory and its Applications
- Ars Combinatoria
- Combinatorics, Probability & Computing
- Computational Geometry
- Computational Optimization and Applications
- Computer Aided Design
- Computer Aided Geometric Design
- Computer Communications
- Computer Networks
- Computer Standards and Interfaces
- Computers & Mathematics with Applications
- Computers and Operations Research
- Data and Knowledge Engineering
- Discrete Mathematics
- Discrete Applied Mathematics
- Chinese Annals of Mathematics
- Communications in Theoretical Physics
- Computational Geosciences
- Designs, Codes and Cryptography
- Environmental Modelling and Assessment
- European Journal of Combinatorics
- European Journal of Operational Research
- Future Generations Computer Systems
- IBM Journal of Research and Development
- Image and Vision Computing
- INFOR (Information Systems and Operational Research)
- Information and Computation
- Information and Software Technology
- Information Retrieval
- Information Sciences
- Information Processing Letters
- INFORMS Journal on Computing
- Interacting with computers
- International Journal of Foundations of Computer Science
- International Transactions in Operational Research
- Journals and Magazines of the ACM
- Journal of Algorithms
- Journal of Algebraic Combinatorics
- Journal of Combinatorial Theory, Series A
- Journal of Combinatorial Optimization
- Journal of Combinatorial Theory, Series B
- Journal of Complexity
- Journal of Computational and Applied Mathematics
- Journal of Computer and System Sciences
- Journal of Discrete Algorithms
- Journal of Graph Theory
- Journal of Optimization Theory and Applications
- Journal of Parallel and Distributed Computing
- Journal of Pure and Applied Algebra
- Journal of Global Optimization (JOGO)
- Journal of Heuristics
- Journal of Mathematical Chemistry
- Journal of Scheduling
- Journal of Symbolic Computation
- Journal of the ACM
- Knowledge-Based Systems
- Linear Algebra and its Applications
- Mathematics of Operations Research
- Mathematical Programming
- Mathematics and Computers in Simulation
- Microproccessors and Microsystems
- Neurocomputing
- Numerical Algorithms
- Omega
- Operations Research Letters
- Order
- OR/MS Today Online
- Parallel Computing
- Pattern Recognition
- Pattern Recognition Letters
- Performance Evaluation
- Queueing Systems
- Random Structures and Algorithms
- Robotics and Autonomous Systems
- Science of Computer programming
- SIAM Journal on Applied Mathematics
- SIAM Journal on Computing
- SIAM Journal on Control and Optimization
- SIAM Journal on Discrete Mathematics
- SIAM Journal on Mathematical Analysis
- SIAM Journal on Matrix Analysis and Applications
- SIAM Journal on Numerical Analysis
- SIAM Journal on Optimization
- SIAM Journal on Scientific Computing
- SIAM Review
- Simulation Practice and Theory
- Telecommunication Systems
- Theoretical Computer Science
- Theory of Probability and Its Applications
- Wireless Networks
- World Wide Web
Personal WWW Pages and people related pages
- ACM Journal of Experimental Algorithmics
- Discrete Mathematics & Theoretical Computer Science
- Journal of Graph Algorithms and Applications
- Control, Optimisation and Calculus of Variations
- The Electronic Journal of Combinatorics
- The Journal of Universal Computer Science - J.UCS
- Chicago Journal of Theoretical Computer Science
- Electronic Colloquium on Computational Complexity
- Interactive Transactions of OR/ MS (ITORMS)
- Others Electronic Mathematical and Computer Journals
- Electronic Journal of Linear Algebra
- Electronic Notes in Theoretical Computer Science
- Electronic Research Announcements of AMS
- Journal of Computational Chemistry
- Electronic Journal of the Argentine Society of Computer Science and Operations Research
- Directory of Open Access Journals
Associations, Centers and Groups
- The Theoretical Computer Scientists Virtual Address Book
- Operations Research People and Research Groups (by Michael Tricks)
- Combinatorial Theory People
- Complexity Theory People
- People of the Analysis of Algorithms Pages
- Erdos Number, maintained by Jerry Grossman
- The Theoretical Computer Science Genealogy
- Mathematics Genealogy Project
Optimization Algorithms, Softwares and Datas
- EURO - Association of European Operational Research Societies
- Discrete Optimization Group at the University of Heidelberg
- The Operational Research Society
- The Mathematical Programming Society
- AIRO - The Operational Research Society of Italy
- DIMACS - Center for Discrete Mathematics and Theoretical Computer
- ZIB - Zentrum fuer Informationstechnik Berlin
- BRICS - Centre of Basic Research in Computer Science
- CORE - Center for Operations Research and Econometrics
- IFIP - International Federation for Information Processing
- SIAM - Home Page
- ACM - Association for Comput
- SIGACT - Special Interest Group on Algorithms and Computation Theory
- IEEE Computer Society
- OPT-NET - Home Page
- RUTCOR - Rutgers Center for Operations Research
- PRACTICE Online - Home Page - Service For The OR/MS Practitioner
- INFORMS - Institute for Oper. Research and the Management Science
- Imperial College Management School Home Page
- WORMS - WWW for Operations Research and Management Science
- ICS Theory Group
- The Optimization Technology Center
- ECCO - European Chapter on Combinatorial Optimization
- European Research Consortium for Informatics and Mathematics
- LEA - Laboratory for Experimental Algorithmics
- AMS - American Mathematical Society
Surveys/Courses
- CPLEX - Home Page
- LEDA - Library of Efficient Datatypes and Algorithms
- ASA - Adaptive Simulated Annealing
- Imperial College OR-Library
- A list of free Optimization Codes in Public Domain
- Global and Local Optimization Codes
- TSP-LIB - Library of Traveling Salesman Problems
- Graph and Hypergraph algorithm animation environment (by DIMACS)
- The Electronic Library eLib for Mathematical Software at ZIB
- Heuristics ALgorithms for Discreate Optimization (Univ.Trento)
- LOLIB - Library of Linear Ordering Problems
- PORTA - a POlyhedron Representation Transformation Algorithm
- SMAPO - Library of linear descriptions of SMAll problem instances of POlytopes
- Virtual OR/MS Library
- Netlib ftp server
- A graphical environment for network optimization
- Programs for Molecular Biology (in X. Huang Home Page)
- C codes for the K shortest loopless paths algorithm of Yen
- Java-based Iteractive Simplex Tool
- GNU's Not Unix!
- Other Free Software Sites (by GNU Home Page)
- MSPCLASS -- classification of scheduling problems.
- Maximal Software
- SoPlex -- Sequential Object Oriented Simplex (by Roland Wunderling)
- MCF -- Network simplex solver
- ABACUS -- A Branch-And-CUt System (object oriented framework, written in C++)
- SolvOpt (Solver for local optimization problems)
- MODLER Modeling Language.
- Semidefinite Programming: SDPpack Verion 0.8 BETA.
- SDPLIB -- a collection of semidefinite programming test problems
- Polymake: Tool for algorithmic treatment of polytopes ftp
- Hamiltonian cycle, the Hamiltonian path and related problems
- MagicLogic Optimization Inc. (Packing, Cutting, Linear assignment(code),...)
- MProbe -- a software tool for analyzing mathematical programming models.
- MINOPT -- A Modeling Language and Algorithmic Framework for Optimization.
Bibliographies
- Dynamic Surveys in combinatorics.
- A Compendium of NP Optimization Problems - ps file
- Lecture Notes on Combinatorics and Complexity
- Course notes (By Michel X. Goemans)
- Teaching Material links in OR Society Page
- Analysis of Algorithms Home Page
- A Collection of Lecture Notes, Surveys and Papers
- Computer Science Courses from The World Lecture Hall
- Computer Theory and Operations Research Courses
- Course on Computational Molecular Biology
- Algorithms for Molecular Biology (by R. Shamir)
- Approximation Algorithms Course (by Y. Rabani)
- Approximation Algorithms Course (by A. Panconesi)
- Approximation Algorithms Course (by R. Motwani)
- Free bits, PCP and Non-Approximability - Towards tight results (M.Bellare, O. Goldreich, M. Sudan)
- Page with On-line Papers Related to Approximation Algorithms
- Course on Metaheuristics for Combinatorial Optimization Problems in Operations Research
- Mathematical Programming Glossary by Harvey J. Greenberg
On-Line Papers
- Computer Science Bibliographies
- Computer Science Bibliography (by Michael Ley) ( mirror )
- Bibliography about Packing and Cutting Stock (a bibtex file I'm compiling)
- Bibliography and postscript papers on optimisation
- A bibliography of books and survey papers on combinatorial optimisation
- Bibliography on Theoretical Developments in Molecular Computing
- Others Computer Science Bibliographies
- Oriented Matroids (in the G. Ziegler Home Page)
- Molecular Computation: A Bibliography in Progress (By D. Beaver)
- Bibliography of a colections of jornals and conferences (Journals, SODA, FOCS, STOC,...) by David M. Jones
- MathSciNet (local access)
- Institute for Scientific Information Citation Databases
- Web of Science and Web of Science by Fapesp
- Northern Light (search and products)
- Computer Society Digital Library - CSDL (Short time open for non-members)
- ACM DIGITAL LIBRARY (Public access until September 30, 1997)
- Search for Technical Reports from Some Universities and see the complete links in Stanford
- DEDALUS - Search the libraries of USP
Theory Calendar (Deadlines, Congress, ...)
- IBM Tec-Reports
- Tec-Reports in Wirtschaftsmathematik
- Hamiltonian cycle, the Hamiltonian path and related problems
- Report Series of the Optimization Group at the TU Graz
- FTP Documents (Mathematics, Informatics, Physics). By FermiVista!
- Networked Computer Science Technical Reference Library
Writing a paper/thesis ? (Some links to how to write them)
- Calendar (by SIAM org)
- SIAM Meetings and Conferences
- Conferences Call for Papers (by Computer Society)
- Conference Calendar (by Computer Society)
- Magazines Call for Papers (by Computer Society)
- Conferences (by IEEE)
- ACM Calendar of Events
- AMS Mathematics Calendar
Other Pages and Related Links
- "How (and Why!) to Write a SODA Paper" (by Peter Winkler)
- Advice on Research and Writing (many links about writing papers/abstracts/dissertation speaking...)
- Suggestions on Writing a Senior Honors Thesis
- Como escrever uma proposta de tese (para mestrado do DCC-Unicamp, by J. C. Setubal
- Theoretical computer science guides: (by Ian Parberry)
- El Juego de Publicar, by Ricardo Baeza-Yates
- Manual de Redação e Estilo (por Estado de São Paulo) (contém muitas dicas de escrita, estilo e também sobre erros comuns)
- Designing Technical Reports (Carnegie Mellon University)
- Comments on Technical Writing (Carnegie Mellon University)
Back to Flávio Keidi Miyazawa's Home Page