Families of Optimal Fault-Tolerant Multiple-Bus Networks
IEEE Transactions on Parallel and Distributed Systems
Conceptual multidimensional data model based on object-oriented metacube
Proceedings of the 2001 ACM symposium on Applied computing
Generating finite state machines from abstract state machines
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
The cable trench problem: combining the shortest path and minimum spanning tree problems
Computers and Operations Research
A Unified Methodology for Verification and Synthesis of Firewall Configurations
ICICS '01 Proceedings of the Third International Conference on Information and Communications Security
An O(pn + 1.151p)-Algorithm for p-Profit Cover and Its Practical Implications for Vertex Cover
ISAAC '02 Proceedings of the 13th International Symposium on Algorithms and Computation
Automated Boundary Testing from Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Multi-drop path model for multicast routing and wavelength assignment
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Photonics, networking & computing
Bipartite graph approach to coordinating disparate workflows
Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
The myth of the double-blind review?: author identification using only citations
ACM SIGKDD Explorations Newsletter
A new spectral method for nodal ordering of regular space structures
Finite Elements in Analysis and Design
Survivable Mapping Algorithm by Ring Trimming (SMART) for Large IP-Over-WDM Networks
BROADNETS '04 Proceedings of the First International Conference on Broadband Networks
Utilization of GIS and graph theory for determination of optimal mailing route
Journal of Computing Sciences in Colleges
Toward a basic framework for webometrics
Journal of the American Society for Information Science and Technology - Special issue: Webometrics
Genetic Algorithm Coding Methods for Leather Nesting
Applied Intelligence
Formal description and analysis of a distributed location service for mobile ad hoc networks
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Sync your data: update propagation for heterogeneous protein databases
The VLDB Journal — The International Journal on Very Large Data Bases
An efficient group key establishment in location-aided mobile ad hoc networks
PE-WASUN '05 Proceedings of the 2nd ACM international workshop on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks
Test Planning and Test Resource Optimization for Droplet-Based Microfluidic Systems
Journal of Electronic Testing: Theory and Applications
Automated design of pin-constrained digital microfluidic arrays for lab-on-a-chip applications*
Proceedings of the 43rd annual Design Automation Conference
Mat'Graph: transformation matricielle de graphe pour visualiser des échanges électroniques
IHM 2005 Proceedings of the 17th international conference on Francophone sur l'Interaction Homme-Machine
Parallelizing load/stores on dual-bank memory embedded processors
ACM Transactions on Embedded Computing Systems (TECS)
Structuring topologically aware overlay networks using domain names
Computer Networks: The International Journal of Computer and Telecommunications Networking
Applying Mathematica and webMathematica to graph coloring
Future Generation Computer Systems
Interfaces
Proceedings of the conference on Design, automation and test in Europe
Multicast algorithms in service overlay networks
Computer Communications
Automated design of digital microfluidic lab-on-chip under pin-count constraints
Proceedings of the 2008 international symposium on Physical design
Decision trees for filtering large databases of graphs
International Journal of Intelligent Systems Technologies and Applications
Graph products for configuration processing of space structures
Computers and Structures
Broadcast electrode-addressing for pin-constrained multi-functional digital microfluidic biochips
Proceedings of the 45th annual Design Automation Conference
SkyGraph: an algorithm for important subgraph discovery in relational graphs
Data Mining and Knowledge Discovery
Research note: On the assessment of input streams for incremental network computing
Journal of Parallel and Distributed Computing
Adaptive Distributed Channel Assignment in Wireless Mesh Networks
Wireless Personal Communications: An International Journal
Message Complexity Analysis of MANET Address Autoconfiguration Algorithms in Group Merging Case
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
Improving the Performance of Graph Coloring Algorithms through Backtracking
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part I
HyPAM: A hybrid continuum-particle model for incompressible free-surface flows
Journal of Computational Physics
An all-in-one solution to geometric and photometric calibration
ISMAR '06 Proceedings of the 5th IEEE and ACM International Symposium on Mixed and Augmented Reality
A brief survey on anonymization techniques for privacy preserving publishing of social network data
ACM SIGKDD Explorations Newsletter
SNR and temporal scalable coding of 3-D mesh sequences using singular value decomposition
Journal of Visual Communication and Image Representation
Refined MDP-Based Branch-and-Fix Algorithm for the Hamiltonian Cycle Problem
Mathematics of Operations Research
Power optimization for application-specific networks-on-chips: A topology-based approach
Microprocessors & Microsystems
Improved algorithm for minimum flows in bipartite networks with unit capacities
WSEAS Transactions on Computers
IEEE/ACM Transactions on Networking (TON)
On universal properties of capacity-approaching LDPC code ensembles
IEEE Transactions on Information Theory
CIBCB'09 Proceedings of the 6th Annual IEEE conference on Computational Intelligence in Bioinformatics and Computational Biology
ICME'09 Proceedings of the 2009 IEEE international conference on Multimedia and Expo
On the fundamental system of cycles in the bipartite graphs of LDPC code ensembles
ISIT'09 Proceedings of the 2009 IEEE international conference on Symposium on Information Theory - Volume 1
ProTest: An Automatic Test Environment for B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
InDiA: a framework for workflow interoperability support by means of multi-agent systems
Engineering Applications of Artificial Intelligence
Treewidth computations I. Upper bounds
Information and Computation
Technologies for 3D mesh compression: A survey
Journal of Visual Communication and Image Representation
Empirical analysis of a dynamic social network built from PGP Keyrings
ICML'06 Proceedings of the 2006 conference on Statistical network analysis
Arc searching digraphs without jumping
COCOA'07 Proceedings of the 1st international conference on Combinatorial optimization and applications
A top-down approach to add hot-pluggable asynchronous devices to RAPIEnet infrastructure
ISCIT'09 Proceedings of the 9th international conference on Communications and information technologies
Design and optimization of a tiered wireless access network
INFOCOM'10 Proceedings of the 29th conference on Information communications
IEEE Transactions on Image Processing
WSEAS Transactions on Computers
A geometric approach for efficient licenses validation in DRM
SDM'10 Proceedings of the 7th VLDB conference on Secure data management
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Digital microfluidic biochips: recent research and emerging challenges
CODES+ISSS '11 Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
EvoGeneS, a new evolutionary approach to graph generation
EvoCOP'05 Proceedings of the 5th European conference on Evolutionary Computation in Combinatorial Optimization
Attack resiliency of network topologies
PDCAT'04 Proceedings of the 5th international conference on Parallel and Distributed Computing: applications and Technologies
A network-flow based pin-count aware routing algorithm for broadcast electrode-addressing EWOD chips
Proceedings of the International Conference on Computer-Aided Design
A mozart implementation of CP(BioNet)
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Applications of graph coloring
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
Algorithms for graphs embeddable with few crossings per edge
FCT'05 Proceedings of the 15th international conference on Fundamentals of Computation Theory
Forbidding and enforcing on graphs
Theoretical Computer Science
Access control in social networks: a reachability-based approach
Proceedings of the 2012 Joint EDBT/ICDT Workshops
Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing
Topology optimisation of repairable flow networks for a maximum average availability
Computers & Mathematics with Applications
An integrated methodology for the analysis of collaboration in industry networks
Journal of Intelligent Manufacturing
Near-optimal continuous patrolling with teams of mobile information gathering agents
Artificial Intelligence
EvoGeneSys, a new evolutionary approach to graph generation
Applied Soft Computing
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
DVcube: A novel compound architecture of disc-ring graph and hypercube-like graph
Theoretical Computer Science
| Hi-index | 0.07 |