Informática Industrial y Redes de Computadores
"Informatica Industrial y Redes de Computadores"
fondo menu

Enlaces de interésInformática Industrial y Redes de Computadores

Se muestran enlaces a las distintas instituciones en las que está implicado el grupo y así como numerosos congresos y revistas científicas de interés.

Instituciones y centros

GVA - Consellería de Educación, Investigación, Cultura y Deporte de la Generalitat Valenciana

GVA - Consellería de Economía Sostenible, Sectores Productivos, Comercio y Trabajo de la Generalitat Valenciana

DTIC - Departamento Tecnología Informática y Computación

FECYT- Fundación Española para la Ciencia y la Tecnología

IUII - Instituto Univeristario de Investigación en Informática

MINECO - Ministerio de Economía y Competitividad

UA - Universidad de Alicante

Empresas

ROSMIMAN - IDASA SISTEMAS

AADEBUG - Automated and Algorithmic Debugging

AAECC - Applied Algebra, Algebraig Algorithms and Error-Correcting Codes

Computer Science Conferences & Workshops

AAAI - National Conference on Artificial Intelligence

AADEBUG - Automated and Algorithmic Debugging

AAECC - Applied Algebra, Algebraig Algorithms and Error-Correcting Codes


AAMAS - Autonomous Agents & Multiagent Systems

ABIS - Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen

AC - Advanced Courses

ACCV - Asian Conference on Computer Vision

ACISP - Australasian Conference on Information Security and Privacy

ACL - Meeting of the Association for Computational Linguistics

ACM Pacific

ACM Policy

ACM Southeast Regional Conference

ACPC Conference

ACSAC - Annual Computer Security Applications Conference

Ada-Europe


ADB - Applications of Databases

ADBIS - Advances in Databases and Information Systems

ADBT - Advances in Data Base Theory

ADC - Australasian Database Conference

ADG - Automated Deduction in Geometry

ADL - Advances in Digital Libraries

ADT - Specification of Abstract Data Type Workshops

ADVIS
- Advances in Information Systems

AE - Artificial Evolution

AES Candidate Conference

AFIPS Conferences

AFP - Advanced Functional Programming School

AFPAC - Algebraic Frames for the Perception-Action Cycle

AGDM - Advanced Geographic Data Modelling

Agents - International Conference on Autonomous Agents

AII - Analogical and Inductive Inference

AI*IA - Congress of the Italian Association for Artificial Intelligence


AIMSA - Artificial Intelligence: Methodology, Systems, Applications


AIPS - Artificial Intelligence Planning Systems

AISC - Artificial Intelligence and Symbolic Computation

ALP - Algebraic and Logic Programming

ALPUK - UK Conference on Logic Programming


ALT - Algorithmic Learning Theory

AMAST - Algebraic Methodology and Software Technology


AMCP - Advanced Multimedia Content Processing

APL Conference

APN - Application and Theory of Petri Nets


ARTDB - Active and Real-Time Database Systems


ASIACRYPT

ASIAN - Asian Computing Science Conference

ASM - Workshops on Abstract State Machines


ASP-DAC - Asia and South Pacific Design Automation Conference


ASPLOS - Architectural Support for Programming Languages and Operating Systems


Assets - ACM Conference on Assistive Technologies

Assistive Technology and Artificial Intelligence

ATAL - Agent Theories, Architectures, and Languages


ATM Networks - Modelling and Evaluation of ATM Networks


AUS-AI - Australian Joint Conference on Artificial Intelligence

AusWeb - Australian World Wide Web Conference - link


AVBPA - Audio- and Video-Based Biometric Person Authentication


AVI - Working Conference on Advanced Visual Interfaces


AWOC - Aegean Workshop on Computing

BCEC - Biocomputing and Emergent Computation

BDA - Journées Bases de Données Avancées


Berkeley Workshop on Distributed Data Management and Computer Networks


BIBE - IEEE International Conference on Bioinformatics and Bioengineering


BIS - Business Information Systems

BIWIT - Basque International Workshop on Information Technology


BNCOD - British National Conference on Databases


BTW - Datenbanksysteme in Büro, Technik und Wissenschaft (German Database Conference)


C++ Conference

CAAP - Colloquium on Trees in Algebra and Programming


CADE - Conference on Automated Deduction

CAIP - Computer Analysis of Images and Patterns


