Search results for "acyclic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Subhayu Basu, Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury, Indranil Sengupta 0001, Sudipta Bhawmik	Reformatting Test Patterns for Testing Embedded Core Based System Using Test Access Mechanism (TAM) Switch.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	Data acyclic graph, System-on-Chip, Test Access Mechanism, Test time, Test patterns
15	Camil Demetrescu, Giuseppe F. Italiano	Fully Dynamic Transitive Closure: Breaking Through the O(n2) Barrier.	FOCS	2000	DBLP DOI BibTeX RDF	fully dynamic transitive closure, unit worst-case cost, amortized time, single-operation complexity, subquadratic algorithm, computational complexity, randomized algorithm, queries, directed graphs, directed graphs, polynomials, polynomials, directed acyclic graphs, matrix multiplication, matrix multiplication, deterministic algorithms, deterministic algorithm, randomised algorithms
15	Oh-Han Kang, Dharma P. Agrawal	S3MP: A Task Duplication Based Scalable Scheduling Algorithm for Symmetric Multiprocessors.	IPDPS	2000	DBLP DOI BibTeX RDF	heuristic, Task scheduling, directed acyclic graph, symmetric multiprocessors, task duplication
15	Timothy K. Shih, Chi-Ming Chung, Chun-Chia Wang, Wen C. Pai	Decomposition of inheritance hierarchy DAGs for object-oriented software metrics.	ECBS	1997	DBLP DOI BibTeX RDF	object-oriented software metrics, inheritance hierarchy directed acyclic graph decomposition, unit repeated inheritance, inheritance level technique, graph-theoretical model, hierarchical complexity, inheritance relations, metrics extraction, implicit software errors, software metrics, software quality assurance, class hierarchy, software complexity measurement
15	Satoshi Ohtake, Tomoo Inoue, Hideo Fujiwara	Sequential Test Generation Based on Circuit Pseudo-Transformation.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	acyclic structure, circuit pseudo-transformations, test generation, Sequential circuits, balanced structure
15	Moreno Coli, Paolo Palazzari	Load Balancing with Internode Precedence Relations: A New Method for Static Allocation of DAGs into Parallel Systems.	PDP	1996	DBLP DOI BibTeX RDF	internode precedence relations, static allocation, parallel execution times, performance, parallel algorithms, load balancing, parallel programming, parallel program, resource allocation, NP-complete, parallel machine, directed graphs, DAG, directed acyclic graphs, processor scheduling, software performance evaluation, parallel systems, execution time, processor allocation, mapping algorithms, computational load
15	Toshinori Hosokawa, Kenichi Kawaguchi, Mitsuyasu Ohta, Michiaki Muraoka	A Design for testability Method Using RTL Partitioning.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	line-up structure, internally balanced structure, acyclic structure, partitioning, ATPG, DFT, RTL, isolation, balanced structure
15	Zhuxing Zhao, Zhongcheng Li, Yinghua Min	Waveform Polynomial Manipulation Using Bdds.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	waveform polynomial manipulation, design verification and test, middle size circuits, complexity, data structure, high level synthesis, timing, logic design, combinational circuit, logic synthesis, binary decision diagram, directed acyclic graph, digital circuit, Boolean process
15	Rolf Drechsler	Verification of Multi-Valued Logic Networks.	ISMVL	1996	DBLP DOI BibTeX RDF	multi-valued logic networks verification, ordered multi-valued decision diagrams, two-valued circuits, formal verification, heuristics, logic testing, directed graphs, directed acyclic graph, multivalued logic circuits, functional equivalence
15	Evan Tick, Bruce D'Ambrosio	Evaluating Bayes nets with concurrent process networks.	IPPS	1995	DBLP DOI BibTeX RDF	Bayes nets, concurrent process networks, total probability mass, leaf node, general Bayes network, ancestor nodes, high mass minterms, partial minterms, child nodes, KL1, parallel algorithms, computational complexity, computation complexity, probability, message passing, directed graphs, directed acyclic graphs, search problems, Bayes methods, conditional probabilities, concurrent algorithm
15	Doowon Paik, Sudhakar M. Reddy, Sartaj Sahni	Deleting Vertices to Bound Path Length.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	vertex deletion problem, path length bound, weighted directed acyclic graphs, quadratic time, computational complexity, directed graphs, NP-hard problems, linear time, series-parallel graph, rooted tree
15	Ke Wang, Li-Yan Yuan	First-Order Logic Characterization of Program Properties.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	eductive databases, program properties, order reducible, FO-reducible programs, EDBs, database context, theorem-proving tools, stratified acyclic program, general chained program, bounded program, nonrecursive program, perfect models, extensional database, query processing, logic programming, logic programs, database theory, deductive databases, first-order logic, updates, integrity constraints, programming theory, fixed points, formal logic, inference rules, query answering, first-order theory
15	Wei Sun 0002, Clement T. Yu	Semantic Query Optimization for Tree and Chain Queries.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	chain queries, knowledge-based query optimization, semantically equivalent transformations, unnecessary joins, redundant beneficial/nonbeneficial selection operations, acyclic queries, closure chain queries, equi-join attributes, restriction closure computation, computational complexity, query processing, knowledge based systems, NP complete, time complexity, database theory, trees (mathematics), semantic query optimization, query graphs, tree queries
15	Michael Pittarelli	An Algebra for Probabilistic Databases.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	probabilistic data model, probabilistic algebra, /spl alpha/-acyclic database schemes, homomorphic image, statistical smoothing procedure, Bayes networks, data structures, probability, decision support systems, database management systems, Markov processes, decision support, database theory, relational algebra, relational algebra, algebra, Bayes methods, probabilistic databases, uncertainty handling, Markov networks, uncertain information
15	Zhijian Zhu, James A. McHugh, Jason T. L. Wang, Peter A. Ng	A formal approach to modeling office information systems.	J. Syst. Integr.	1994	DBLP DOI BibTeX RDF	office information systems, document type, filing and retrieval, directed acyclic graph, predicates, document model
15	Dinesh P. Mehta, Sartaj Sahni	A Data Structure for Circular String Analysis and Visualization.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	circular string analysis, compact symmetric directed acyclic word graph, linear strings, visualization, computational complexity, data structure, data structures, computational geometry, directed graphs, time complexity, object-oriented language, data visualisation, space complexities
15	Christos Papatheodorou, Vangelis Magirou, Vangelis Kiountouzis	Problem decomposition in distributed problem-solving systems.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	NP-completeness, directed acyclic graphs, Distributed problem solving, problem decomposition
15	Milind Girkar, Constantine D. Polychronopoulos	Automatic Extraction of Functional Parallelism from Ordinary Programs.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	overhead messages, acyclic systems, open cyclic queuingnetworks, distributed simulation algorithms, performance evaluation, distributed processing, queueing theory, digital simulation, programming theory, closed queuing networks
15	Edith Cohen	Approximate Max Flow on Small Depth Networks	FOCS	1992	DBLP DOI BibTeX RDF	resource bounds, small depth networks, directed acyclic networks, fractional valued flow augmentations, fractional flow, polylogarithmic time, parallel algorithms, geometry, deterministic algorithm, NC algorithm, maximum flow problem
15	Yoshiaki Kakuda, Hironori Saito	An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	acyclic-expansion-based protocol validation, state transition sequences, CAPE, computer-aided protocol engineering, design, formal specification, protocols, integrated system, protocol specifications, integrated approach, software module, protocol synthesis
15	Ferenc Belik	An Efficient Deadlock Avoidance Rechnique.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	deadlock avoidance technique, resource allocation algorithm, path matrix representation, concurrency control, concurrency control, directed graphs, directed acyclic graphs
15	Mandayam A. Srinivas	Optimal Parallel Scheduling of Gaussian Elimination DAG's.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	Dense matrices, scheduling, parallel computation, directed acyclic graphs, linear systems, Gaussian elimination
15	David Maier 0001, Jeffrey D. Ullman	Maximal Objects and the Semantics of Universal Relation Databases.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	acyclic hypergraph, relational database, universal relation
15	Ronald Fagin, Alberto O. Mendelzon, Jeffrey D. Ullman	A Simplified Universal Relation Assumption and Its Properties.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	database scheme, relational database, hypergraph, multivalued dependency, acyclic, join dependency
15	John P. Hayes	Path Complexity of Logic Networks.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	Acyclic networks, combinational functions, path complexity, path number, fault diagnosis, testability, complexity measures, logic networks
15	Walter H. Kohler	A Preliminary Evaluation of the Critical Path Method for Scheduling Tasks on Multiprocessor Systems.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Acyclic directed graph model, critical path priority method, multiprocessor scheduling, branch-and-bound algorithm
14	Jef Wijsen	On the first-order expressibility of computing certain answers to conjunctive queries over uncertain databases.	PODS	2010	DBLP DOI BibTeX RDF	first-order expressibility, primary keys, conjunctive queries, consistent query answering
14	Gösta Grahne, Adrian Onet	Data correspondence, exchange and repair.	ICDT	2010	DBLP DOI BibTeX RDF
14	William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang 0001	Precise calling context encoding.	ICSE (1)	2010	DBLP DOI BibTeX RDF	dynamic context sensitivity, profiling, calling context
14	Eric Allender, David A. Mix Barrington, Tanmoy Chakraborty 0001, Samir Datta, Sambuddha Roy	Planar and Grid Graph Reachability Problems.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Logspace, Algorithms, Planar graphs, Reachability, Complexity theory, Circuit complexity, Grid graphs
14	Michael Langberg, Alexander Sprintson, Jehoshua Bruck	Network Coding: A Computational Perspective.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
14	Airlie Chapman, Salah Sukkarieh	A protocol for decentralized multi-vehicle mapping with limited communication connectivity.	ICRA	2009	DBLP DOI BibTeX RDF
14	Gabriel Juhás, Robert Lorenz 0001, Jörg Desel	Unifying Petri Net Semantics with Token Flows.	Petri Nets	2009	DBLP DOI BibTeX RDF
14	Wei Ding, Gangfeng Yan, Zhiyun Lin, Ying Lan	Leader-following formation control based on pursuit strategies.	IROS	2009	DBLP DOI BibTeX RDF
14	Jiaqing Huang, Liang Wang, Wenqing Cheng, Hui Li	Polynomial Time Construction Algorithm of BCNC for Network Coding in Cyclic Networks.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
14	Armen Kostanyan, Vardan Matevosyan, Samvel K. Shoukourian, Anna Varosyan	An approach for formal verification of business processes.	SpringSim	2009	DBLP DOI BibTeX RDF	cycle transformation, formal verification, business process
14	Peter R. de Waal	Marginals of DAG-Isomorphic Independence Models.	ECSQARU	2009	DBLP DOI BibTeX RDF
14	Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis	Modeling synchronous systems in BIP.	EMSOFT	2009	DBLP DOI BibTeX RDF	BIP (behavior-interaction-priority), modal flow graphs, priority petri nets, synchronous systems, lustre
14	Amril Syalim, Yoshiaki Hori, Kouichi Sakurai	Grouping Provenance Information to Improve Efficiency of Access Control.	ISA	2009	DBLP DOI BibTeX RDF	Access Control, Data Provenance
14	David A. Cohen, Martin James Green, Chris Houghton	Constraint Representations and Structural Tractability.	CP	2009	DBLP DOI BibTeX RDF
14	Daniel Andersson, Vladimir Gurvich, Thomas Dueholm Hansen	On Acyclicity of Games with Cycles.	AAIM	2009	DBLP DOI BibTeX RDF	Positional game, game form, improvement cycle, restricted improvement cycle, restricted acyclicity, Nash-solvability, Nash equilibrium
14	Bernadette Charron-Bost, Antoine Gaillard, Jennifer L. Welch, Josef Widder	Routing without ordering.	SPAA	2009	DBLP DOI BibTeX RDF	link reversal, routing, work complexity
14	Guido Boella, Souhila Kaci, Leendert W. N. van der Torre	Dynamics in argumentation with single extensions: attack refinement and the grounded extension.	AAMAS (2)	2009	DBLP BibTeX RDF	abstract argumentation, argumentation refinement, dynamics of argumentation, argumentation theory
14	Réka Albert, Bhaskar DasGupta, Riccardo Dondi, Eduardo D. Sontag	Inferring (Biological) Signal Transduction Networks via Transitive Reductions of Directed Graphs.	Algorithmica	2008	DBLP DOI BibTeX RDF	Transitive reduction of directed graphs, Minimum equivalent digraph, (Biological) signal transduction networks, Approximation algorithms
14	Randall Dougherty, Christopher F. Freiling, Kenneth Zeger	Linear Network Codes and Systems of Polynomial Equations.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
14	Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi	Incremental Verification of Large ScaleWorkflows Based on Extended Correctness.	ICSEA	2008	DBLP DOI BibTeX RDF
14	David Thorsley, Demosthenis Teneketzis	Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Measurement scheduling, Sensor optimization, Supervisory control, Failure diagnosis
14	Tung Le, Christoforos N. Hadjicostis	Max-Product Algorithms for the Generalized Multiple-Fault Diagnosis Problem.	IEEE Trans. Syst. Man Cybern. Part B	2007	DBLP DOI BibTeX RDF
14	Yvonne Bleischwitz, Burkhard Monien, Florian Schoppmann	To Be or Not to Be (Served).	WINE	2007	DBLP DOI BibTeX RDF
14	André Hernich, Nicole Schweikardt	CWA-solutions for data exchange settings with target dependencies.	PODS	2007	DBLP DOI BibTeX RDF	the chase, data exchange, core, closed world assumption
14	César Sánchez 0001, Henny B. Sipma, Zohar Manna	Generating Efficient Distributed Deadlock Avoidance Controllers.	IPDPS	2007	DBLP DOI BibTeX RDF
14	Ching-Hsien Hsu, Chih-Wei Hsieh, Chao-Tung Yang	A Generalized Critical Task Anticipation Technique for DAG Scheduling.	ICA3PP	2007	DBLP DOI BibTeX RDF
14	Alejandro Chinea Manrique De Lara, Michel Parent	Risk Assessment Algorithms Based on Recursive Neural Networks.	IJCNN	2007	DBLP DOI BibTeX RDF
14	Georg Gottlob, Christoph Koch 0001, Klaus U. Schulz	Conjunctive queries over trees.	J. ACM	2006	DBLP DOI BibTeX RDF	XML, Complexity, trees, expressiveness, conjunctive queries, succinctness
14	Michael Langberg, Alexander Sprintson, Jehoshua Bruck	The encoding complexity of network coding.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF	coding networks, encoding links, encoding nodes, multicast, network coding
14	Ariel Fuxman, Phokion G. Kolaitis, Renée J. Miller, Wang Chiew Tan	Peer data exchange.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	data integration, Data exchange, schema mapping, conjunctive queries, certain answers, metadata model management
14	Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song	An Efficient Algorithm for the Analysis of Cyclic Circuits.	ISVLSI	2006	DBLP DOI BibTeX RDF
14	Shuvendu K. Lahiri, Shaz Qadeer	Verifying properties of well-founded linked lists.	POPL	2006	DBLP DOI BibTeX RDF	first-order axiomatization, heap abstraction, well-founded linked lists, decision procedure, automated theorem proving
14	Johann Eder, Karl Wiggisser	A DAG Comparison Algorithm and Its Application to Temporal Data Warehousing.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
14	Amarnath Gupta, Simone Santini	On Querying OBO Ontologies Using a DAG Pattern Query Language.	DILS	2006	DBLP DOI BibTeX RDF
14	Ching-Hsien Hsu, Ming-Yuan Own, Kuan-Ching Li	Critical-Task Anticipation Scheduling Algorithm for Heterogeneous and Grid Computing.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF
14	Renato Fileto, Claudia Bauzer Medeiros, Calton Pu, Ling Liu 0001, Eduardo Delgado Assad	Building a Semantic Web System for Scientific Applications: An Engineering Approach.	WISE	2005	DBLP DOI BibTeX RDF
14	Jittat Fakcharoenphol, Boonserm Kijsirikul	Constructing Multiclass Learners from Binary Learners: A Simple Black-Box Analysis of the Generalization Errors.	ALT	2005	DBLP DOI BibTeX RDF
14	Yanhui Li, Jianjiang Lu, Baowen Xu, Dazhou Kang, Jixiang Jiang	A Fuzzy Extension of Description Logic ALCH.	MICAI	2005	DBLP DOI BibTeX RDF
14	János Pach, Gábor Tardos	Forbidden patterns and unit distances.	SCG	2005	DBLP DOI BibTeX RDF	0-1 matrix, extremal combinatorics, forbidden patterns, interval chromatic number, unit-distance graph
14	Ariel Fuxman, Phokion G. Kolaitis, Renée J. Miller, Wang Chiew Tan	Peer data exchange.	PODS	2005	DBLP DOI BibTeX RDF
14	Hong Ling, Jiangbo Zhou	Research on workflow process structure verification.	ICEBE	2005	DBLP DOI BibTeX RDF	process structure, verification, workflow, process
14	Emilio Di Giacomo, Giuseppe Liotta, Henk Meijer, Stephen K. Wismath	Volume Requirements of 3D Upward Drawings.	GD	2005	DBLP DOI BibTeX RDF
14	Valmir Carneiro Barbosa, Luciana C. D. Campos	A Novel Evolutionary Formulation of the Maximum Independent Set Problem.	J. Comb. Optim.	2004	DBLP DOI BibTeX RDF	genetic algorithms, evolutionary algorithms, maximum independent sets
14	Valmir Carneiro Barbosa, Carlos A. G. Assis, Josina O. do Nascimento	Two Novel Evolutionary Formulations of the Graph Coloring Problem.	J. Comb. Optim.	2004	DBLP DOI BibTeX RDF	genetic algorithms, evolutionary algorithms, genetic programming, graph coloring
14	Michael T. Hallett, Jens Lagergren, Ali Tofigh	Simultaneous identification of duplications and lateral transfers.	RECOMB	2004	DBLP DOI BibTeX RDF	gene loss, lateral gene transfer, gene duplication
14	Debesh Kumar Das, Tomoo Inoue, Susanta Chakraborty, Hideo Fujiwara	Max-Testable Class of Sequential Circuits having Combinational Test Generation Complexity.	Asian Test Symposium	2004	DBLP DOI BibTeX RDF
14	Yongsun Choi, J. Leon Zhao	Feedback Partitioning and Decomposition-Oriented Analysis of Cyclic Workflow Graphs.	OTM Workshops	2004	DBLP DOI BibTeX RDF
14	Ke Yi 0001, Hao He 0006, Ioana Stanoi, Jun Yang 0001	Incremental Maintenance of XML Structural Indexes. (PDF / PS)	SIGMOD Conference	2004	DBLP DOI BibTeX RDF
14	Georg Gottlob, Christoph Koch 0001, Klaus U. Schulz	Conjunctive Queries over Trees. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
14	John Whaley, Monica S. Lam	Cloning-based context-sensitive pointer alias analysis using binary decision diagrams.	PLDI	2004	DBLP DOI BibTeX RDF	inclusion-based, Java, scalable, logic programming, program analysis, Datalog, binary decision diagrams, cloning, pointer analysis, context-sensitive
14	Paulo J. Garrido	A learning-oriented knowledge representation for teaching interfaces.	SMC (1)	2004	DBLP DOI BibTeX RDF
14	Fidel Cacheda, Ricardo A. Baeza-Yates	An Optimistic Model for Searching Web Directories.	ECIR	2004	DBLP DOI BibTeX RDF
14	Carlos E. R. Alves, Edson Cáceres, Amaury Antônio de Castro Jr., Siang W. Song, Jayme Luiz Szwarcfiter	Efficient Parallel Implementation of Transitive Closure of Digraphs.	PVM/MPI	2003	DBLP DOI BibTeX RDF
14	Hideo Bannai, Shunsuke Inenaga, Ayumi Shinohara, Masayuki Takeda	Inferring Strings from Graphs and Arrays.	MFCS	2003	DBLP DOI BibTeX RDF
14	Venkatesh Raman 0001, Saket Saurabh 0001	Parameterized Complexity of Directed Feedback Set Problems in Tournaments.	WADS	2003	DBLP DOI BibTeX RDF
14	Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu	Automated Generation of Kinetic Chemical Mechanisms Using Rewriting.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
14	Wing Ning Li	Convergent transfer subgraph characterization and computation.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
14	Jon A. Solworth	Integrated Network Barriers.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	integrated network barriers, routing, parallel processing, interconnection networks, high-performance computing, barrier synchronization
14	Zvi Lotker, Boaz Patt-Shamir	Average-Case Analysis of Greedy Packet Scheduling.	Theory Comput. Syst.	2002	DBLP DOI BibTeX RDF
14	Liam Roditty, Uri Zwick	Improved Dynamic Reachability Algorithms for Directed Graphs.	FOCS	2002	DBLP DOI BibTeX RDF
14	Ali Shokoufandeh, Sven J. Dickinson, Clas Jönsson, Lars Bretzner, Tony Lindeberg	On the Representation and Matching of Qualitative Shape at Multiple Scales.	ECCV (3)	2002	DBLP DOI BibTeX RDF
14	Ruy Luiz Milidiú, Artur Alves Pessoa, Eduardo Sany Laber	Complexity of Makespan Minimization for Pipeline Transportation of Petroleum Products.	APPROX	2002	DBLP DOI BibTeX RDF
14	Ruy Luiz Milidiú, Artur Alves Pessoa, Eduardo Sany Laber	Pipeline Transportation of Petroleum Products with No Due Dates.	LATIN	2002	DBLP DOI BibTeX RDF
14	Abdel Ejnioui, N. Ranganathan	A partitioning algorithm for technoiogy-mapped designs on single-chip emulation systems.	IEEE Trans. Very Large Scale Integr. Syst.	2001	DBLP DOI BibTeX RDF
14	Stavros D. Nikolopoulos, Leonidas Palios	Recognition and Orientation Algorithms for P4-Comparability Graphs.	ISAAC	2001	DBLP DOI BibTeX RDF
14	Georg Gottlob, Nicola Leone, Francesco Scarcello	Hypertree Decompositions: A Survey.	MFCS	2001	DBLP DOI BibTeX RDF
14	João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira	Multi-dimensional Dynamic Knowledge Representation.	LPNMR	2001	DBLP DOI BibTeX RDF
14	Katerina Goseva-Popstojanova, Kishor S. Trivedi	Stochastic Modeling Formalisms for Dependability, Performance and Performability.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
14	C. M. Sperberg-McQueen, Claus Huitfeldt	GODDAG: A Data Structure for Overlapping Hierarchies.	DDEP/PODDP	2000	DBLP DOI BibTeX RDF
14	Michael A. Bender, Dana Ron	Testing Acyclicity of Directed Graphs in Sublinear Time.	ICALP	2000	DBLP DOI BibTeX RDF
14	Zvi Lotker, Boaz Patt-Shamir	Average-case analysis of greedy packet scheduling (extended astract).	PODC	2000	DBLP DOI BibTeX RDF
14	Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang	The Control of Synchronous Systems.	CONCUR	2000	DBLP DOI BibTeX RDF
14	Michael D. Jones, Ganesh Gopalakrishnan	Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods.	FMCAD	2000	DBLP DOI BibTeX RDF
14	Sounaka Mishra, Kripasindhu Sikdar	On the Hardness of Approximating Some NP-optimization Problems Related to Minimum Linear Ordering Problem.	IFIP TCS	2000	DBLP DOI BibTeX RDF	NP-optimization problems, Minimaximal and maximinimal NP-optimization problems, L-reduction, Approximation algorithms, Hardness of approximation, APX-hardness