The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Parameterized with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1969-1980 (15) 1981-1983 (19) 1984-1985 (18) 1986-1987 (24) 1988-1989 (32) 1990 (20) 1991 (23) 1992 (23) 1993 (35) 1994 (38) 1995 (51) 1996 (56) 1997 (58) 1998 (54) 1999 (93) 2000 (114) 2001 (130) 2002 (151) 2003 (213) 2004 (286) 2005 (280) 2006 (376) 2007 (345) 2008 (395) 2009 (346) 2010 (208) 2011 (204) 2012 (238) 2013 (255) 2014 (273) 2015 (257) 2016 (268) 2017 (289) 2018 (333) 2019 (347) 2020 (378) 2021 (372) 2022 (411) 2023 (501) 2024 (101)
Publication types (Num. hits)
article(3197) book(9) incollection(38) inproceedings(4275) phdthesis(90) proceedings(21)
Venues (Conferences, Journals, ...)
CoRR(1045) IPEC(438) Theor. Comput. Sci.(158) Algorithmica(108) IWPEC(103) WG(55) MFCS(54) CDC(50) SODA(49) Theory Comput. Syst.(48) AAAI(46) FSTTCS(45) J. Comput. Syst. Sci.(45) ESA(44) STACS(44) ICALP(43) More (+10 of total 1675)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2689 occurrences of 1754 keywords