CAiSE - Conference on Advanced Information Systems Engineering


CANPC - Communication, Architecture, and Applications for Network-Based  Parallel Computing


CAV - Computer Aided Verification

CC - Compiler Construction

CCL - Constraints in Computational Logics

CCS - Computer and Communications Security

CD - IFIP/ACM Working Conference on Component Deployment


CDB - Constraint Databases and Applications

CFCP - Canada-France Conference on Parallel and Distributed Computing


CFIP - Colloque Francophone sur l'Ingénierie des Protocoles


CG - Computers and Games

CHARME - Conference on Correct Hardware Design and Verification Methods


CHES - Cryptographic Hardware and Embedded Systems


CIA - Cooperative Information Agents

CIKM - International Conference on Information and Knowledge Management


CIMCA - International Conference on Computational Intelligence for Modelling, Control and Automation


CISM Workshops

CISMOD - Conference on Information Systems and Management of Data


CL - International Conference on Computational Logic

CLEF - Cross-Language Evaluation Forum

CoBuild - Cooperative Buildings

CoCo - Structure in Complexity Theory Conference


COCOON - Computing and Combinatorics

COCV - Compiler Optimization Meets Compiler Verification


COLT - Computational Learing Theory

COMAD - International Conference on Management of Data


Computational Geometry (Symposium on ...)

COMPCON

CONCUR - International Conference on Concurrency Theory


CONPAR - Conference on Algorithms and Hardware for Parallel Processing


COODBSE - Colloquium on Object Orientation in Databases and Software Engineering


CoopIS - Conference on Cooperative Information Systems


COORDINATION - Coordination Models and Languages

COSIT - Spatial Information Theory

COTIM - Conference on Telecommunications and Information Markets


CP - Principles and Practice of Constraint Programming


CPM - Combinatorial Pattern Matching

CRYPTO

CSCW - Conference on Computer Supported Cooperative Work


CSL - Computer Science Logic

CTRS - Conditional Term Rewriting Systems

DAC - Design Automation Conference

DAGS - Electronic Publishing and the Information Superhighway - link


Dagstuhl Seminars

DAISD - Deductive Approach to Information Systems and Databases


DAS - Document Analysis Systems

DASFAA - Database Systems for Advanced Applications


DaWaK - Data Warehousing and Knowledge Discovery


DBPL - Workshop on Database Programming Languages


DBSEC - IFIP Workshop on Database Security


DCC - Data Compression Conference

DDB - Symposium on Distributed Data Bases


DDSS - Distributed Data Sharing Systems 

Deductive Database Workshops

DEXA - Database and Expert Systems Applications


DIS - Designing Interactive Systems

DISC - International Symposium on Distributed Computing


DISCO - Design and Implementation of Symbolic Computation Systems


DIWeb - Data Integration over the Web


DKSME - Data and Knowledge Systems for Manufacturing and Engineering


DL - Digital Libraries

DLog - Description Logics

DMDW - Design and Management of Data Warehouses


DMKD - Research Issues on Data Mining and Knowledge Discovery


DNA - DNA Computing

DOA - International Symposium on Distributed Objects and Applications


DOLAP - International Workshop on Data Warehousing and OLAP


DOOD - Deductive and Object-Oriented Databases


DPDS - International Symposium on Databases in Parallel and Distributed Systems


DS - IFIP Working Conference on Database Semantics


DS - Discovery Science

DSL - Domain-Specific Languages

DSV-IS - Design, Specification, and Verification of Interactive Systems


EC - ACM Conference on Electronic Commerce


ECAI - European Conference on Artificial Intelligence

ECAL - European Conference on Artificial Life


ECCV - European Conference on Computer Vision

ECDL - European Conference on Digital Libraries

ECHT - European Conference on Hypertext

ECMAST - European Conference on Multimedia Applications, Services and Techniques

ECML - European Conference on Machine Learning


ECOOP - European Conference on Object-Oriented Programming


ECSQARU - Symbolic and Quantitative Approaches to Reasoning and Uncertainty  


EDBT - Extending Database Technology

EDCC - European Dependable Computing Conference

EDS - Expert Database Systems

EFIS/EFDBS - Engineering Federated Information (Database) Systems


EHCI - Engineering for Human-Computer Interaction


EKAW - Knowledge Acquisition, Modeling and Management


ELP - Extensions of Logic Programming

