ACM Computing Surveys (CSUR)
IEEE Transactions on Computers
Efficiently updating materialized views
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A new approach to all pairs shortest paths in planar graphs
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing
SIGMETRICS '87 Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Optimal Systolic Design for the Transitive Closure and the Shortest Path Problems
IEEE Transactions on Computers
A Systolic Array for the Assignment Problem
IEEE Transactions on Computers
Software pipelining: an effective scheduling technique for VLIW machines
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
A common schema for dynamic programming and branch and bound algorithms
Journal of the ACM (JACM)
Updating derived relations: detecting irrelevant and autonomously computable updates
ACM Transactions on Database Systems (TODS)
New techniques for best-match retrieval
ACM Transactions on Information Systems (TOIS)
Planar graph decomposition and all pairs shortest paths
Journal of the ACM (JACM)
Georoute: a geographic information system for transportation applications
Communications of the ACM
A Control-Flow Normalization Algorithm and its Complexity
IEEE Transactions on Software Engineering
Load balanced deadlock-free deterministic routing of arbitrary networks
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Design of Optimal Systolic Algorithms for the Transitive Closure Problem
IEEE Transactions on Computers
On tree-based techniques for query evaluation
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Efficient parallel algorithms for computing all pair shortest paths in directed graphs
SPAA '92 Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures
Avoiding unconditional jumps by code replication
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Structural analysis of hypertexts: identifying hierarchies and useful metrics
ACM Transactions on Information Systems (TOIS)
Shortest path by approximation in logic programs
ACM Letters on Programming Languages and Systems (LOPLAS)
Multicast routing for multimedia communication
IEEE/ACM Transactions on Networking (TON)
Routing reserved bandwith multi-point connections
SIGCOMM '93 Conference proceedings on Communications architectures, protocols and applications
IBM Systems Journal
Solving satisfiability and implication problems in database systems
ACM Transactions on Database Systems (TODS)
Efficient solutions to multicast routing in communication networks
Mobile Networks and Applications - Special issue: routing in mobile communications networks
Deadlock-free routing in arbitrary networks via the flattest common supersequence method
Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures
Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes
IEEE Transactions on Parallel and Distributed Systems
Minimizing time-space cost for database version control
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Combinatorial approximation algorithms for generalized flow problems
Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms
A Note on Dijkstra's Shortest Path Algorithm
Journal of the ACM (JACM)
A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph
Journal of the ACM (JACM)
A Fast Backtracking Algorithm to Test Directed Graphs for Isomorphism Using Distance Matrices
Journal of the ACM (JACM)
Efficient Algorithms for Shortest Paths in Sparse Networks
Journal of the ACM (JACM)
Lower Bounds for Selection in X + Y and Other Multisets
Journal of the ACM (JACM)
Approximation Algorithms for Some Postman Problems
Journal of the ACM (JACM)
Information Bounds Are Weak in the Shortest Distance Problem
Journal of the ACM (JACM)
A Unified Approach to Path Problems
Journal of the ACM (JACM)
Fast Algorithms for Solving Path Problems
Journal of the ACM (JACM)
Order-n correction for regular languages
Communications of the ACM
On computing sets of shortest paths in a graph
Communications of the ACM
Fast approximation of centrality
SODA '01 Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms
Enhancing data warehouse performance through query caching
ACM SIGMIS Database
Enhancing data warehouse performance through query caching
ACM SIGMIS Database
Multihierarchical Graph Search
IEEE Transactions on Pattern Analysis and Machine Intelligence
The Maximin-Maxisum Network Location Problem
Computational Optimization and Applications
Soft Constraint Logic Programming and Generalized Shortest Path Problems
Journal of Heuristics
IEEE Transactions on Knowledge and Data Engineering
Uniform Approach for Solving some Classical Problems on a Linear Array
IEEE Transactions on Parallel and Distributed Systems
A Processor-Time-Minimal Systolic Array for Transitive Closure
IEEE Transactions on Parallel and Distributed Systems
Graphs and enhancing Maple multiplication
Mathematics and Computer Education
An optimal parallel algorithm for all-pairs shortest paths on unweighted interval graphs
Nordic Journal of Computing
Introducing Context-Based Constraints
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
A Tractable Query Cache by Approximation
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Query Processing for Distance Metrics
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Pipeline Transportation of Petroleum Products with No Due Dates
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Event-State Duality: The Enriched Case
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Mobile Journey Planning for Bus Passengers
GIScience '02 Proceedings of the Second International Conference on Geographic Information Science
NETWORKING '00 Proceedings of the IFIP-TC6 / European Commission International Conference on Broadband Communications, High Performance Networking, and Performance of Communication Networks
FSE '99 Proceedings of the 6th International Workshop on Fast Software Encryption
An introduction to processor-time-optimal systolic arrays
Highly parallel computaions
Interface Timing Verification with Delay Correlation Using Constraint Logic Programming
EDTC '97 Proceedings of the 1997 European conference on Design and Test
A heuristic method for optimizing an intercity data transmission network
SIGCOMM '81 Proceedings of the seventh symposium on Data communications
An &Ohgr;(n2 log n) lower bound to the shortest paths problem
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
A shortest-path algorithm with expected time O(n2 log n log* n)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Efficient dynamic programming using quadrangle inequalities
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
A simple, efficient design automation processor
DAC '74 Proceedings of the 11th Design Automation Workshop
Information Dissemination in Partitionable Mobile Ad Hoc Networks
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Improved heuristics for the traveling purchaser problem
Computers and Operations Research
What can we gain by unfolding loops?
ACM SIGPLAN Notices
Software pipelining: an effective scheduling technique for VLIW machines
ACM SIGPLAN Notices - Best of PLDI 1979-1999
CrimeNet explorer: a framework for criminal network knowledge discovery
ACM Transactions on Information Systems (TOIS)
Worst-case update times for fully-dynamic all-pairs shortest paths
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
Detecting causal relationships in distributed computations: in search of the holy grail
Distributed Computing
Consensus Genetic Maps: A Graph Theoretic Approach
CSB '05 Proceedings of the 2005 IEEE Computational Systems Bioinformatics Conference
Cluster Computing for Determining Three-Dimensional Protein Structure
The Journal of Supercomputing
A Branch-and-Cut Algorithm for the Median-Path Problem
Computational Optimization and Applications
Efficient query processing on spatial networks
Proceedings of the 13th annual ACM international workshop on Geographic information systems
Shortest-Path Kernels on Graphs
ICDM '05 Proceedings of the Fifth IEEE International Conference on Data Mining
Cache-oblivious dynamic programming
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
Generating all vertices of a polyhedron is hard
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
An anytime symmetry detection algorithm for ROBDDs
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
A parallel Viterbi decoder for block cyclic and convolution codes
Signal Processing
Finding a maximum weight triangle in n3-Δ time, with applications
Proceedings of the thirty-eighth annual ACM symposium on Theory of computing
An Efficient Dynamic Algorithm for Maintaining All-Pairs Shortest Paths in Stochastic Networks
IEEE Transactions on Computers
Efficient transitive closure of sparse matrices over closed semirings
Theoretical Computer Science - Algebraic methods in language processing
Proceedings of the 2006 ACM symposium on Applied computing
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Using structure indices for efficient approximation of network properties
Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining
A tabu search algorithm for the min-max k-Chinese postman problem
Computers and Operations Research
Traffic Engineering and QoS Optimization of Integrated Voice & Data Networks
Traffic Engineering and QoS Optimization of Integrated Voice & Data Networks
Educational series #5: integer programming by group theory
ACM SIGMAP Bulletin
O(1) query time algorithm for all pairs shortest distances on permutation graphs
Discrete Applied Mathematics
Efficiency improvement in an nD systems approach to polynomial optimization
Journal of Symbolic Computation
Two fast algorithms for all-pairs shortest paths
Computers and Operations Research
Scheduling-free resource management
Data & Knowledge Engineering
Topology aggregation for combined additive and restrictive metrics
Computer Networks: The International Journal of Computer and Telecommunications Networking
The Journal of Supercomputing
Modeling deceptive information dissemination using a holistic approach
Proceedings of the 2007 ACM symposium on Applied computing
Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures
SODA '07 Proceedings of the eighteenth annual ACM-SIAM symposium on Discrete algorithms
t-Spanners for metric space searching
Data & Knowledge Engineering
A Distributed Algorithm for Shortest Paths
IEEE Transactions on Computers
Adaptive fastest path computation on a road network: a traffic mining approach
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Quasi-isometric parameterization for texture mapping
Pattern Recognition
Admission of QoS aware users in a smart network
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Quasi-isometric parameterization for texture mapping
Pattern Recognition
Solving an urban waste collection problem using ants heuristics
Computers and Operations Research
AI Communications - Constraint Programming for Planning and Scheduling
Terracost: Computing least-cost-path surfaces for massive grid terrains
Journal of Experimental Algorithmics (JEA)
Consensus Genetic Maps as Median Orders from Inconsistent Sources
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Minimum-latency gossiping in multi-hop wireless networks
Proceedings of the 9th ACM international symposium on Mobile ad hoc networking and computing
Generalized instruction selection using SSA-graphs
Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems
A new variant of the Pathfinder algorithm to generate large visual science maps in cubic time
Information Processing and Management: an International Journal
A multi-objective ant colony approach for pareto-optimization using dynamic programming
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Crossover can provably be useful in evolutionary computation
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Automatic generation of path conditions for concurrent timed systems
Theoretical Computer Science
All-pairs shortest-paths for large graphs on the GPU
Proceedings of the 23rd ACM SIGGRAPH/EUROGRAPHICS symposium on Graphics hardware
Combinatorial and computational properties of a diameter constrained network reliability model
ACC'08 Proceedings of the WSEAS International Conference on Applied Computing Conference
Directed Network Representation of Discrete Dynamical Maps
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
On the Deterministic Tracking of Moving Objects with a Binary Sensor Network
DCOSS '08 Proceedings of the 4th IEEE international conference on Distributed Computing in Sensor Systems
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
WSEAS TRANSACTIONS on COMMUNICATIONS
Privacy-preserving social network analysis for criminal investigations
Proceedings of the 7th ACM workshop on Privacy in the electronic society
An efficient link allocation algorithm for survivable ATM-based personal communication networks
Computers and Operations Research
Modular code generation from synchronous block diagrams: modularity vs. code size
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 4th workshop on Declarative aspects of multicore programming
Optimization of cDNA Microarray Experimental Designs Using an Evolutionary Algorithm
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Combining heuristic and landmark search for path planning
Future Play '08 Proceedings of the 2008 Conference on Future Play: Research, Play, Share
CARGuide: on-board computer for automobile route guidance
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Issues in packet switching network design
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
New line tariffs and their impact on network design
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Computers and Industrial Engineering
On the use of negation in Boolean IR queries
Information Processing and Management: an International Journal
On-line exact shortest distance query processing
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Charting taxonomic knowledge through ontologies and ranking algorithms
Computers & Geosciences
Swarm Intelligence Inspired Multicast Routing: An Ant Colony Optimization Approach
EvoWorkshops '09 Proceedings of the EvoWorkshops 2009 on Applications of Evolutionary Computing: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG
Discrete Particle Swarm Optimization for Multiple Destination Routing Problems
EvoWorkshops '09 Proceedings of the EvoWorkshops 2009 on Applications of Evolutionary Computing: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG
Personalised routing for wheelchair navigation
Journal of Location Based Services
Detection of Locally Over-Represented GO Terms in Protein-Protein Interaction Networks
RECOMB 2'09 Proceedings of the 13th Annual International Conference on Research in Computational Molecular Biology
Improving the Scalability of SimGrid Using Dynamic Routing
ICCS '09 Proceedings of the 9th International Conference on Computational Science: Part I
An execution time neural-CBR guidance assistant
Neurocomputing
Vertex fusion under distance constraints
European Journal of Combinatorics
Eight friends are enough: social graph approximation via public listings
Proceedings of the Second ACM EuroSys Workshop on Social Network Systems
Computing the dilation of edge-augmented graphs in metric spaces
Computational Geometry: Theory and Applications
On Computing Canonical Subsets of Graph-Based Behavioral Representations
GbRPR '09 Proceedings of the 7th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition
Journal of Artificial Intelligence Research
Hybrid STAN: Identifying and managing combinatorial optimisation sub-problems in planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Fast shortest path distance estimation in large networks
Proceedings of the 18th ACM conference on Information and knowledge management
Branch-and-cut for the pickup and delivery traveling salesman problem with FIFO loading
Computers and Operations Research
Monitoring minimum cost paths on road networks
Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
ACM Transactions on Computational Logic (TOCL)
Finding all shortest distances in a directed network
IBM Journal of Research and Development
Virtual social networks online and mobile systems
Mobile Information Systems
Shortcut in the decomposition algorithm for shortest paths in a network
IBM Journal of Research and Development
A simple multi-objective optimization algorithm for the urban transit routing problem
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
An Algorithm to Discover the k-Clique Cover in Networks
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
A Graph Distance Based Structural Clustering Approach for Networks
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Defining routing tables for SNA networks
IBM Systems Journal
Enforcing Concurrent Temporal Behaviors
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining multicore and reconfigurable instruction set extensions
Proceedings of the 18th annual ACM/SIGDA international symposium on Field programmable gate arrays
Proceedings of the 3rd Workshop on Social Network Mining and Analysis
Teaching design & analysis of multi-core parallel algorithms using CUDA
Journal of Computing Sciences in Colleges
A matching based decomposer for double patterning lithography
Proceedings of the 19th international symposium on Physical design
Performance evaluation of vector implementations of combinatorial algorithms
Parallel Computing
The impact of memory organization on the performance of matrix calculations
Parallel Computing
A new algorithm for finding faces in wireframes
Computer-Aided Design
The Floyd--Warshall algorithm on graphs with negative cycles
Information Processing Letters
Generation of expression space for realtime facial expression control of 3D avatar
MIRAGE'07 Proceedings of the 3rd international conference on Computer vision/computer graphics collaboration techniques
Shape-based Invariant Texture Indexing
International Journal of Computer Vision
Quantifying the discord: order discrepancies in message sequence charts
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Geometrical information fusion from WWW and its related information
DNIS'07 Proceedings of the 5th international conference on Databases in networked information systems
Repairing inconsistent XML write-access control policies
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Simulating evolution in model-based product line engineering
Information and Software Technology
A fast algorithm to calculate powers of a Boolean matrix for diameter computation of random graphs
WALCOM'08 Proceedings of the 2nd international conference on Algorithms and computation
Atmospheric pollution analysis by unsupervised learning
IDEAL'09 Proceedings of the 10th international conference on Intelligent data engineering and automated learning
Evaluation of UPC programmability using classroom studies
Proceedings of the Third Conference on Partitioned Global Address Space Programing Models
Lock-free parallel dynamic programming
Journal of Parallel and Distributed Computing
A metaheuristic approach to the urban transit routing problem
Journal of Heuristics
The pseudotemporal bootstrap for predicting glaucoma from cross-sectional visual field data
IEEE Transactions on Information Technology in Biomedicine
Nondecreasing paths in a weighted graph or: How to optimally read a train schedule
ACM Transactions on Algorithms (TALG)
Computer Networks: The International Journal of Computer and Telecommunications Networking
Detecting duplicate biological entities using Shortest Path Edit Distance
International Journal of Data Mining and Bioinformatics
Computing a fuzzy shortest path in a network with mixed fuzzy arc lengths using α-cuts
Computers & Mathematics with Applications
"I did it my way": moving away from the tyranny of turn-by-turn pedestrian navigation
Proceedings of the 12th international conference on Human computer interaction with mobile devices and services
AS-level source routing for multi-provider connection-oriented services
Computer Networks: The International Journal of Computer and Telecommunications Networking
Fast top-k simple shortest paths discovery in graphs
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Expert Systems with Applications: An International Journal
Data source management and selection for dynamic data integration
RED'09 Proceedings of the 2nd international conference on Resource discovery
Predicting partial orders: ranking with abstention
ECML PKDD'10 Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part I
Visualising the structure of document search results: a comparison of graph theoretic approaches
Information Visualization
Parallel FPGA-based all-pairs shortest-paths in a directed graph
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Model checking a model checker: a code contract combined approach
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Knowledge sharing in dynamic virtual enterprises: A socio-technological perspective
Knowledge-Based Systems
IEEE/ACM Transactions on Networking (TON)
Journal of Systems and Software
A memory efficient reachability data structure through bit vector compression
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Analysis of Deterministic Tracking of Multiple Objects Using a Binary Sensor Network
ACM Transactions on Sensor Networks (TOSN)
Performance-driven synthesis in controller-datapath systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Cluster based partitioning for agent-based crowd simulations
Winter Simulation Conference
All-pairs shortest paths with a sublinear additive error
ACM Transactions on Algorithms (TALG)
Exact decoding of syntactic translation models through Lagrangian relaxation
HLT '11 Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies - Volume 1
Cluster partition-based communication of multiagents: The model and analyses
Advances in Engineering Software
A functional, successor list based version of warshall's algorithm with applications
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Mining mobility data to minimise travellers' spending on public transport
Proceedings of the 17th ACM SIGKDD international conference on Knowledge discovery and data mining
Faster Algorithms for Max-Product Message-Passing
The Journal of Machine Learning Research
A new alert correlation algorithm based on attack graph
CISIS'11 Proceedings of the 4th international conference on Computational intelligence in security for information systems
Shortest path problem with uncertain arc lengths
Computers & Mathematics with Applications
Querying shortest path distance with bounded errors in large graphs
SSDBM'11 Proceedings of the 23rd international conference on Scientific and statistical database management
A flexible graph pattern matching framework via indexing
SSDBM'11 Proceedings of the 23rd international conference on Scientific and statistical database management
Comparing predictive power in climate data: clustering matters
SSTD'11 Proceedings of the 12th international conference on Advances in spatial and temporal databases
Finding top-k shortest path distance changes in an evolutionary network
SSTD'11 Proceedings of the 12th international conference on Advances in spatial and temporal databases
Mining temporal invariants from partially ordered logs
SLAML '11 Managing Large-scale Systems via the Analysis of System Logs and the Application of Machine Learning Techniques
Semantics-based web service discovery using information retrieval techniques
INEX'10 Proceedings of the 9th international conference on Initiative for the evaluation of XML retrieval: comparative evaluation of focused retrieval
Octagonal domains for continuous constraints
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Multiobjective evolutionary algorithm for redesigning sales territories
ICCL'11 Proceedings of the Second international conference on Computational logistics
Towards realistic mobility modeling for vehicular ad hoc networks
Proceedings of the 44th Annual Simulation Symposium
Path queries on massive graphs based on multi-granular graph partitioning
RSKT'11 Proceedings of the 6th international conference on Rough sets and knowledge technology
Bounded budget betweenness centrality game for strategic network formations
Theoretical Computer Science
Automatic library migration for the generation of hardware-in-the-loop models
Science of Computer Programming
Computers and Operations Research
Path Planning Strategies for UAVS in 3D Environments
Journal of Intelligent and Robotic Systems
Mining temporal invariants from partially ordered logs
ACM SIGOPS Operating Systems Review
An approach to RDF(S) query, manipulation and inference on databases
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Parallel blocked algorithm for solving the algebraic path problem on a matrix processor
HPCC'05 Proceedings of the First international conference on High Performance Computing and Communications
Model checking timed automata with priorities using DBM subtraction
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Finding min-sum disjoint shortest paths from a single source to all pairs of destinations
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
A heterogeneous accelerator platform for multi-subject voxel-based brain network analysis
Proceedings of the International Conference on Computer-Aided Design
JuliusC: a practical approach for the analysis of divide-and-conquer algorithms
LCPC'04 Proceedings of the 17th international conference on Languages and Compilers for High Performance Computing
Expert Systems with Applications: An International Journal
Quasi-synchronous phrase dependency grammars for machine translation
EMNLP '11 Proceedings of the Conference on Empirical Methods in Natural Language Processing
ISAAC'04 Proceedings of the 15th international conference on Algorithms and Computation
Constrained shortest path computation
SSTD'05 Proceedings of the 9th international conference on Advances in Spatial and Temporal Databases
Crossover can provably be useful in evolutionary computation
Theoretical Computer Science
Semantic network closure structures in dual translation of stochastic languages
DNIS'10 Proceedings of the 6th international conference on Databases in Networked Information Systems
Inferring gene orders from gene maps using the breakpoint distance
RCG'06 Proceedings of the RECOMB 2006 international conference on Comparative Genomics
GerbilSphere: Inner sphere network visualization
Computer Networks: The International Journal of Computer and Telecommunications Networking
EvoCOP'10 Proceedings of the 10th European conference on Evolutionary Computation in Combinatorial Optimization
Generating path conditions for timed systems
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
A task parallel algorithm for finding all-pairs shortest paths using the GPU
International Journal of High Performance Computing and Networking
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
Microaggregation- and permutation-based anonymization of movement data
Information Sciences: an International Journal
Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems
Mathematical and Computer Modelling: An International Journal
Computation of shortest path in cellular automata
Mathematical and Computer Modelling: An International Journal
An integrated approach for main path analysis: Development of the Hirsch index as an example
Journal of the American Society for Information Science and Technology
Optimising multicast structures for grid computing
Computer Communications
Loop-free multicast routing with end-to-end delay constraint
Computer Communications
Fast algorithms for the maximum convolution problem
Operations Research Letters
On negative cycles in mixed graphs
Operations Research Letters
Parallel nested dissection for path algebra computations
Operations Research Letters
A developmental solution to (dynamic) capacitated arc routing problems using genetic programming
Proceedings of the 14th annual conference on Genetic and evolutionary computation
Using computational intelligence for large scale air route networks design
Applied Soft Computing
Path planning with variable-fidelity terrain assessment
Robotics and Autonomous Systems
The discretizable molecular distance geometry problem
Computational Optimization and Applications
Locating in fingerprint space: wireless indoor localization with little human intervention
Proceedings of the 18th annual international conference on Mobile computing and networking
Keyword-aware optimal route search
Proceedings of the VLDB Endowment
Repairing inconsistent dimensions in data warehouses
Data & Knowledge Engineering
Distributed algorithms for network diameter and girth
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Computer Networks: The International Journal of Computer and Telecommunications Networking
Agent-based simulation for large-scale emergency response: A survey of usage and implementation
ACM Computing Surveys (CSUR)
A Label Correcting Algorithm for the Bus Routing Problem
Fundamenta Informaticae
Tractable reasoning with vague knowledge using fuzzy $\mathcal{EL}^{++}$
Journal of Intelligent Information Systems
Computing all-pairs shortest paths by leveraging low treewidth
Journal of Artificial Intelligence Research
Discretionary social network data revelation with a user-centric utility guarantee
Proceedings of the 21st ACM international conference on Information and knowledge management
Simple rectangle-based functional programs for computing reflexive-transitive closures
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Mcta: heuristics and search for timed systems
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
Reachability in graph timelines
Proceedings of the 4th conference on Innovations in Theoretical Computer Science
Consistency and repair for XML write-access control policies
The VLDB Journal — The International Journal on Very Large Data Bases
Navigation your way: from spontaneous independent exploration to dynamic social journeys
Personal and Ubiquitous Computing
A survey on proximity measures for social networks
Search Computing
Evaluating dynamic dispatch strategies for emergency medical services: TIFAR simulation tool
Proceedings of the Winter Simulation Conference
Network optimization prior to dynamic simulation of AMHS
Proceedings of the Winter Simulation Conference
Methodology to best extend AMHS for site expansion
Proceedings of the Winter Simulation Conference
Proceedings of the Winter Simulation Conference
An innovative freight traffic assignment model for multimodal networks
Computers in Industry
Distributed constraint optimisation for resource limited sensor networks
Science of Computer Programming
NoRD: Node-Router Decoupling for Effective Power-gating of On-Chip Routers
MICRO-45 Proceedings of the 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture
DTD based costs for tree-edit distance in structured information retrieval
ECIR'13 Proceedings of the 35th European conference on Advances in Information Retrieval
A cost efficient framework and algorithm for embedding dynamic virtual network requests
Future Generation Computer Systems
Modelling and analysing the dynamics of disease progression from cross-sectional studies
Journal of Biomedical Informatics
Least-restrictive enforcement of the Chinese wall security policy
Proceedings of the 18th ACM symposium on Access control models and technologies
Incremental graph pattern matching
ACM Transactions on Database Systems (TODS)
PIXS: programmable intelligence for cross-platform socialization
Proceedings of the 5th ACM workshop on HotPlanet
Incremental algorithm for updating betweenness centrality in dynamically growing networks
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Incremental closeness centrality for dynamically changing social networks
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Fun with semirings: a functional pearl on the abuse of linear algebra
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Entity disambiguation in anonymized graphs using graph kernels
Proceedings of the 22nd ACM international conference on Conference on information & knowledge management
Three-dimensional Route Planning for Unmanned Aerial Vehicles in a Risk Environment
Journal of Intelligent and Robotic Systems
Efficient secure computation optimization
Proceedings of the First ACM workshop on Language support for privacy-enhancing technologies
Solving difference constraints over modular arithmetic
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Approximate matching between a context-free grammar and a finite-state automaton
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
Shortest-path queries in static networks
ACM Computing Surveys (CSUR)
Double bound method for solving the p-center location problem
Computers and Operations Research
Information Sciences: an International Journal
Flexibility and decoupling in the simple temporal problem
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Column generation algorithm for RSA problems in flexgrid optical networks
Photonic Network Communications
Fast shortest-paths algorithms in the presence of few destinations of negative-weight arcs
Journal of Discrete Algorithms
Manifold learning by preserving distance orders
Pattern Recognition Letters
Distributed reasoning for multiagent simple temporal problems
Journal of Artificial Intelligence Research
SemGsearch: an approach to semantically retrieve geospatialobjects from different geographic servers
Journal of Web Engineering
| Hi-index | 48.29 |