JGAP: a Java-based graph algorithms platform
Software—Practice & Experience
An open toolkit for prototyping reverse engineering visualizations
VISSYM '02 Proceedings of the symposium on Data Visualisation 2002
An open framework for data-flow analysis in Java: extended abstract
PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
STG: A Symbolic Test Generation Tool
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Temporal Debugging for Concurrent Systems
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Revised Lectures on Software Visualization, International Seminar
Maria: Modular Reachability Analyser for Algebraic System Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Debugging temporal specifications with concept analysis
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Decentering the dancing text: from dance intertext to hypertext
Proceedings of the fourteenth ACM conference on Hypertext and hypermedia
Performance debugging for distributed systems of black boxes
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
An open architecture for next-generation telecommunication services
ACM Transactions on Internet Technology (TOIT)
The cutting EDGE of IP router configuration
ACM SIGCOMM Computer Communication Review
Fast discovery of connection subgraphs
Proceedings of the tenth ACM SIGKDD international conference on Knowledge discovery and data mining
ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
Towards efficient implementation of XML schema content models
Proceedings of the 2004 ACM symposium on Document engineering
A little language for modularizing numerical PDE solvers
Software—Practice & Experience
The Local Projective Shape of Smooth Surfaces and Their Outlines
International Journal of Computer Vision
Exploiting UML dynamic object modeling for the visualization of C++ programs
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
Finding partial orders from unordered 0-1 data
Proceedings of the eleventh ACM SIGKDD international conference on Knowledge discovery in data mining
Modelling and measuring Collaborative Software Engineering
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
IEEE Transactions on Software Engineering
Low-overhead call path profiling of unmodified, optimized code
Proceedings of the 19th annual international conference on Supercomputing
IEEE Transactions on Mobile Computing
Model-centric software architecture reconstruction
Software—Practice & Experience
GUESS: a language and interface for graph exploration
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Comfortable modeling of complex reactive systems
Proceedings of the conference on Design, automation and test in Europe: Proceedings
MatrixExplorer: un système pour l'analyse exploratoire de réseaux sociaux
IHM '06 Proceedings of the 18th International Conferenceof the Association Francophone d'Interaction Homme-Machine
Automatic extraction of abstract-object-state machines from unit-test executions
Proceedings of the 28th international conference on Software engineering
Synthesizing safe state machines from Esterel
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
Drawing Directed Graphs Using Quadratic Programming
IEEE Transactions on Visualization and Computer Graphics
Automatically discovering design patterns and assessing concern separations for applications
Proceedings of the 2006 ACM symposium on Applied computing
Visualization of areas of interest in software architecture diagrams
SoftVis '06 Proceedings of the 2006 ACM symposium on Software visualization
TCS:: a DSL for the specification of textual concrete syntaxes in model engineering
Proceedings of the 5th international conference on Generative programming and component engineering
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
MatrixExplorer: a Dual-Representation System to Explore Social Networks
IEEE Transactions on Visualization and Computer Graphics
Visual Analysis of Multivariate State Transition Graphs
IEEE Transactions on Visualization and Computer Graphics
Building a scientific knowledge web portal: the NanoPort experience
Decision Support Systems
Cycles and communicating classes in membrane systems and molecular dynamics
Theoretical Computer Science
A reusable 3D visualization component for the semantic web
Proceedings of the twelfth international conference on 3D web technology
Implicit measures of lostness and success in web navigation
Interacting with Computers
Practical memory leak detection using guarded value-flow analysis
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
VERKKOKE: learning routing and network programming online
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
Teaching concurrency and nondeterminism with spin
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
Database-backed decision trees with application to biological informatics
Journal of Intelligent Information Systems
Bocca: a development environment for HPC components
Proceedings of the 2007 symposium on Component and framework technology in high-performance and scientific computing
Proceedings of the 10th ACM Symposium on Modeling, analysis, and simulation of wireless and mobile systems
The Design and Implementation of a Domain-Specific Language for Network Performance Testing
IEEE Transactions on Parallel and Distributed Systems
RDF data exploration and visualization
Proceedings of the ACM first workshop on CyberInfrastructure: information management in eScience
ECharts for SIP servlets: a state-machine programming environment for VoIP applications
Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications
A Chart Semantics for the Pi-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
The worst-case execution-time problem—overview of methods and survey of tools
ACM Transactions on Embedded Computing Systems (TECS)
Using JULE to generate a compliance test suite for the UML standard
Proceedings of the 30th international conference on Software engineering
An EFSM-based test generation for validation of SDL specifications
Proceedings of the 3rd international workshop on Automation of software test
Role-based trust management security policy analysis and correction environment (RT-SPACE)
Companion of the 30th international conference on Software engineering
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Streamsight: a visualization tool for large-scale streaming applications
Proceedings of the 4th ACM symposium on Software visualization
Applying visualisation techniques in software product lines
Proceedings of the 4th ACM symposium on Software visualization
A Framework for CFG-Based Static Program Analysis of Ada Programs
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
THOR: A Tool for Reasoning about Shape and Arithmetic
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Lecomps5: A Framework for the Automatic Building of Personalized Learning Sequences
WSKS '08 Proceedings of the 1st world summit on The Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society
Interconnect customization for a hardware fabric
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Young--Fibonacci insertion, tableauhedron and Kostka numbers
Journal of Combinatorial Theory Series A
Exploring Semantic Social Networks Using Virtual Reality
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
ES3: A Demonstration of Transparent Provenance for Scientific Computation
Provenance and Annotation of Data and Processes
Diagnosing distributed systems with self-propelled instrumentation
Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware
Applying Graph Theory to Interaction Design
Engineering Interactive Systems
Extracting Topic Maps from Web Pages
New Frontiers in Applied Data Mining
Towards realism in drawing areas of interest on architecture diagrams
Journal of Visual Languages and Computing
Identifying Evolutionarily Conserved Protein Interaction Modules Using GraphHopper
BICoB '09 Proceedings of the 1st International Conference on Bioinformatics and Computational Biology
pyMDO: An Object-Oriented Framework for Multidisciplinary Design Optimization
ACM Transactions on Mathematical Software (TOMS)
Hierarchical Design Rewriting with Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Hyperincident connected components of tagging networks
Proceedings of the 20th ACM conference on Hypertext and hypermedia
Visualization Techniques for Program ComprehensionA Literature Review
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
GPSel: A Gestural Perceptual-Based Path Selection Technique
SG '09 Proceedings of the 10th International Symposium on Smart Graphics
Tool Presentation: Teaching Concurrency and Model Checking
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Hyperincident connected components of tagging networks
ACM SIGWEB Newsletter
Finding race conditions in Erlang with QuickCheck and PULSE
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
3D approach to the visualization of parallel applications and Grid monitoring information
GRID '08 Proceedings of the 2008 9th IEEE/ACM International Conference on Grid Computing
Validation of SDL specifications using EFSM-based test generation
Information and Software Technology
Formal automated analysis of object oriented software models
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Science of Computer Programming
The Small Project Observatory: Visualizing software ecosystems
Science of Computer Programming
A similarity network approach for the analysis and comparison of protein sequence/structure sets
Journal of Biomedical Informatics
GD'06 Proceedings of the 14th international conference on Graph drawing
Biclique edge cover graphs and confluent drawings
GD'06 Proceedings of the 14th international conference on Graph drawing
Visualizing large-scale streaming applications
Information Visualization
What does the user want to see?: what do the data want to be?
Information Visualization
A scalable aural-visual environment for security event monitoring, analysis, and response
ISVC'07 Proceedings of the 3rd international conference on Advances in visual computing - Volume Part I
Efficient, correct simulation of biological processes in the stochastic pi-calculus
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Using formal concept analysis for mining and interpreting patient flows within a healthcare network
CLA'06 Proceedings of the 4th international conference on Concept lattices and their applications
Random graph generation for scheduling simulations
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Phylogenetic comparative assembly
WABI'09 Proceedings of the 9th international conference on Algorithms in bioinformatics
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Enabling tool reuse and interoperability through model-driven engineering
Journal of Computational Methods in Sciences and Engineering - Special Supplement Issue in Section A and B: Selected Papers from the ISCA International Conference on Software Engineering and Data Engineering, 2009
Proceedings of the 5th international symposium on Software visualization
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Knowledge mapping for rapidly evolving domains: A design science approach
Decision Support Systems
A model-based approach for multiple QoS in scheduling: from models to implementation
Automated Software Engineering
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Visual Exploration across Biomedical Databases
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Using multilevel call matrices in large software projects
INFOVIS'03 Proceedings of the Ninth annual IEEE conference on Information visualization
Applications of graph theory to an English rhyming corpus
Computer Speech and Language
Optimal k-level planarization and crossing minimization
GD'10 Proceedings of the 18th international conference on Graph drawing
A knowledge based decision support system for bioinformatics and system biology
CIBB'10 Proceedings of the 7th international conference on Computational intelligence methods for bioinformatics and biostatistics
Forest: a language and toolkit for programming with filestores
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Generating understandable and accurate fuzzy rule-based systems in a java environment
WILF'11 Proceedings of the 9th international conference on Fuzzy logic and applications
Proceedings of the 23rd International Teletraffic Congress
ISVC'11 Proceedings of the 7th international conference on Advances in visual computing - Volume Part I
Contextual Interaction Support in 3D Worlds
DS-RT '11 Proceedings of the 2011 IEEE/ACM 15th International Symposium on Distributed Simulation and Real Time Applications
DAMP '12 Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming
Semantic analytics visualization
ISI'06 Proceedings of the 4th IEEE international conference on Intelligence and Security Informatics
Spatially constrained networks and the evolution of modular control systems
SAB'06 Proceedings of the 9th international conference on From Animals to Animats: simulation of Adaptive Behavior
Adaptive event dissemination for peer-to-peer multiplayer online games
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques
PPPA: push and pull pedigree analyzer for large and complex pedigree databases
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
KM3: a DSL for metamodel specification
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A graphical representation for biological processes in the stochastic pi-calculus
Transactions on Computational Systems Biology VII
Dynamic architecture extraction
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Semi-bipartite graph visualization for gene ontology networks
GD'09 Proceedings of the 17th international conference on Graph Drawing
An improved statistic for detecting over-represented gene ontology annotations in gene sets
RECOMB'06 Proceedings of the 10th annual international conference on Research in Computational Molecular Biology
RED'10 Proceedings of the Third international conference on Resource Discovery
MudPie: layers in the ball of mud
Computer Languages, Systems and Structures
Forensic carving of network packets and associated data structures
Digital Investigation: The International Journal of Digital Forensics & Incident Response
PORGY: A Visual Graph Rewriting Environment for Complex Systems
Computer Graphics Forum
Tripartite community structure in social bookmarking data
The New Review of Hypermedia and Multimedia - Special issue on Social Linking and Hypermedia
AITION: a scalable platform for interactive data mining
SSDBM'12 Proceedings of the 24th international conference on Scientific and Statistical Database Management
Publication analysis of the formal concept analysis community
ICFCA'12 Proceedings of the 10th international conference on Formal Concept Analysis
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Makefile: parallel dependency specification language
Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing
Statechart development beyond WYSIWYG
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Geometry-preserving topological landscapes
Proceedings of the Workshop at SIGGRAPH Asia
Ontology Alignment Quality: A Framework and Tool for Validation
International Journal of Information System Modeling and Design
Using Network Analysis and Visualization to Analyze Problematic Enterprise Information Systems
International Journal of Knowledge and Systems Science
Bulk synchronous visualization
Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores
Journal of Management Information Systems
Visualizing streaming text data with dynamic graphs and maps
GD'12 Proceedings of the 20th international conference on Graph Drawing
Evolving fisher kernels for biological sequence classification
Evolutionary Computation
replay: visualising the structure and behaviour of interconnected systems
ACSC '13 Proceedings of the Thirty-Sixth Australasian Computer Science Conference - Volume 135
Linear latent variable models: the lava-package
Computational Statistics
Interactive state-transition diagrams for visualization of multimodal annotation
Intelligent Data Analysis
Hi-index | 0.00 |