EMMCVPR - Energy Minimization Methods in Computer Vision and Pattern Recognition


EP - Electronic Publishing

EPIA - Portuguese Conference on Artificial Intelligence

ER - International Conference on Conceptual Modeling / the Entity Relationship Approach


ESA - European Symposium on Algorithms

ESEC - European Software Engineering Conference

ESOP - European Symposium on Programming

Essen Symposium

ETAPS - European joint conference on Theory And Practice of Software


EUFIT - European Congress on Intelligent Techniques and Soft Computing - link

EuroCOLT - European Conference on Computational Learning Theory


EUROCRYPT - Theory and Application of Cryptographic Techniques


EuroGP - European Conference on Genetic Programming


Euro-Par - European Conference on Parallel Processing

EWDW - East/West Database Workshops

EWSPT - European Workshop on Software Process Technology


FAPR - Formal and Applied Practical Reasoning


FASE - Fundamental Approaches to Software Engineering


FCT - Fundamentals of Computation Theory

FDBS - Workshop Föderierte Datenbanken

FGCS - Fifth Generation Computer Systems

FLOPS - Fuji International Symposium on Functional and Logic Programming


FM - World Congress on Formal Methods


FMCAD - Formal Methods in Computer-Aided Design


FMLDO - Workshop on Foundations of Models and Languages for Data and Objects


FMOODS - Formal Methods for Open Object-Based Distributed Systems


FOCS - IEEE Symposium on Foundations of Computer Science


FODO - Conference on Foundations of Data Organization and Algorithms


FoIKS - Foundations of Information and Knowledge Systems


FORTE - Formal Techniques for Networked and Distributed Systems


FoSSaCS - Foundations of Software Science and Computation Structure


FPCA - Functional Programming Languages and Computer Architecture


FPL - Field-Programmable Logic and Applications


FPLE - Functional Programming Languages in Education


FPSAC - Formal Power Series and Algebraic Combinatorics (link)


FQAS - Flexible Query-Answering Systems

FroCos - Frontiers of Combining Systems

FSE - Foundations of Software Engineering (SIGSOFT)


FSE - Fast Software Encryption

FSTTCS - Foundations of Software Technology and Theoretical Computer Science


FTCS - Symposium on Fault-Tolerant Computing


Future Databases

GD - Symposium on Graph Drawing

GFPW - Glasgow Functional Programming Workshop

GG - Graph Grammars Workshops

GI-Jahrestagung

GIS - Workshop on Advances in Geographic Information Systems


GvD - Workshop Grundlagen von Datenbanken

HIM - Hypertext, Information Retrieval, Multimedia

HOPL - History of Programming Languages

HotOS - Workshop on Hot Topics in Operating Systems


HPCS - International Symposium on High Performance Computing Systems


HPTS - High Performance Transaction Systems

HUC - Handheld and Ubiquitous Computing

Hybrid Systems

Hypertext - ACM Conference on Hypertext

Hypertext - UK Conference on Hypertext

IADT - Issues and Applications of Database Technology


IAWTIC - International Conference on Intelligent Agents, Web Technologies and Internet Commerce

IBM - IBM Germany Scientific Symposium Series


ICAIL - International Conference on Artificial Intelligence and Law

ICALP - Automata, Languages and Programming

ICANN - International Conference on Artificial Neural Networks


ICCBR - Case-Based Reasoning and Development


ICCD - International Conference on Computer Design

ICCI - International Conference on Computing and Information


ICCL - International Conference on Computer Languages

ICCS - International Conference on Conceptual Structures

ICDCS - International Conference on Distributed Computing Systems


ICDE - International Conference on Data Engineering


ICDM - IEEE International Conference on Data Mining


ICDT - International Conference on Database Theory


ICEIS - International Conference on Enterprise Information Systems

ICFP - International Conference on Functional Programming


ICISC - Information Security and Cryptology

ICLP - International Conference on Logic Programming

ICMCS - International Conference on Multimedia Computing and Systems


ICML - International Conference on Machine Learning


ICOD - International Conference on Databases

ICPP - International Conference on Parallel Processing


ICS - International Conference on Supercomputing

ICSE - International Conference on Software Engineering


ICSR - International Conference on Software Reuse

ICWL - International Conference on Web-Based Learning


IDA - Intelligent Data Analysis

IDC(W) - International Database Conference (Workshop)


IDEAL - Intelligent Data Engineering and Automated Learning