Results
Found 7630 publication records. Showing 7630 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
71Petr A. Golovach, Dimitrios M. Thilikos Paths of Bounded Length and Their Cuts: Parameterized Complexity and Algorithms. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bounded length disjoint paths, Bounded length cuts, Parameterized Complexity, Parameterized Algorithms
67I-Lun Tseng, Adam Postula Partitioning parameterized 45-degree polygons with constraint programming. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Parameterized polygons, analog and mixed-signal design, parameterized layouts, trapezoidal corner stitching, polygon decomposition
64I-Han Hsiao, Sergey A. Sosnovsky, Peter Brusilovsky Extending parameterized problem-tracing questions for Java with personalized guidance. Search on Bibsonomy ITiCSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parameterized questions, java, personalization, self-assessment
61Amir Pnueli, Lenore D. Zuck Model-Checking and Abstraction to the Aid of Parameterized Systems. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
58Abhik Roychoudhury, I. V. Ramakrishnan Inductively Verifying Invariant Properties of Parameterized Systems. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF induction proofs, logic programming, program transformations, concurrent systems, unfolding, folding, parameterized systems
58Shinji Umeyama Parameterized Point Pattern Matching and Its Application to Recognition of Object Families. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF object families, parameterized point pattern, tree search procedure, delta -boundedness, pruning methods, shape matching problem, pattern recognition, pattern matching, trees (mathematics), search problems
55I-Lun Tseng, Adam Postula An efficient algorithm for partitioning parameterized polygons into rectangles. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF corner stitching, parameterized layouts, parameterized polygons, polygon decomposition
52Jérémy Barbay, Rolf Klein, Alejandro López-Ortiz, Rolf Niedermeier 09171 Executive Summary - Adaptive, Output Sensitive, Online and Parameterized Algorithms. Search on Bibsonomy Adaptive, Output Sensitive, Online and Parameterized Algorithms The full citation details ... 2009 DBLP  BibTeX  RDF
52Erik D. Demaine, MohammadTaghi Hajiaghayi, Dániel Marx 09511 Abstracts Collection - Parameterized complexity and approximation algorithms. Search on Bibsonomy Parameterized complexity and approximation algorithms The full citation details ... 2009 DBLP  BibTeX  RDF
52Erik D. Demaine, MohammadTaghi Hajiaghayi, Dániel Marx 09511 Open Problems - Parameterized complexity and approximation algorithms. Search on Bibsonomy Parameterized complexity and approximation algorithms The full citation details ... 2009 DBLP  BibTeX  RDF
52Spyros Angelopoulos 0001 Parameterized Analysis of Online Steiner Tree Problems. Search on Bibsonomy Adaptive, Output Sensitive, Online and Parameterized Algorithms The full citation details ... 2009 DBLP  BibTeX  RDF
52Erik D. Demaine, MohammadTaghi Hajiaghayi, Dániel Marx 09511 Executive Summary - Parameterized complexity and approximation algorithms. Search on Bibsonomy Parameterized complexity and approximation algorithms The full citation details ... 2009 DBLP  BibTeX  RDF
52Jérémy Barbay, Rolf Klein, Alejandro López-Ortiz, Rolf Niedermeier 09171 Abstracts Collection - Adaptive, Output Sensitive, Online and Parameterized Algorithms. Search on Bibsonomy Adaptive, Output Sensitive, Online and Parameterized Algorithms The full citation details ... 2009 DBLP  BibTeX  RDF
49Stefan S. Dantchev, Barnaby Martin, Stefan Szeider Parameterized Proof Complexity. Search on Bibsonomy FOCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47I-Han Hsiao, Sergey A. Sosnovsky, Peter Brusilovsky Adaptive Navigation Support for Parameterized Questions in Object-Oriented Programming. Search on Bibsonomy EC-TEL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parameterized quizzes, object-oriented programming, self-assessment, adaptive navigation support
47Nikolaos D. Liveris, Hai Zhou 0001, Robert P. Dick, Prithviraj Banerjee State space abstraction for parameterized self-stabilizing embedded systems. Search on Bibsonomy EMSOFT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF verification, abstraction, parameterized systems, self-stabilizing systems, network invariants
47Lakshminarayanan Renganarayanan, DaeGon Kim, Sanjay V. Rajopadhye, Michelle Mills Strout Parameterized tiled loops for free. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF parameterized tiling, code generation, bounding box, Fourier-Motzkin elimination
47Cecilia E. Nugraheni Universal Properties Verification of Parameterized Parallel Systems. Search on Bibsonomy ICCSA (3) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF parameterized parallel system, verification, formal method, temporal logics, diagram
47Adel Bouhoula Sufficient Completeness and Parameterized Proofs by Induction. Search on Bibsonomy ALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Implicit induction, Parameterized Conditional Specifications, Theorem Proving, Term rewriting systems, Sufficient completeness
44Sudipta Kundu, Zachary Tatlock, Sorin Lerner Proving optimizations correct using parameterized program equivalence. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF compiler optimization, correctness, translation validation
44Nikolai Tillmann, Wolfram Schulte Parameterized unit tests. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automatic test input generation, unit testing, symbolic execution, constraint solving, algebraic data types
44Qiang Liu, Edmond C. Prakash Cyber Surgery: Parameterized Mesh for Multi-modal Surgery Simulation. Search on Bibsonomy PCM (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Ilias Nitsos, Georgios Evangelidis 0001, Dimitrios Dervos g-binary: A New Non-parameterized Code for Improved Inverted File Compression. Search on Bibsonomy DEXA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
44Donglin Liang, Mary Jean Harrold Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses. Search on Bibsonomy SAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
42Erik D. Demaine, MohammadTaghi Hajiaghayi, Dániel Marx (eds.) Parameterized complexity and approximation algorithms, 13.12. - 17.12.2009 Search on Bibsonomy Parameterized complexity and approximation algorithms The full citation details ... 2009 DBLP  BibTeX  RDF
42Jérémy Barbay, Rolf Klein, Alejandro López-Ortiz, Rolf Niedermeier (eds.) Adaptive, Output Sensitive, Online and Parameterized Algorithms, 19.04. - 24.04.2009 Search on Bibsonomy Adaptive, Output Sensitive, Online and Parameterized Algorithms The full citation details ... 2009 DBLP  BibTeX  RDF
42Guy Kortsarz, Zeev Nutov Approximating minimum cost connectivity problems. Search on Bibsonomy Parameterized complexity and approximation algorithms The full citation details ... 2009 DBLP  BibTeX  RDF
42Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos Contraction Bidimensionality: the Accurate Picture. Search on Bibsonomy Parameterized complexity and approximation algorithms The full citation details ... 2009 DBLP  BibTeX  RDF
42Holger Dell, Dieter van Melkebeek Satisfiability Allows No Nontrivial Sparsification Unless The Polynomial-Time Hierarchy Collapses. Search on Bibsonomy Parameterized complexity and approximation algorithms The full citation details ... 2009 DBLP  BibTeX  RDF
42Kunal Talwar, Anupam Gupta 0001, Katrina Ligett, Frank McSherry, Aaron Roth 0001 Differentially Private Combinatorial Optimization. Search on Bibsonomy Parameterized complexity and approximation algorithms The full citation details ... 2009 DBLP  BibTeX  RDF
42Rodney G. Downey, Michael R. Fellows, Catherine McCartin Parameterized Approximation Problems. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41Qiusong Yang, Mingshu Li 0001 A cut-off approach for bounded verification of parameterized systems. Search on Bibsonomy ICSE (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF cut-off, bounded model checking, parameterized system
41Nikolai Tillmann, Jonathan de Halleux, Tao Xie 0001 Parameterized unit testing: theory and practice. Search on Bibsonomy ICSE (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Pex, parameterized unit testing, testing, theories, unit testing, symbolic execution, mock objects
41Youssef Hanna, Samik Basu 0001, Hridesh Rajan Behavioral automata composition for automatic topology independent verification of parameterized systems. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parameterized model checking
41Iyad A. Kanj, Luay Nakhleh, Ge Xia The Compatibility of Binary Characters on Phylogenetic Networks: Complexity and Parameterized Algorithms. Search on Bibsonomy Algorithmica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Parameterized algorithms and complexity, Linguistics, Phylogenetic networks
41Sungwook Kim, Jung Hee Cheon A Parameterized Splitting System and Its Application to the Discrete Logarithm Problem with Low Hamming Weight Product Exponents. Search on Bibsonomy Public Key Cryptography The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Discrete Logarithm Problem with Low Hamming Weight Product (LHWP) Exponents, Parameterized Splitting Systems
41Khaled R. Heloue, Farid N. Najm Parameterized timing analysis with general delay models and arbitrary variation sources. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF nonlinear delay, parameterized timing analysis, variability
41Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta Automatic Verification of Parameterized Data Structures. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Parameterized correctness, Data structures
41Jian-Er Chen Parameterized Computation and Complexity: A New Approach Dealing with NP-Hardness. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF parameterized computation, algorithm, approximation algorithm, complexity, NP-completeness, computational
41Fedor V. Fomin, Dimitrios M. Thilikos Fast Parameterized Algorithms for Graphs on Surfaces: Linear Kernel and Exponential Speed-Up. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF embedded graphs, subexponential algorithms, Dominating set, parameterized algorithms, branch-width
41Zoran M. Gacovski, Georgi M. Dimirovski Parameterized Petri Net Reformulation of the Fuzzy Production System. Search on Bibsonomy Fuzzy Days The full citation details ... 2001 DBLP  DOI  BibTeX  RDF parameterized fuzzy-Petri-nets, organization level, decision making, knowledge base, complex systems, Fuzzy reasoning
40Thanarat Horprasert Chalidabhongse, Yaser Yacoob, Larry S. Davis Computing 3-D head orientation from a monocular image sequence. Search on Bibsonomy FG The full citation details ... 1996 DBLP  DOI  BibTeX  RDF 3D head orientation computation, image-based parameterized tracking, face features, sub-pixel parameterized shape estimation, eye boundary, coarse structure, camera plane, projective cross-ratio invariance, anthropometric statistics, eye corners, head yaw, head roll, head pitch, face recognition, monocular image sequence
39Panos Giannopoulos, Christian Knauer, Günter Rote The Parameterized Complexity of Some Geometric Problems in Unbounded Dimension. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF geometric dimension, minimum enclosing cylinder, maximum feasible subsystem, 2-linear separability, lower bounds, parameterized complexity
38Haim Kaplan, Ron Shamir, Robert Endre Tarjan Tractability of parameterized completion problems on chordal and interval graphs: Minimum Fill-in and Physical Mapping Search on Bibsonomy FOCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF added edges, parameterized completion problems, minimum fill-in, NP-Hard graph completion problem, interval graphs, parameterized complexity, tractability, vertex coloring, physical mapping
38Abderrahmane Bennis, Miriam Leeser, Gilead Tadmor Implementing a Highly Parameterized Digital PIV System on Reconfigurable Hardware. Search on Bibsonomy ASAP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Michael R. Fellows, Daniel Lokshtanov, Neeldhara Misra, Frances A. Rosamond, Saket Saurabh 0001 Graph Layout Problems Parameterized by Vertex Cover. Search on Bibsonomy ISAAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Carmit Hazay, Moshe Lewenstein, Dina Sokol Approximate parameterized matching. Search on Bibsonomy ACM Trans. Algorithms The full citation details ... 2007 DBLP  DOI  BibTeX  RDF mismatch pair, parameterize match, Hamming distance, maximum matching
38Jianer Chen, Benny Chor, Mike Fellows, Xiuzhen Huang, David W. Juedes, Iyad A. Kanj, Ge Xia Tight Lower Bounds for Certain Parameterized NP-Hard Problems. Search on Bibsonomy CCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Abhik Roychoudhury, C. R. Ramakrishnan 0001 Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. Search on Bibsonomy Program Development in Computational Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Isabelle Attali, Tomás Barros, Eric Madelaine Parameterized Specification and Verification of the Chilean Electronic Invoices System. Search on Bibsonomy SCCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Giorgio Delzanno Constraint-Based Verification of Parameterized Cache Coherence Protocols. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF constraints, abstractions, symbolic model checking, cache coherence protocols
38Abhik Roychoudhury, I. V. Ramakrishnan Automated Inductive Verification of Parameterized Protocols. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38Julia Padberg, Hartmut Ehrig Parameterized Net Classes: A Uniform Approach to Petri Net Classes. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF actual and formal parameter, uniform approach, rule-based refinement, Petri Nets, fusion, union, high-level nets
36Moritz Müller Parameterized Derandomization. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Michael Dom, Daniel Lokshtanov, Saket Saurabh 0001, Yngve Villanger Capacitated Domination and Covering: A Parameterized Perspective. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Michael Emmi, Rupak Majumdar, Roman Manevich Parameterized verification of transactional memories. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF parameterized verification, transactional memory
35Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine Approximated parameterized verification of infinite-state processes with global conditions. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Unbounded processes, Over-approximation, Parameterized systems
35Shalabh Bhatnagar, Karmeshu, Vivek Kumar Mishra Optimal parameter trajectory estimation in parameterized SDEs: An algorithmic procedure. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Optimal parameter trajectory, parameterized stochastic differential equations (SDEs), smoothed functional algorithm, simulation optimization
35Scott D. Stoller, Ping Yang 0002, Mikhail I. Gofman, C. R. Ramakrishnan 0001 Symbolic reachability analysis for parameterized administrative role based access control. Search on Bibsonomy SACMAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parameterized administrative role based access control, security policy analysis
35Tammar Shrot, Yonatan Aumann, Sarit Kraus Easy and hard coalition resource game formation problems: a parameterized complexity analysis. Search on Bibsonomy AAMAS (1) The full citation details ... 2009 DBLP  BibTeX  RDF coalition problems, parameterized complexity
35Antti Siirtola, Michal Valenta Verifying Parameterized taDOM+ Lock Managers. Search on Bibsonomy SOFSEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model-checking, Verification, case study, XML databases, parameterized systems
35Lige Wen, Jianqiao Li, Xiuzhi Zhang, Benard Chirende Parameterized Computer Aided Design of Stubble Cleaner. Search on Bibsonomy CCTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Stubble cleaner, parameterized design, computer aided design
35Gang Zhao, Liangxi Xie Research on Kinematics Simulation of Parameterized Mechanism Based on Visualization in Scientific Computing. Search on Bibsonomy CCTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF visualization in scientific computing, MFC compiler, kinematics simulation for 3D mechanism, parameterized, OpenGL
35Karl R. Abrahamson Parameterized objects and inducements to explore functional programming. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF parameterized objects, persistent data structures
35Umar Farooq 0009, Muhammad Saleem, Habibullah Jamal Parameterized FIR Filtering IP Cores for Reusable SoC Design. Search on Bibsonomy ITNG The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Finite Impulse Response (FIR) filter, Unfolded Direct Form (UDF), Folded Direct Form (FDF), Parameterized, SoC design, IP Core, Synthesis tools
35Cédric du Mouza, Philippe Rigaux, Michel Scholl Efficient evaluation of parameterized pattern queries. Search on Bibsonomy CIKM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF parameterized patterns, query evaluation
35Iyad A. Kanj, Ljubomir Perkovic Improved Parameterized Algorithms for Planar Dominating Set. Search on Bibsonomy MFCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF planar dominating set, NP-complete problems, parameterized algorithms
35Michel Cosnard, Emmanuel Jeannot, Tao Yang SLC: Symbolic Scheduling for Executing Parameterized Task Graphs on Multiprocessors. Search on Bibsonomy ICPP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Parameterized task graph, symbolic scheduling, clustering, scheduling, multithreading, DAG, task parallelism
35Honesty C. Young, Arun N. Swami The parameterized Round-Robin partitioned algorithm for parallel external sort. Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF parameterized Round-Robin partitioned algorithm, parallel external sort, partition key values, parallel algorithms, computational complexity, complexity, message passing, sorting, coding, data prefetch, sort algorithm, message passing architecture
34Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright Parameter Passing in Algebraic Specification Languages. Search on Bibsonomy Program Specification The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
33Narges Simjour Improved Parameterized Algorithms for the Kemeny Aggregation Problem. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Kemeny score, parameterized, enumeration, exact algorithms
32Muthu Manikandan Baskaran, Albert Hartono, Sanket Tavarageri, Thomas Henretty, J. Ramanujam, P. Sadayappan Parameterized tiling revisited. Search on Bibsonomy CGO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF compile-time optimization, code generation, tiling
32Michael R. Fellows, Jiong Guo, Iyad A. Kanj The Parameterized Complexity of Some Minimum Label Problems. Search on Bibsonomy WG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Nikolay Rubanov An information theoretic framework to compute the MAX/MIN operations in parameterized statistical timing analysis. Search on Bibsonomy ISQED The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler Verification of Parameterized Systems with Combinations of Abstract Domains. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Yanfang Ma, Min Zhang 0007, Yixiang Chen Parameterized Bisimulation Infinite Evolution Mechanism. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Orgad Keller, Tsvi Kopelowitz, Moshe Lewenstein On the Longest Common Parameterized Subsequence. Search on Bibsonomy CPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Duo Li, Sheldon X.-D. Tan, Eduardo H. Pacheco, Murli Tirumala Parameterized transient thermal behavioral modeling for chip multiprocessors. Search on Bibsonomy ICCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Nadja Betzler, Johannes Uhlmann Parameterized Complexity of Candidate Control in Elections and Related Digraph Problems. Search on Bibsonomy COCOA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Gregory Z. Gutin, Arash Rafiey, Stefan Szeider, Anders Yeo The Linear Arrangement Problem Parameterized Above Guaranteed Value. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Kedar S. Namjoshi Symmetry and Completeness in the Analysis of Parameterized Systems. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Gregory Z. Gutin, Arash Rafiey, Stefan Szeider, Anders Yeo The Linear Arrangement Problem Parameterized Above Guaranteed Value. Search on Bibsonomy CIAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Tuba Yavuz-Kahveci, Tevfik Bultan Verification of parameterized hierarchical state machines using action language verifier. Search on Bibsonomy MEMOCODE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Nikolai Tillmann, Wolfram Schulte Parameterized unit tests with unit meister. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automatic test input generation, unit testing, symbolic execution, constraint solving, algebraic data types
32Alberto Pettorossi, Maurizio Proietti, Valerio Senni Transformational Verification of Parameterized Protocols Using Array Formulas. Search on Bibsonomy LOPSTR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Jörg Flum, Martin Grohe Model-Checking Problems as a Basis for Parameterized Intractability. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Yijia Chen, Jörg Flum, Martin Grohe Bounded Nondeterminism and Alternation in Parameterized Complexity Theory. Search on Bibsonomy CCC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Jörg Flum, Martin Grohe Describing Parameterized Complexity Classes. Search on Bibsonomy STACS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck Parameterized Verification with Automatically Computed Inductive Assertions. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
32E. Allen Emerson, Kedar S. Namjoshi Verification of Parameterized Bus Arbitration Protocol. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Liming Cai, Jianer Chen, Rodney G. Downey, Michael R. Fellows On the parameterized complexity of short computation and factorization. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
32Adel Bouhoula SPIKE: a System for Sufficient Completeness and Parameterized Inductive Proofs. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
32Hubert Baumeister Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
31Yijia Chen, Jörg Flum, Moritz Müller Lower Bounds for Kernelizations and Other Preprocessing Procedures. Search on Bibsonomy CiE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF kernelization, preprocessing, Parameterized complexity
31Hao Yu 0001, Joanna Ho, Lei He 0001 Simultaneous power and thermal integrity driven via stapling in 3D ICs. Search on Bibsonomy ICCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF structured and parameterized model order reduction, thermal modeling and management
31Stefan Szeider Backdoor Sets for DLL Subsolvers. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF unit propagation, pure literal elimination, backdoor sets, W[P]-completeness, satisfiability, parameterized complexity
31Yufei Tao 0001, Dimitris Papadias Spatial queries in dynamic environments. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF time-parameterized, Database, continuous, spatio-temporal
31Jianer Chen, Iyad A. Kanj Improved Exact Algorithms for MAX-SAT. Search on Bibsonomy LATIN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF exact algorithms, parameterized algorithms, maximum satisfiability
30Yijia Chen, Jörg Flum The Parameterized Complexity of Maximality and Minimality Problems. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Matthew Hamilton, Rhonda Chaytor, Todd Wareham The Parameterized Complexity of Enumerating Frequent Itemsets. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 7630 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license