| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Sudhir Vinjamuri, Viktor K. Prasanna |
Hierarchical Dependency Graphs: Abstraction and Methodology for Mapping Systolic Array Designs to Multicore Processors.  |
PaCT  |
2009 |
DBLP DOI BibTeX RDF |
systolic array designs, parallel programming, high performance computing, multicore, dependency graphs |
| 3 | Louise E. Moser |
Data Dependency Graphs for Ada Programs.  |
IEEE Trans. Software Eng.  |
1990 |
DBLP DOI BibTeX RDF |
composition rules, primitive program statements, data structures, Ada, tracking, programming, information flow, exception handling, correctness, recursion, tasking, iteration, data dependency graphs, Ada programs, program development environment |
| 2 | Marshall R. Mayberry, Risto Miikkulainen |
Representing Semantic Graphs in a Self-Organizing Map.  |
WSOM  |
2009 |
DBLP DOI BibTeX RDF |
Connectionist Natural Language Processing, Semantic Dependency Graphs, Self-Organizing Maps, Cognitive Architecture |
| 2 | Christian Pich, Lev Nachmanson, George G. Robertson |
Visual analysis of importance and grouping in software dependency graphs.  |
SOFTVIS  |
2008 |
DBLP DOI BibTeX RDF |
visualization, ranking, analysis, multidimensional scaling, graph layout, large graphs |
| 2 | Jens Dietrich, Vyacheslav Yakovlev, Catherine McCartin, Graham Jenson, Manfred Duchrow |
Cluster analysis of Java dependency graphs.  |
SOFTVIS  |
2008 |
DBLP DOI BibTeX RDF |
anti-pattern detection, refactoring, cluster analysis, dependency analysis |
| 2 | Daniel Greenfield, Simon W. Moore |
Fractal communication in software data dependency graphs.  |
SPAA  |
2008 |
DBLP DOI BibTeX RDF |
CMP, communication complexity, fractal, NoC |
| 2 | Thomas Zimmermann, Nachiappan Nagappan |
Predicting defects using network analysis on dependency graphs.  |
ICSE  |
2008 |
DBLP DOI BibTeX RDF |
windows server 2003, network analysis, dependency graph, defect prediction |
| 2 | Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye |
Termination Analysis of Logic Programs Based on Dependency Graphs.  |
LOPSTR  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Manoj K. Agarwal, Karen Appleby, Manish Gupta 0007, Gautam Kar, Anindya Neogi, Anca Sailer |
Problem Determination Using Dependency Graphs and Run-Time Behavior Models.  |
DSOM  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Krzysztof Kuchcinski, Christophe Wolinski |
Synthesis of Conditional Behaviors Using Hierarchical Conditional Dependency Graphs and Constraint Logic Programming.  |
DSD  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Hiroto Kagotani, Takuji Okamoto, Takashi Nanya |
Synthesis of four-phase asynchronous control circuits from pipeline dependency graphs.  |
ASP-DAC  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Gerald C. Gannod, Barbara D. Gannod |
An Investigation into the Connectivity Properties of Source-Header Dependency Graphs. (PDF / PS)  |
WCRE  |
2001 |
DBLP DOI BibTeX RDF |
clustering, reverse engineering, modularization, graph connectivity |
| 2 | Steffen Jurk, Mira Balaban |
Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs.  |
DEXA  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Sherif M. Yacoub, Hany H. Ammar, Tom Robinson |
A Methodology for Architectural-Level Risk Assessment Using Dynamic Metrics.  |
ISSRE  |
2000 |
DBLP DOI BibTeX RDF |
component-dependency graphs and dynamic metrics, risk assessment, Risk analysis, risk modeling |
| 2 | Sherif M. Yacoub, Bojan Cukic, Hany H. Ammar |
A Component-based Approach to Reliability Analysis of Distributed Systems. (PDF / PS)  |
SRDS  |
1999 |
DBLP DOI BibTeX RDF |
Component-Dependency Graphs and Scenario-based Reliability Analysis, Reliability Analysis |
| 2 | Jocelyne Farhat-Gissler, Isabelle M. Demeure |
Automatic Scheduling of Applications with Temporal QoS Constraints: A Case Study.  |
EUROMICRO  |
1996 |
DBLP DOI BibTeX RDF |
automatic scheduling, temporal QoS constraints, scheduling framework, geostationary satellite application, cooperative scheduling system, scheduling scenarios, software quality, dependency graphs |
| 2 | Pei-Chi Wu, Feng-Jian Wang |
A Worst Case of Circularity Test Algorithms for Attribute Grammars.  |
ACM Trans. Program. Lang. Syst.  |
1995 |
DBLP DOI BibTeX RDF |
circularity test, attribute grammars, dependency graphs |
| 2 | Edwin Hsing-Mean Sha, Kenneth Steiglitz |
Error detection in arrays via dependency graphs.  |
VLSI Signal Processing  |
1992 |
DBLP DOI BibTeX RDF |
|
| 2 | Albert C. Chen, Chuan-lin Wu |
A Parallel Execution Model of Logic Programs.  |
IEEE Trans. Parallel Distrib. Syst.  |
1991 |
DBLP DOI BibTeX RDF |
parallel execution model, nondeterministic logic program, frame inheritance, dynamic construction, computational complexity, computational complexity, logic programs, logic programming, modularity, communication channels, OR parallelism, AND parallelism, data-dependency graphs |
| 2 | Vicki H. Allan, Robert A. Mueller |
Compaction with General Timing.  |
IEEE Trans. Software Eng.  |
1988 |
DBLP DOI BibTeX RDF |
general synchronous timing, microcode generation systems, branch delays, volatile registers, microoperations, multiple microinstructions, clocked microarchitectures, compilers, synchronisation, program compilers, microprogramming, target architecture, data-dependency graphs |
| 1 | Ekaterina Buyko, Erik Faessler, Joachim Wermter, Udo Hahn |
Syntactic Simplification and Semantic Enrichment - Trimming Dependency Graphs for Event Extraction.  |
Computational Intelligence  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shane Griffith, Vladimir Sukhoy, Alexander Stoytchev |
Using sequences of movement dependency graphs to form object categories.  |
Humanoids  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilhelm Hasselbring |
Reverse engineering of dependency graphs via dynamic analysis.  |
ECSA Companion Volume  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello, Joel Uckelman |
Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections.  |
IJCAI  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Birkhölzer, Hesam Chiniforooshan Esfahani, Christoph Dickmann, Jürgen Vaupel, Stefan Ast |
Goal-driven evaluation of process fragments using weighted dependency graphs.  |
ICSSP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsubasa Sakata, Naoki Nishida, Toshiki Sakabe |
On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs.  |
WFLP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Adolphs, Feiyu Xu, Hong Li, Hans Uszkoreit |
Dependency Graphs as a Generic Interface between Parsers and Relation Extraction Rule Learning.  |
KI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | William M. Campbell, Samuel Barrett, Joel Acevedo-Aviles, Brian Delaney, Clifford J. Weinstein |
Detection and simulation of scenarios with hidden Markov models and event dependency graphs.  |
ICASSP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tapati Bandopadhyay, Pradeep Kumar, Anil K. Saini |
A Process Model for Preliminary Classification of Knowledge Sources using Dependency Graphs and Incremental Computing Concepts.  |
RCIS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel A. Orozco, Elkin Garcia, Guang R. Gao |
Locality Optimization of Stencil Applications Using Data Dependency Graphs.  |
LCPC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kissmann, Stefan Edelkamp |
Instantiating General Games Using Prolog or Dependency Graphs.  |
KI  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaonan Wang, Radu State, Mohamed Ourdane, Thomas Engel |
FlowRank: ranking NetFlow records.  |
IWCMC  |
2010 |
DBLP DOI BibTeX RDF |
NeFlow monitoring, network traffic visualization, dependency graphs |
| 1 | Dipu John, Pawan Prakash, Ramana Rao Kompella, Ranveer Chandra |
Shedding Light on Enterprise Network Failures Using Spotlight.  |
SRDS  |
2010 |
DBLP DOI BibTeX RDF |
fault localization, dependency graphs, enterprise networks |
| 1 | Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest |
A3PAT, an approach for certified automated termination proofs.  |
PEPM  |
2010 |
DBLP DOI BibTeX RDF |
termination, term rewriting, automated reasoning, formal proof |
| 1 | Martin Korp, Aart Middeldorp |
Beyond Dependency Graphs.  |
CADE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Melinda Tóth, István Bozó, Zoltán Horváth, László Lövei, Máté Tejfel, Tamás Kozsik |
Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs.  |
CEFP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Liu 0002, Jayant R. Kalagnanam, Oivind Johnsen |
Learning dynamic temporal graphs for oil-production equipment monitoring system.  |
KDD  |
2009 |
DBLP DOI BibTeX RDF |
graphical models, time series data, structure learning |
| 1 | Thomas Zimmermann |
Changes and bugs - Mining and predicting development activities.  |
ICSM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Animashree Anandkumar, Ananthram Swami, Joseph E. Yukich, Lang Tong |
Energy Scaling Laws for Distributed Inference in Random Fusion Networks.  |
IEEE Journal on Selected Areas in Communications  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kluge, Andreas Knüpfer, Matthias S. Müller, Wolfgang E. Nagel |
Pattern Matching and I/O Replay for POSIX I/O in Parallel Programs.  |
Euro-Par  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ghiath Al-Kadi, Andrei Sergeevich Terechko |
A Hardware Task Scheduler for Embedded Video Processing.  |
HiPEAC  |
2009 |
DBLP DOI BibTeX RDF |
Hardware task scheduler, task dependency patterns, H.264 video compression, embedded video processing |
| 1 | Guohua Liu |
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs.  |
LPNMR  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | René Thiemann, Christian Sternagel |
Certification of Termination Proofs Using CeTA.  |
TPHOLs  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagen Fürstenau |
Enriching Frame Semantic Resources with Dependency Graphs.  |
LREC  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sergio Gutiérrez Santos, Darren Pearce, Eirini Geraniou, Manolis Mavrikis |
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs.  |
Diagrams  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew A. Hammer, Umut A. Acar |
Memory management for self-adjusting computation.  |
ISMM  |
2008 |
DBLP DOI BibTeX RDF |
performance, computational geometry, garbage collection, memory management, memoization, dynamic algorithms, self-adjusting computation, dynamic dependency graphs |
| 1 | Thomas Heinis, Gustavo Alonso |
Efficient lineage tracking for scientific workflows.  |
SIGMOD Conference  |
2008 |
DBLP DOI BibTeX RDF |
scientific workflows, data provenance, data lineage |
| 1 | Chadi Kari, Alexander Russell, Narasimha Shashidhar |
Randomized Work-Competitive Scheduling for Cooperative Computing on k-partite Task Graphs.  |
NCA  |
2008 |
DBLP DOI BibTeX RDF |
partitionable networks, distributed computing, randomized algorithms, competitive analysis, On-line algorithms |
| 1 | Jaewoo Kang, Jeffrey F. Naughton |
Schema Matching Using Interattribute Dependencies.  |
IEEE Trans. Knowl. Data Eng.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-ya Katsumata |
Attribute Grammars and Categorical Semantics.  |
ICALP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Naveen Prakash |
Bringing Enterprise Business Processes into Information System Products.  |
PoEM  |
2008 |
DBLP DOI BibTeX RDF |
Enterprise Business Process, Information System etc |
| 1 | Nao Hirokawa, Georg Moser |
Complexity, Graphs, and the Dependency Pair Method.  |
LPAR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Xiao, Susan Darling Urban |
Recovery of Concurrent Processes in a Service Composition Environment Using Data Dependencies.  |
OTM Conferences  |
2008 |
DBLP DOI BibTeX RDF |
Service composition, recovery, data dependencies, concurrent execution |
| 1 | Evgeny V. Shchepin, Nodari Vakhania |
On the geometry, preemptions and complexity of multiprocessor and shop scheduling.  |
Annals OR  |
2008 |
DBLP DOI BibTeX RDF |
Shop scheduling, Algorithm, Time complexity, Multiprocessor scheduling, Preemption |
| 1 | Andrew B. Clegg, Adrian J. Shepherd |
Benchmarking natural-language parsers for biological applications using dependency graphs.  |
BMC Bioinformatics  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilja Tsahhirov, Peeter Laud |
Application of Dependency Graphs to Security Protocol Analysis.  |
TGC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew A. Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar M. Ghuloum |
A proposal for parallel self-adjusting computation.  |
DAMP  |
2007 |
DBLP DOI BibTeX RDF |
fork-join programs, parallel change propagation, series-parallel programs, parallelism, change propagation, self-adjusting computation, dynamic dependency graphs |
| 1 | Huzefa H. Kagdi |
Improving change prediction with fine-grained source code mining.  |
ASE  |
2007 |
DBLP DOI BibTeX RDF |
software change prediction, mining software repositories |
| 1 | Jasminka Matevska, Wilhelm Hasselbring |
A Scenario-based Approach to Increasing Service Availability at Runtime Reconfiguration of Component-based Systems.  |
EUROMICRO-SEAA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Schröder, Jean Cardinal, Raouf Hamzaoui |
Efficient Rate-Distortion Optimized Media Streaming for Tree-Structured Packet Dependencies.  |
IEEE Transactions on Multimedia  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Bellon, Rainer Koschke, Giuliano Antoniol, Jens Krinke, Ettore Merlo |
Comparison and Evaluation of Clone Detection Tools.  |
IEEE Trans. Software Eng.  |
2007 |
DBLP DOI BibTeX RDF |
duplicated code, software clones, Redundant code |
| 1 | Stephan Falke, Deepak Kapur |
Dependency Pairs for Rewriting with Non-free Constructors.  |
CADE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaofeng Du, William Song, Ming Zhang |
A Context-Based Framework and Method for Learning Object Description and Search.  |
ICWL  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander D. Scott, Alan D. Sokal |
On Dependency Graphs and the Lattice Gas.  |
Combinatorics, Probability & Computing  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jui-Feng Yeh, Chung-Hsien Wu, Mao-Zhu Yang |
Stochastic Discourse Modeling in Spoken Dialogue Systems Using Semantic Dependency Graphs.  |
ACL  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Anthony Cleve, Jean Henrard, Jean-Luc Hainaut |
Data Reverse Engineering using System Dependency Graphs.  |
WCRE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Albers, Frank Bodmann, Frank Slomka |
Hierarchical Event Streams and Event Dependency Graphs: A New Computational Model for Embedded Real-Time Systems.  |
ECRTS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Alrifai, Peter Dolog, Wolfgang Nejdl |
Transactions Concurrency Control in Web Service Environment.  |
ECOWS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joonsoo Bae, Ling Liu, James Caverlee, William B. Rouse |
Process Mining, Discovery, and Integration using Distance Measures.  |
ICWS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Ian Bull, Margaret-Anne D. Storey, Jean-Marie Favre, Marin Litoiu |
An Architecture to Support Model Driven Software Visualization.  |
ICPC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Heffernan, Kent D. Wilken, Ghassan Shobaki |
Data-Dependency Graph Transformations for Superblock Scheduling.  |
MICRO  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer, Ahmed E. Hassan |
Animated Visualization of Software History using Evolution Storyboards.  |
WCRE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdennour El Rhalibi, Madjid Merabti, Yuanyuan Shen |
Improving Game Processing in Multithreading and Multiprocessor Architecture.  |
Edutainment  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Benet Devereux, Marsha Chechik |
Automated Support for Building Behavioral Models of Event-Driven Systems.  |
FASE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jae-Yoon Jung, Joonsoo Bae |
Workflow Clustering Method Based on Process Similarity.  |
ICCSA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shawn Bowers, Timothy M. McPhillips, Bertram Ludäscher, Shirley Cohen, Susan B. Davidson |
A Model for User-Oriented Data Provenance in Pipelined Scientific Workflows.  |
IPAW  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eslam Yahya, Marc Renaudin |
QDI Latches Characteristics and Asynchronous Linear-Pipeline Performance Analysis.  |
PATMOS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Te-Ming Chen, Chung-Chin Lu, Wen-Hsiung Li |
Prediction of splice sites with dependency graphs and their expanded bayesian networks.  |
Bioinformatics  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Remi Badonnel, Radu State, Olivier Festor |
Management of mobile ad-hoc networks: evaluating the network behavior.  |
Integrated Network Management  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahadevan Subramaniam, Jiangfan Shi |
Using Dominators to Extract Observable Protocol Contexts.  |
SEFM  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Ion Petre, Vladimir Rogojin, Grzegorz Rozenberg |
Simple Operations for Gene Assembly.  |
DNA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Noack |
Energy-Based Clustering of Graphs with Nonuniform Degrees.  |
Graph Drawing  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Sagot |
Linguistic Facts as Predicates over Ranges of the Sentence.  |
LACL  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Torsten Schaub |
Loops: Relevant or Redundant?  |
LPNMR  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ihab F. Ilyas, Volker Markl, Peter J. Haas, Paul Brown, Ashraf Aboulnaga |
CORDS: Automatic Discovery of Correlations and Soft Functional Dependencies.  |
SIGMOD Conference  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathrin Konczak, Thomas Linke, Torsten Schaub |
Graphs and Colorings for Answer Set Programming: Abridged Report.  |
LPNMR  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Noel, Sushil Jajodia, Brian O'Berry, Michael Jacobs |
Efficient Minimum-Cost Network Hardening Via Exploit Dependency Graphs.  |
ACSAC  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaewoo Kang, Jeffrey F. Naughton |
On Schema Matching with Opaque Column Names and Data Values.  |
SIGMOD Conference  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingsong Yao, Aijun An |
SQL-Relay: An Event-Driven Rule-Based Database Gateway.  |
WAIM  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sherif M. Yacoub, Hany H. Ammar |
A Methodology for Architecture-Level Reliability Risk Analysis.  |
IEEE Trans. Software Eng.  |
2002 |
DBLP DOI BibTeX RDF |
Reliability risk analysis, component-dependency graphs, severity measures and dynamic metrics, software architecture, risk assessment, risk modeling |
| 1 | Ladan Tahvildari, Kostas Kontogiannis |
A Software Transformation Framework for Quality-Driven Object-Oriented Re-engineering. (PDF / PS)  |
ICSM  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ladan Tahvildari, Kostas Kontogiannis |
A Methodology for Developing Transformations Using the Maintainability Soft-Goal Graph. (PDF / PS)  |
WCRE  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Galmiche, Daniel Méry, David J. Pym |
Resource Tableaux.  |
CSL  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Tom Hirschowitz, Xavier Leroy |
Mixin Modules in a Call-by-Value Setting.  |
ESOP  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sathiamoorthy Manoharan |
Effect of task duplication on the assignment of dependency graphs.  |
Parallel Computing  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Apostolos A. Kountouris, Christophe Wolinski, Jean-Christophe Le Lann |
High-level synthesis using hierarchical conditional dependency graphs in the CODESIS system.  |
Journal of Systems Architecture  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Aart Middeldorp |
Approximating Dependency Graphs Using Tree Automata Techniques.  |
IJCAR  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Romacker, Udo Hahn |
Semantic Interpretation of Medical Language - Quantitative Analysis and Qualitative Yield.  |
AIME  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su |
Verification of Vortex Workflows.  |
TACAS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik |
A General Framework for Automatic Termination Analysis of Logic Programs.  |
Appl. Algebra Eng. Commun. Comput.  |
2001 |
DBLP DOI BibTeX RDF |
Termination of logic programs, Constraints, Abstract interpretation |