IDEAS - International Database Engineering and Application Symposium


IDMS - Interactive Distributed Multimedia Systems and Telecommunication Services


IDS - Interfaces to Database Systems

IEA/AIE - Industrial and Engineering Applications of Artificial Intelligence and Expert Systems


IFIP World Computer Congress

IFL - Implementation of Functional Languages

IGIS - International Workshop on Advanced Research in Geographic Information Systems


IICIS - Integrity and Internal Control in Information Systems (IFIP TC11)


IICS - Innovative Internet Computing Systems

IJCAI - International Joint Conference on Artificial Intelligence

ILP - International Workshop on Inductive Logic Programming


ILPS - International Logic Programming Symposium

IMSA - Internet, Multimedia Systems and Applications


INFOCOM (IEEE)

Information Hiding

Information Retrieval

INFOVIS - IEEE Symposium on Information Visualization


INET - Internet Society Conference

INTEROP - Interoperating Geographic Information Systems

IO - Information Outlook (link)

IOPADS - I/O in Parallel and Distributed Systems


IPCCC - International Performance, Computing, and Communications Conference


IPDPS - International Parallel and Distributed Processing Symposium


IPPS - International Parallel Processing Symposium

IQ - MIT Conference on Information Quality

IRREGULAR - Workshop on Parallel Algorithms for Irregularly Structured Problems


IS/KI - Workshop on Information Systems and Artificial Intelligence


ISAAC - International Symposium on Algorithms and Computation


ISCA - International Symposium on Computer Architecture


ISCIS - International Symposium on Computer and Information Sciences

ISLP - International Symposium on Logic Programming


ISMIS - International Syposium on Methodologies for Intelligent Systems


IS&N - Intelligence and Services in Networks


ISOOMS - International Symposium on Object-Oriented Methodologies and Systems


ISPD - International Symposium on Physical Design


ISSAC - International Symposium on Symbolic and Algebraic Computation


ISSTA - International Symposium on Software Testing and Analysis


ISTCS - Israel Symposium on Theory of Computing Systems


ITC - International Test Conference

IUC - International Unicode Conference (link)

IUI - Intelligent User Interfaces

IuK - Information and Communication of the Learned Societies in Germany


IWDM - International Workshop on Database Machines


IWFM - Irish Workshop in Formal Methods


IWDOM - International Workshop on Distributed Object Management


IWMM - International Workshop on Memory Management


IW-MMDBBS - Int. Workshop on Multi-Media Data Base Management Systems


Java Grande

JCDKB - International Conference on Data and Knowledge Bases


JCDL - ACM/IEEE Joint Conference on Digital Libraries


JELIA - Logics in Artificial Intelligence

JICSLP - Joint International Conference and Symposium on Logic Programming


KDD - Knowledge Discovery and Data Mining


KDEX - Knowledge and Data Engineering Exchange Workshop


KGC - Kurt Gödel Colloquium

KiVS - Kommunikation in Verteilten Systemen

KI - German Conference on Artificial Intelligence

KnowRight

KR - Principles of Knowledge Representation and Reasoning


KRDB - Knowledge Representation Meets Databases

LACL - Logical Aspects of Computational Linguistics


LATIN - Latin American Theoretical INformatics

LCPC - Languages and Compilers for Parallel Computing


LCR - Languages, Compilers, and Run-Time Systems for Scalable Computers


LDRS - Language Design for Reliable Software


LFCS - Logical Foundations of Computer Science


LFP - ACM Conference on LISP and Functional Programming


LICS - Logic in Computer Science

LID - Logic in Databases

LOMAPS - Logical and Operational Methods in the Analysis of Programs and Systems


LOPSTR - Logic Program Synthesis and Transformation


LP - Logic Programming - Japanese Conference

LPAR - Logic Programming and Automated Reasoning


LPE - Workshop on Logic Programming Environments


LPNMR - Logic Programming and Non-monotonic Reasoning


LPSS - Logic Programming Summer School

LSSC - Large-Scale Scientific Computing

MAAMAW - Modelling Autonomous Agents in a Multi-Agent World


MCS - Multiple Classifier Systems

MD - IEEE Meta-Data Conference

MDA/MDM - Int. Conf. on Mobile Data Access/Management (MDA/MDM)

META - Workshop on Meta-Programming in Logic


MFCS - Mathematical Foundations of Computer Science


