Modeling communication in parallel algorithms: a fruitful interaction between theory and systems?
SPAA '94 Proceedings of the sixth annual ACM symposium on Parallel algorithms and architectures
Journal of Experimental Algorithmics (JEA)
ACM SIGPLAN Notices
Experimenting with power default reasoning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Towards literate tools for novice programmers
Proceedings of the 2nd Australasian conference on Computer science education
Fast estimation of diameter and shortest paths (without matrix multiplication)
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
A new approximation algorithm for the planar augmentation problem
Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms
The generic graph component library
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A grouping genetic algorithm for coloring the edges of graphs
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
JGAP: a Java-based graph algorithms platform
Software—Practice & Experience
Parallel execution of a sequential network simulator
Proceedings of the 32nd conference on Winter simulation
An Experimental Evaluation of a Scatter Search for the Linear Ordering Problem
Journal of Global Optimization
Parallel Implementation of Borvka's Minimum Spanning Tree Algorithm
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
Pushing Goal Derivation in DLP Computations
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
The Directed Minimum-Degree Spanning Tree Problem
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
Interchanging Two Segments of an Array in a Hierarchical Memory System
WAE '00 Proceedings of the 4th International Workshop on Algorithm Engineering
Simple and Efficient Bilayer Cross Counting
GD '02 Revised Papers from the 10th International Symposium on Graph Drawing
Two New Heuristics for Two-Sided Bipartite Graph Drawing
GD '02 Revised Papers from the 10th International Symposium on Graph Drawing
Optimizing multiple dimensional queries simultaneously in multidimensional databases
The VLDB Journal — The International Journal on Very Large Data Bases
Improving search in a hypothetical reasoning system
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Heuristics and meta-heuristics for 2-layer straight line crossing minimization
Discrete Applied Mathematics
Extending and enhancing GT-ITM
MoMeTools '03 Proceedings of the ACM SIGCOMM workshop on Models, methods and tools for reproducible network research
Breaking cycles for minimizing crossings
Journal of Experimental Algorithmics (JEA)
Constraint satisfaction algorithms for graph pattern matching
Mathematical Structures in Computer Science
Code improvements for model elimination based reasoning systems
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Autonomic service deployment in networks
IBM Systems Journal
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Variable neighborhood search for the linear ordering problem
Computers and Operations Research
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
Making computers laugh: investigations in automatic humor recognition
HLT '05 Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing
Deformation Models for Image Recognition
IEEE Transactions on Pattern Analysis and Machine Intelligence
A tool for automatic detection of deadlock in wormhole networks on chip
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Globally decoupled reputations for large distributed networks
Advances in Multimedia
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
Fast computing reachability labelings for large graphs with high compression rate
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
Enhancing DLV instantiator by backjumping techniques
Annals of Mathematics and Artificial Intelligence
A guide to statistical analysis for single criteria heuristics evaluation
International Journal of Innovative Computing and Applications
Efficient data structures for sparse network representation
International Journal of Computer Mathematics - COMPLEX NETWORKS
A microscopic view on community detection in complex networks
Proceedings of the 2nd PhD workshop on Information and knowledge management
Combining Two Structured Domains for Modeling Various Graph Matching Problems
Recent Advances in Constraints
On-line exact shortest distance query processing
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
A Hybrid Ant-Based Approach to the Economic Triangulation Problem for Input-Output Tables
HAIS '09 Proceedings of the 4th International Conference on Hybrid Artificial Intelligence Systems
A hybrid approach to domino portrait generation
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Relay node selection in large-scale VoIP overlay networks
ICUFN'09 Proceedings of the first international conference on Ubiquitous and future networks
A parallel ASP instantiator based on DLV
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Exact Algorithms for the Quadratic Linear Ordering Problem
INFORMS Journal on Computing
Edit distances with block movements and error rate confidence estimates
Machine Translation
A new exact algorithm for the two-sided crossing minimization problem
COCOA'07 Proceedings of the 1st international conference on Combinatorial optimization and applications
Pregel: a system for large-scale graph processing
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Random graph generation for scheduling simulations
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Cracking bank PINs by playing mastermind
FUN'10 Proceedings of the 5th international conference on Fun with algorithms
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Evaluating Node Importance with Multi-Criteria
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
Heuristic techniques for variable and value ordering in CSPs
Proceedings of the 13th annual conference on Genetic and evolutionary computation
LEMON - an Open Source C++ Graph Template Library
Electronic Notes in Theoretical Computer Science (ENTCS)
Cutting graphs using competing ant colonies and an edge clustering heuristic
EvoCOP'11 Proceedings of the 11th European conference on Evolutionary computation in combinatorial optimization
Listing all maximal cliques in large sparse real-world graphs
SEA'11 Proceedings of the 10th international conference on Experimental algorithms
An integrated algorithm for 3D-IC TSV assignment
Proceedings of the 48th Design Automation Conference
Evaluation of Routing with Robustness to the Variation in Traffic Demand
Journal of Network and Systems Management
Adding efficient data management to logic programming systems
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Decoupling service and feedback trust in a peer-to-peer reputation system
ISPA'05 Proceedings of the 2005 international conference on Parallel and Distributed Processing and Applications
Optimizing K2 trees: A case for validating the maturity of network of practices
Computers & Mathematics with Applications
Fast computation of reachability labeling for large graphs
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Partitioning planar graphs: a fast combinatorial approach for max-cut
Computational Optimization and Applications
Data in social network analysis
ICCMSN'08 Proceedings of the First international conference on Computer-Mediated Social Networking
The open graph archive: a community-driven effort
GD'11 Proceedings of the 19th international conference on Graph Drawing
A benchmark library and a comparison of heuristic methods for the linear ordering problem
Computational Optimization and Applications
Constructing and sampling graphs with a prescribed joint degree distribution
Journal of Experimental Algorithmics (JEA)
Community detection by using the extended modularity
Acta Cybernetica
Vertex neighborhoods, low conductance cuts, and good seeds for local community methods
Proceedings of the 18th ACM SIGKDD international conference on Knowledge discovery and data mining
An O(n2) algorithm for detecting communities of unbalanced sizes in large scale social networks
Knowledge-Based Systems
Obstacles Incentivize Human Learning: A Network Theoretic Study
ASONAM '12 Proceedings of the 2012 International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2012)
Finding Communities in Weighted Signed Social Networks
ASONAM '12 Proceedings of the 2012 International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2012)
Privacy Preservation by k-Anonymization of Weighted Social Networks
ASONAM '12 Proceedings of the 2012 International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2012)
Recurrent Structural Motifs Reflect Characteristics of Distinct Networks
ASONAM '12 Proceedings of the 2012 International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2012)
ASCOS: an asymmetric network structure COntext similarity measure
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Uncovering overlapping cluster structures via stochastic competitive learning
Information Sciences: an International Journal
Modeling and detecting community hierarchies
SIMBAD'13 Proceedings of the Second international conference on Similarity-Based Pattern Recognition
Hierarchies of predominantly connected communities
WADS'13 Proceedings of the 13th international conference on Algorithms and Data Structures
Community detection by modularity maximization using GRASP with path relinking
Computers and Operations Research
Performance estimation using symbolic data
Theories of Programming and Formal Methods
Proceedings of the VLDB Endowment
Improving heuristics for network modularity maximization using an exact algorithm
Discrete Applied Mathematics
An efficient algorithm for community mining with overlap in social networks
Expert Systems with Applications: An International Journal
RoClust: Role discovery for graph clustering
Web Intelligence and Agent Systems
Measuring similarity of graph nodes by neighbor matching
Intelligent Data Analysis
Hi-index | 0.00 |