MFDBS - Mathematical Fundamentals of Database Systems


MHVR - Multimedia, Hypermedia, and Virtual Reality


MICRO - International Symposium on Microarchitecture

Middleware - International Conference on Distributed Systems Platforms and Open Distributed Processing


MIS - Workshop on Multimedia Information Systems


MLDM - Machine Learning and Data Mining in Pattern Recognition

MM - ACM Multimedia Conference

MMB - Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen


MMM - Multimedia Modeling - link

MMNET - Multimedia and Networking

MOBICOM - Mobile Computing and Networking

MPC - Mathematics of Program Construction

MSS - Symposium on Mass Storage Systems


NATO ASI - NATO Advanced Study Institute


NACLP - North American Conference on Logic Programming


NC - ICSC Symposium on Neural Computation

NDSS - Network and Distributed System Security Symposium
Networking

NF2 - Nested Relations and Complex Objects


NGITS - Next Generation Information Technologies and Systems


NLDB - Applications of Natural Language to Data Bases


NLULP - Natural Language Understanding and Logic Programming Workshop


NMELP - Non-Monotonic Extensions of Logic Programming


NOSSDAV - Network and Operating System Support for Digital Audio and Video


NSF - NSF Workshops

Objektbanken für Experten 1992

ODP - Open Distributed Processing

OODBS - Workshop on Object-Oriented Database Systems


OOER - Object-Oriented and Entity-Relationship Modelling


OOIS - Object Oriented Information Systems

OOPSLA - Conference on Object-Oriented Programming Systems, Languages, and Applications
OSDI - Operating Systems Design and Implementation


PACT - International Conference on Parallel Architectures and Compilation Techniques

PaCT - Parallel Computing Technologies

PADL - Practical Aspects of Declarative Languages


PADS - Workshop on Parallel and Distributed Simulation


PAKDD - Pacific-Asia Conference on Knowledge Discovery and Data Mining


PAP - International Conference and Exhibition on Practical Applications of Prolog


PARBASE

PARCO - Parallel Computing

PARLE - Parallel Architectures and Languages Europe

PASTE - Workshop on Program Analysis For Software Tools and Engineering


PDIS - Conference on Parallel and Distributed Information Systems


PDK - Processing Declarative Knowledge

PDPTA - Parallel and Distributed Processing Techniques and Applications


PEPM - Partial Evaluation and Semantic-Based Program Manipulation


PJW - Workshop on Persistence and Java


PKC - Public Key Cryptography

PKDD - Principles of Data Mining and Knowledge Discovery


PLDI - SIGPLAN Conference on Programming Language Design and Implementation


PLILP - Symposium on Programming Language Implementation and Logic Programming


PODC - Symposium on Principles of Distributed Computing


PODS - Symposium on Principles of Database Systems


POPL - Symposium on Principles of Programming Languages


POS - Workshop on Persistent Object Systems


PPCP - Principles and Practice of Constraint Programming


PPDP - Principles and Practice of Declarative Programming


PPoPP - Principles & Practice of Parallel Programming


PPSN - Parallel Problem Solving from Nature


PRICAI - Pacific Rim International Conference on Artificial Intelligence

PSTV - Protocol Specification, Testing and Verification


PVG - IEEE Symposium on Parallel and Large-Data Visualization and Graphics


RAW - Reconfigurable Architectures Workshop

RCLP - Russian Conference on Logic Programming


RelMiCS - Relational Methods in Computer Science


REX - Research and Education in Concurrent Systems (Workshops)


RIDE - Research Issues in Data Engineering


RIDS - Rules in Database Systems

RoboCup

RSCTC - Rough Sets and Current Trends in Computing


RTA - Rewriting Techniques and Applications

RTDB - Workshop on Real-Time Databases


RTSS - IEEE Real-Time Systems Symposium


SAC - ACM Symposium on Applied Computing


SAC - Selected Areas in Cryptography

SAS - Static Analysis Symposium

SBBD - Brazilian Symposium on Databases

SBIA - Brazilian Symposium on Artificial Intelligence

SC - Supercomputing

SCAI - Scandinavian Conference on AI

ScanGIS - Scandinavian Research Conference on Geographical Information Science

Scale-Space - Scale-Space Theories in Computer Vision

SCCC - International Conference of the Chilean Computer Science Society
SCM - System Configuration Management

SDE - Software Development Environments

SEBD - Sistemi Evoluti per Basi di Dati


Security Protocols Workshop

Semantics in Databases

Semantic Web

SI3D - Symposium on Interactive 3D Graphics


SIGIR - Research and Development in Information Retrieval


SIGMETRICS - Measurement and Modeling of Computer Systems


SIGMOD - International Conference on Management of Data


SIGOPS European Workshop

SIGSOFT FSE - Foundations of Software Engineering


SLP - Symposium on Logic Programming

SmartNet - Intelligence in Networks

SODA - Symposium on Discrete Algorithms

SOFSEM - Conference on Current Trends in Theory and Practice of Informatics


SOSP - Symposium on Operating Systems Principles


SPAA - ACM Symposium on Parallel Algorithms and Architectures


SPDP - Symposium on Parallel and Distributed Processing


SPIRE - String Processing and Information Retrieval


SPLC - Software Product Lines

SRDS - Symposium on Reliability in Distributed Software


SSD - Symposium on Large Spatial Databases


SSDBM - Statistical and Scientific Database Management


SSR - ACM SIGSOFT Symposium on Software Reusability


STACS - Symposium on Theoretical Aspects of Computer Science


STEP - Software Technology and Engineering Practice


STOC - ACM Symposium on Theory of Computing


SWAT - Scandinavian Workshop on Algorithm Theory


SYBEN - Broadband European Networks and Multimedia Services


TABLEAUX - Analytic Tableaux and Related Methods


TACAS - Tools and Algorithms for Construction and Analysis of Systems


TACS - Theoretical Aspects of Computer Software


TAPD - Tabulation in Parsing and Deduction


TAPSOFT

TDB - Workshop on Temporal Databases

TestCom - IFIP International Conference on Testing of Communicating Systems
Theorietag - Workshop über Komplexitätstheorie, Datenstrukturen und

Effiziente Algorithmen
TIME Workshops

TKE - Terminology and Knowledge Engineering

TLCA - Typed Lambda Calculus and Applications


TPHOLs - Theorem Proving in Higher Order Logics


TREC - Text REtrieval Conference - link

TreDS - Trends in Distributed Systems

UIDIS - User Interfaces to Data Intensive Systems


UML - The Unified Modeling Language

USENIX Technical Conference

USITS - USENIX Symposium on Internet Technologies and Systems

VDB - Visual Database Systems

VIS - Verläßliche Informationssysteme

VIS - IEEE Symposium on Information Visualization (INFOVIS)

VISUAL - Visual Information and Information Systems
VL - Visual Languages

VLDB - Very Large Data Bases

VRML Conference

WADS - Workshop on Algorithms and Data Structures


WADT - Workshop on Algebraic Development Techniques


WAIM - Web-Age Information Management (link)


WCLP - Workshop on Constraint Logic Programming


WCRE - Working Conference on Reverse Engineering


WDAG - Workshop on Distributed Algorithms

WebDB - International Workshop on the Web and Databases


WECWIS - Workshop on Advanced Issues of E-Commerce and Web/based Information Systems


WG - Workshop on Graph-Theoretic Concepts in Computer Science


WIDM - Web Information and Data Management


WIIW - Workshop on Information Integration on the Web


WISE - Web Information Systems Engineering

WLP - Workshop Logische Programmierung

WOWMOM - Workshop on Wireless Mobile Multimedia


WSA - Workshop on Static Analysis

WSC - Winter Simulation Conference

WSCG - International Conference in Central Europe on Computer Graphics and Visualization


WWOS - Workshop on Workstation Operating Systems (now HotOS)


WWW - World Wide Web Conference Series


XP Workshops on Database Theory

XPS - Knowledge-Based Systems

ZUM - Z Users Conference

Computer Science Journals



 Academic Press Journals
Information and Computation

Journal of Algorithms

Journal of Computer and System Sciences


Journal of Parallel and Distributed Computing


Journal of Symbolic Computation

Journal of Visual Languages and Computing


International Journal of Human-Computer Studies - link


Journal of Approximation Theory - link

Advances in Computers

ACM Journals


Communications of the ACM


ACM Transactions on

Computer-Human Interaction (TOCHI)

Computational Logic (TOCL)

Computer Systems (TOCS)

Database Systems (TODS)

Design Automation of Electronic Systems (TODAES)


Information and System Security (TISSEC)


(Office) Information Systems (TOIS)

Internet Technology (TOIT)

Modeling and Computer Simulation (TOMACS)


Graphics (TOG)

Programming Languages and Systems (TOPLAS)


Software Engineering and Methodology (TOSEM)


Letters on Programming Languages and Systems (LOPLAS)


Computing Surveys

Journal of the ACM

SIGIR Forum

SIGMOD Record

SIGMOD DiSC

ACM SIGMOD Digital Review

SIGPLAN Notices

Operating Systems Review

Data Base (SIGMIS)

ACM TechNews

SIGecom Exchanges

SIGKDD Explorations

Blackwell Science Journals

Information Systems Journal (link)

Journal of Computer Assisted Learning (link)


Birkhäuser Journals

Computational Complexity


Cambridge University Press Journals


The Journal of Functional Programming

Mathematical Structures in Computer Science

The Knowledge Engineering Review

Theory and Practice of Logic Programming (TPLP)


dpunkt Journals

Datenbank-Spektrum

HMD - Praxis der Wirtschaftsinformatik

Elsevier/North Holland/Pergamon Journals
Artificial Intelligence

Artificial Intelligence in Medicine

Computational Geometry: Theory and Applications

Computer Communications

Computer Languages

Computer Networks (and ISDN Systems)


Data & Knowledge Engineering

Electronic Notes in Theoretical Computer Science


Expert Systems With Applications - link

Information & Software Technology

Information Fusion

Information Processing and Management

Information Processing Letters

Information Systems

Interacting with Computers

Journal of Logic Programming (JLP)


Parallel Computing

Performance Evaluation

Science of Computer Programming

Theoretical Computer Science (TCS)

Taylor & Francis Journals


Applied Artificial Intelligence

Journal of Experimental and Theoretical Artificial Intelligence


Hermes

L'Objet - Logiciel, Base de données, Réseaux

Revue d'intelligence artificielle (link)

Networking and Information Systems (NIS)


Journal of Discrete Algorithms (link)


IEEE-CS Journals


IEEE Transactions on

Knowledge and Data Engineering (TKDE)


Software Engineering (TSE)

Computers

Parallel and Distributed Systems (TPDS)


Pattern Analysis and Machine Intelligence (TPAMI)


Visualization and Computer Graphics (TVCG)


Mobile Computing (TMC)

Networking (TON)

Computer - selected articles & link

Bulletin of the Technical Committee on Data Engineering


Internet Computing

IEEE Software

IEEE Annals of the History of Computing


IEEE Communications SocietyJournals

IEEE Journal on Selected Areas of Communications  


IEEE Xplore AI Communications

Fundamenta Informaticae

Journal of Computer Security

Kluwer Journals
Annals of Mathematics and Artificial Intelligence


Annals of Software Engineering

Applied Intelligence

Artificial Intelligence and Law

Artificial Intelligence Review

Automated Software Engineering

Autonomous Agents and Multi-Agent Systems


Cluster Computing

Constraints

Computer Supported Cooperative Work

Data Mining and Knowledge Discovery

Designs, Codes and Cryptography

Distributed and Parallel Databases

Electronic Commerce Research

Genetic Programming and Evolvable Machines

GeoInformatica

Information Retrieval

International Journal of Parallel Programming

Journal of Automated Reasoning

Journal of Intelligent Information Systems (JIIS)

Journal of Logic, Language and Information


Journal of Systems Integration

Machine Learning

Mobile Networks and Applications

Multimedia Tools and Applications

Queuing Systems

Real-Time Systems

Telecommunication Systems

Journal of Combinatorial Optimization

Higher-Order (Lisp) and Symbolic Computation


Wireless Networks

World Wide Web

MIT Press Journals


Evolutionary Computation

Journal of Functional and Logic Programming (JFLP)


Journal of Machine Learning Research

Chicago Journal of Theoretical Computer Science - link


Computing Systems

Markup Languages

Computational Linguistics

Neural Computation

Oldenbourg Verlag
it+ti - Informationstechnik und Technische Informatik - link


i-com Zeitschrift für interaktive und kooperative Medien - link


Oxford University Press


The Computer Journal

Journal of Logic and Computation

Journal of Digital Information - link

SIAM - Society for Industrial and Applied Mathematics

SIAM Journal on Computing

SIAM Journal on Discrete Mathematics

Other SIAM Journals - link

Journals


Acta Informatica

AI & Society

Algorithmica

Applicable Algebra in Engineering, Communication and Computing
Combinatorica

Computing - link

Distributed Computing

Formal Aspects of Computing

Informatik - Forschung und Entwicklung

Informatik Spektrum

International Journal on Digital Libraries (JODL)

International Journal on Document Analysis and Recognition (IJDAR)

International Journal on Software Tools for Technology Transfer (STTT)


Journal of Cryptology

The Journal of Universal Computer Science


Machine Vision and Applications

Multimedia Systems

New Generation Computing

Knowledge and Information Systems

Requirements Engineering Journal

Software - Concepts and Tools / Structured Programming


Software and System Modeling

Theory of Computing Systems / Mathematical Systems Theory


The VLDB Journal

Wiley Journals


Concurrency - Practice and Experience / Concurrency and Computation:

Practice and Experience


Software - Practice and Experience

Theory and Practice of Object Systems (TAPOS)


Electronic Publishing

Journal of the American Society of Information Science (JASIS)


Journal of Software Maintenance

Software Testing, Verification & Reliability (STVR)


International Journal of Intelligent Systems

Journal of Visualization and Computer Animation


Software Focus

Software Process: Improvement and Practice

Systems and Computers in Japan

Random Structures and Algorithms

World Scientific


International Journal of Computational Geometry and Applications (IJCGA)


International Journal of Cooperative Information Systems (IJCIS)


International Journal of Foundations of Computer Science (IJFCS)


International Journal of Image and Graphics (IJIG)


International Journal of Software Engineering and Knowledge Engineering (IJSEKE)


Journal of Interconnection Networks (JOIN)


Parallel Processing Letters

Other Computer Science Journals
Acta Cybernetica

AI Magazine

Australian Computer Journal / Journal of Research and Practice in Information Technology


Cognitive Science

Colombian Journal of Computation (RCC)


Current Cites

Data Science Journal

Datenbank Rundbrief (GI-FG 2.5.1)

D-Lib Magazine

Electronic Colloquium on Computational Complexity (ECCC)


EMISA Forum

IBM Systems Journal

Informatica (Lithuanian Academy of Sciences)


Informatica (Slovenia)

Journal of Internet Technology (link)


Journal of Object-Oriented Programming (JOOP)


Journal of Object Technology

KI - Künstliche Intelligenz

Nordic Journal of Computing (NJC) - BIT


Journal of the Brazilian Computer Society


Digital Technical Journal

Informatik / Informatique

Informatique Théorique et Applications

DBMS - The Database & Client/Server Solutions Magazine

Database Programming & Design

Journal of Database Management

Journal of Automata, Languages and Combinatorics


Journal of Artificial Intelligence Research (JAIR)


Journal of Computer-Mediated Communication (JCMC)


Journal of the IGPL, An Electronic Journal on Pure and Applied Logic


PACS Review

JEP - The Journal of Electronic Publishing (University of Michigan Press)


ERCIM News

Journal of Computer Security - link

JQL - Journal of Quantitative Linguistics

Journal of Graph Algorithms and Applications (JGAA)


UPGRADE - The European Online Magazine for the IT Professional (link)
Wirtschaftsinformatik

International Journal in Computer Simulation

Simulation

Studies in Informatics and Control Journal
The Information Society

Hypermedia

First Monday

CROSSTALK: The Journal of Defense Software Engineering
Advances in Computing Research

The South African Computer Journal - link


Bulletin of EATCS

Discrete Mathematics & Theoretical Computer Science

Novática - the Journal & Magazine of ATI
Other Journals

Science

Spektrum der Wissenschaft

History and Computing

The Journal of Online Law

BIT

More CS Journals on the Web...

Directory at CMU Library

SFU Directory of Computing Science Journals


Artificial Intelligence Journals


Information Systems Journals

BUBL Journals

Destacado


Últimas noticias

  • Firmado Convenio de colaboracion con la empresa IDASA Sistemas con el objetivo de elaborar un planificador inteligente de tareas de mantenimiento para Rosmiman [+]
  • Defensa de Tesis doctoral de D. José Padilla López [+]

Datos contacto

Ctra. San Vicente del Raspeig s/n 03690
San Vicente del Raspeig
Alicante
Tel. 96 590 3400
Fax 96 590 3464
i2rc@dtic.ua.es