Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Junjie Luo 0001, Hendrik Molter, Ondrej Suchý |
A Parameterized Complexity View on Collapsing k-Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 13th International Symposium on Parameterized and Exact Computation, IPEC 2018, August 20-24, 2018, Helsinki, Finland, pp. 7:1-7:14, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-084-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Radu Curticapean |
Counting Problems in Parameterized Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 13th International Symposium on Parameterized and Exact Computation, IPEC 2018, August 20-24, 2018, Helsinki, Finland, pp. 1:1-1:18, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-084-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Akanksha Agrawal 0001, Saket Saurabh 0001, Prafullkumar Tale |
On the Parameterized Complexity of Contraction to Generalization of Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 12th International Symposium on Parameterized and Exact Computation, IPEC 2017, September 6-8, 2017, Vienna, Austria, pp. 1:1-1:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-051-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Holger Dell, Christian Komusiewicz, Nimrod Talmon, Mathias Weller |
The PACE 2017 Parameterized Algorithms and Computational Experiments Challenge: The Second Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 12th International Symposium on Parameterized and Exact Computation, IPEC 2017, September 6-8, 2017, Vienna, Austria, pp. 30:1-30:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-051-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Ralph Bottesch |
Relativization and Interactive Proof Systems in Parameterized Complexity Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 12th International Symposium on Parameterized and Exact Computation, IPEC 2017, September 6-8, 2017, Vienna, Austria, pp. 9:1-9:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-051-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Édouard Bonnet, Nick Brettell, O-joung Kwon, Dániel Marx |
Generalized Feedback Vertex Set Problems on Bounded-Treewidth Graphs: Chordality Is the Key to Single-Exponential Parameterized Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 12th International Symposium on Parameterized and Exact Computation, IPEC 2017, September 6-8, 2017, Vienna, Austria, pp. 7:1-7:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-051-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Julien Baste, Didem Gözüpek, Christophe Paul, Ignasi Sau, Mordechai Shalom, Dimitrios M. Thilikos |
Parameterized Complexity of Finding a Spanning Tree with Minimum Reload Cost Diameter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 12th International Symposium on Parameterized and Exact Computation, IPEC 2017, September 6-8, 2017, Vienna, Austria, pp. 3:1-3:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-051-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Édouard Bonnet, Panos Giannopoulos, Michael Lampis |
On the Parameterized Complexity of Red-Blue Points Separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 12th International Symposium on Parameterized and Exact Computation, IPEC 2017, September 6-8, 2017, Vienna, Austria, pp. 8:1-8:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-051-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Robert Bredereck, Vincent Froese, Marcel Koseler, Marcelo Garlet Millani, André Nichterlein, Rolf Niedermeier |
A Parameterized Algorithmics Framework for Degree Sequence Completion Problems in Directed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark, pp. 10:1-10:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-023-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | R. Krithika 0001, Abhishek Sahu, Prafullkumar Tale |
Dynamic Parameterized Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark, pp. 19:1-19:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-023-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Hans L. Bodlaender, Hirotaka Ono 0001, Yota Otachi |
A Faster Parameterized Algorithm for Pseudoforest Deletion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark, pp. 7:1-7:12, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-023-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Thomas Bläsius, Tobias Friedrich 0001, Martin Schirneck |
The Parameterized Complexity of Dependency Detection in Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark, pp. 6:1-6:13, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-023-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Blair D. Sullivan, Andrew van der Poel |
A Fast Parameterized Algorithm for Co-Path Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark, pp. 28:1-28:13, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-023-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Yasuaki Kobayashi, Hisao Tamaki |
Treedepth Parameterized by Vertex Cover Number. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark, pp. 18:1-18:11, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-023-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | L. Sunil Chandran, Davis Issac, Andreas Karrenbauer |
On the Parameterized Complexity of Biclique Cover and Partition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark, pp. 11:1-11:13, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-023-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Holger Dell, Thore Husfeldt, Bart M. P. Jansen, Petteri Kaski, Christian Komusiewicz, Frances A. Rosamond |
The First Parameterized Algorithms and Computational Experiments Challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark, pp. 30:1-30:9, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-023-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Thore Husfeldt |
Computing Graph Distances Parameterized by Treewidth and Diameter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark, pp. 16:1-16:11, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-023-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Dimitrios M. Thilikos |
Bidimensionality and Parameterized Algorithms (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 10th International Symposium on Parameterized and Exact Computation, IPEC 2015, September 16-18, 2015, Patras, Greece, pp. 1-16, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-92-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Eun Jung Kim 0002, Christophe Paul, Ignasi Sau, Dimitrios M. Thilikos |
Parameterized Algorithms for Min-Max Multiway Cut and List Digraph Homomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 10th International Symposium on Parameterized and Exact Computation, IPEC 2015, September 16-18, 2015, Patras, Greece, pp. 78-89, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-92-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Florian Barbero, Gregory Z. Gutin, Mark Jones 0001, Bin Sheng 0002 |
Parameterized and Approximation Algorithms for the Load Coloring Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 10th International Symposium on Parameterized and Exact Computation, IPEC 2015, September 16-18, 2015, Patras, Greece, pp. 43-54, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-92-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Tom C. van der Zanden |
Parameterized Complexity of Graph Constraint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 10th International Symposium on Parameterized and Exact Computation, IPEC 2015, September 16-18, 2015, Patras, Greece, pp. 282-293, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-92-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Hanna Sumita, Naonori Kakimura, Kazuhisa Makino |
Parameterized Complexity of Sparse Linear Complementarity Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 10th International Symposium on Parameterized and Exact Computation, IPEC 2015, September 16-18, 2015, Patras, Greece, pp. 355-364, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-92-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Edouard Bonnet, Florian Sikora |
The Graph Motif Problem Parameterized by the Structure of the Input Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 10th International Symposium on Parameterized and Exact Computation, IPEC 2015, September 16-18, 2015, Patras, Greece, pp. 319-330, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-92-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | R. B. Sandeep, Naveen Sivadasan |
Parameterized Lower Bound and Improved Kernel for Diamond-free Edge Deletion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 10th International Symposium on Parameterized and Exact Computation, IPEC 2015, September 16-18, 2015, Patras, Greece, pp. 365-376, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-92-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Holger Dell, Eun Jung Kim 0002, Michael Lampis, Valia Mitsou, Tobias Mömke |
Complexity and Approximability of Parameterized MAX-CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 10th International Symposium on Parameterized and Exact Computation, IPEC 2015, September 16-18, 2015, Patras, Greece, pp. 294-306, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-92-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Danny Hermelin, Moshe Kaspi, Christian Komusiewicz, Barak Navon |
Parameterized Complexity of Critical Node Cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 10th International Symposium on Parameterized and Exact Computation, IPEC 2015, September 16-18, 2015, Patras, Greece, pp. 343-354, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-92-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Ron Y. Pinter, Hadas Shachnai, Meirav Zehavi |
Improved Parameterized Algorithms for Network Query Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers, pp. 294-306, 2014, Springer, 978-3-319-13523-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Tatsuya Akutsu, Jesper Jansson 0001, Atsuhiro Takasu, Takeyuki Tamura |
On the Parameterized Complexity of Associative and Commutative Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers, pp. 15-27, 2014, Springer, 978-3-319-13523-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Ran Ben-Basat, Ariel Gabizon, Meirav Zehavi |
The k -Distinct Language: Parameterized Automata Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers, pp. 85-96, 2014, Springer, 978-3-319-13523-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Vikraman Arvind, Gaurav Rattan |
The Parameterized Complexity of Geometric Graph Isomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers, pp. 51-62, 2014, Springer, 978-3-319-13523-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Sebastian Ordyniak, Alexandru Popa 0001 |
A Parameterized Study of Maximum Generalized Pattern Matching Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers, pp. 270-281, 2014, Springer, 978-3-319-13523-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Julien Baste, Ignasi Sau |
The Role of Planarity in Connectivity Problems Parameterized by Treewidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers, pp. 63-74, 2014, Springer, 978-3-319-13523-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Cristina Bazgan, André Nichterlein |
Parameterized Inapproximability of Degree Anonymization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers, pp. 75-84, 2014, Springer, 978-3-319-13523-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Vikraman Arvind, Johannes Köbler, Sebastian Kuhnert, Jacobo Torán |
Solving Linear Equations Parameterized by Hamming Weight. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers, pp. 39-50, 2014, Springer, 978-3-319-13523-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Jannis Bulian, Anuj Dawar |
Graph Isomorphism Parameterized by Elimination Distance to Bounded Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers, pp. 135-146, 2014, Springer, 978-3-319-13523-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Yao-I Tseng, I-Lun Tseng, Tsao Hsiao Huang, Adam Postula |
Fast partitioning of parameterized 45-degree polygons into parameterized trapezoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEWCAS ![In: IEEE 11th International New Circuits and Systems Conference, NEWCAS 2013, Paris, France, June 16-19, 2013, pp. 1-4, 2013, IEEE, 978-1-4799-0618-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Christoph Stockhusen, Till Tantau |
Completeness Results for Parameterized Space Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers, pp. 335-347, 2013, Springer, 978-3-319-03897-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Amer E. Mouawad, Naomi Nishimura, Venkatesh Raman 0001, Narges Simjour, Akira Suzuki |
On the Parameterized Complexity of Reconfiguration Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers, pp. 281-294, 2013, Springer, 978-3-319-03897-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Dieter Kratsch, Stefan Kratsch |
The Jump Number Problem: Exact and Parameterized. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers, pp. 230-242, 2013, Springer, 978-3-319-03897-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Jakub Gajarský, Michael Lampis, Sebastian Ordyniak |
Parameterized Algorithms for Modular-Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers, pp. 163-176, 2013, Springer, 978-3-319-03897-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Rémy Belmonte, Petr A. Golovach, Pim van 't Hof, Daniël Paulusma |
Parameterized Complexity of Two Edge Contraction Problems with Degree Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers, pp. 16-27, 2013, Springer, 978-3-319-03897-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Vikraman Arvind |
The Parameterized Complexity of Fixpoint Free Elements and Bases in Permutation Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers, pp. 4-15, 2013, Springer, 978-3-319-03897-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Michael Elberfeld, Christoph Stockhusen, Till Tantau |
On the Space Complexity of Parameterized Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings, pp. 206-217, 2012, Springer, 978-3-642-33292-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Ivan Bliznets, Alexander Golovnev |
A New Algorithm for Parameterized MAX-SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings, pp. 37-48, 2012, Springer, 978-3-642-33292-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Paola Bonizzoni, Riccardo Dondi, Giancarlo Mauri, Italo Zoppis |
Restricted and Swap Common Superstring: A Parameterized View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings, pp. 49-60, 2012, Springer, 978-3-642-33292-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Yijia Chen, Kord Eickmeyer, Jörg Flum |
The Exponential Time Hypothesis and the Parameterized Clique Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings, pp. 13-24, 2012, Springer, 978-3-642-33292-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Abhijin Adiga, Jasine Babu, L. Sunil Chandran |
Polynomial Time and Parameterized Approximation Algorithms for Boxicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings, pp. 135-146, 2012, Springer, 978-3-642-33292-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Dániel Marx |
Randomized Techniques for Parameterized Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings, pp. 2, 2012, Springer, 978-3-642-33292-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Sepp Hartung, Christian Komusiewicz, André Nichterlein |
Parameterized Algorithmics and Computational Experiments for Finding 2-Clubs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings, pp. 231-241, 2012, Springer, 978-3-642-33292-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Jörg Flum, Moritz Müller |
Some Definitorial Suggestions for Parameterized Proof Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings, pp. 73-84, 2012, Springer, 978-3-642-33292-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Francisco Almeida, Domingo Giménez, Jose-Juan López-Espín |
A parameterized shared-memory scheme for parameterized metaheuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 58(3), pp. 292-301, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Robert Ganian |
Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers, pp. 259-271, 2011, Springer, 978-3-642-28049-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Minghui Jiang 0001, Yong Zhang 0053 |
Parameterized Complexity in Multiple-Interval Graphs: Domination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers, pp. 27-40, 2011, Springer, 978-3-642-28049-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Hajo Broersma, Petr A. Golovach, Viresh Patel |
Tight Complexity Bounds for FPT Subgraph Problems Parameterized by Clique-Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers, pp. 207-218, 2011, Springer, 978-3-642-28049-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Michael Lampis |
Parameterized Maximum Path Coloring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers, pp. 232-245, 2011, Springer, 978-3-642-28049-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Marek Cygan, Marcin Pilipczuk, Michal Pilipczuk, Jakub Onufry Wojtaszczyk |
On Multiway Cut Parameterized above Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers, pp. 1-12, 2011, Springer, 978-3-642-28049-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Marek Cygan, Daniel Lokshtanov, Marcin Pilipczuk, Michal Pilipczuk, Saket Saurabh 0001 |
On Cutwidth Parameterized by Vertex Cover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers, pp. 246-258, 2011, Springer, 978-3-642-28049-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Marek Cygan, Fedor V. Fomin, Erik Jan van Leeuwen |
Parameterized Complexity of Firefighting Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers, pp. 13-26, 2011, Springer, 978-3-642-28049-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Eun Jung Kim 0002, Ryan Williams 0001 |
Improved Parameterized Algorithms for above Average Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers, pp. 118-131, 2011, Springer, 978-3-642-28049-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Gregory Z. Gutin, Eun Jung Kim 0002, Arezou Soleimanfallah, Stefan Szeider, Anders Yeo |
Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings, pp. 158-169, 2010, Springer, 978-3-642-17492-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Toby Walsh |
Parameterized Complexity Results in Symmetry Breaking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings, pp. 4-13, 2010, Springer, 978-3-642-17492-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Peter Damaschke |
Bounded-Degree Techniques Accelerate Some Parameterized Graph Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPEC ![In: Parameterized and Exact Computation, 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers, pp. 98-109, 2009, Springer, 978-3-642-11268-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Robert Ganian, Petr Hlinený, Joachim Kneis, Alexander Langer, Jan Obdrzálek, Peter Rossmanith |
On Digraph Width Measures in Parameterized Algorithmics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPEC ![In: Parameterized and Exact Computation, 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers, pp. 185-197, 2009, Springer, 978-3-642-11268-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | William I. Gasarch, Keung Ma Kin |
Invitation to Fixed-Parameter Algorithms: Parameterized Complexity Theory: Parameterized Algorithmics: Theory, Practice and Prospects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 51(1), pp. 137-140, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Stefan S. Dantchev, Barnaby Martin, Stefan Szeider |
Parameterized Proof Complexity: a Complexity Gap for Parameterized Tree-like Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR07, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
19 | Sergio Cabello, Panos Giannopoulos, Christian Knauer |
On the Parameterized Complexity of d-Dimensional Point Set Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPEC ![In: Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings, pp. 175-183, 2006, Springer, 3-540-39098-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Venkatesh Raman 0001, Saket Saurabh 0001 |
Improved Parameterized Algorithms for Feedback Set Problems in Weighted Tournaments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPEC ![In: Parameterized and Exact Computation, First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings, pp. 260-270, 2004, Springer, 3-540-23071-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Faisal N. Abu-Khzam, Michael A. Langston |
A Direct Algorithm for the Parameterized Face Cover Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPEC ![In: Parameterized and Exact Computation, First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings, pp. 213-222, 2004, Springer, 3-540-23071-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Yijia Chen, Jörg Flum |
On Miniaturized Problems in Parameterized Complexity Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPEC ![In: Parameterized and Exact Computation, First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings, pp. 108-120, 2004, Springer, 3-540-23071-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech |
Networks of Processes with Parameterized State Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEPAS ![In: Verification of Parameterized Systems, VEPAS 2001, Satellite Workshop of ICALP 2001, Crete, Greece, July 13, 2001, pp. 386-400, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Richard Mayr |
Introduction - Verification of Parameterized Systems - VEPAS 2001. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEPAS ![In: Verification of Parameterized Systems, VEPAS 2001, Satellite Workshop of ICALP 2001, Crete, Greece, July 13, 2001, pp. 401-402, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Harald Ganzinger |
Parameterized Specifications - Parameterized Passing and Implementation with Respect to Observability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADT ![In: Proceedings 1st Workshop on Abstract Data Type, 1982. University of Dortmund, Germany, 1982, University of Dortmund. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
17 | Abhinav Gupta 0001, Trista P. Chen, Francine Chen 0001, Don Kimber, Larry S. Davis |
Context and observation driven latent variable model for human pose estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 24-26 June 2008, Anchorage, Alaska, USA, 2008, IEEE Computer Society, 978-1-4244-2242-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Yi Lv, Huimin Lin, Hong Pan |
Computing Invariants for Parameter Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30 - June 1st, Nice, France, pp. 29-38, 2007, IEEE Computer Society, 1-4244-1050-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Konstantinos Oikonomou, Ioannis Stavrakakis |
Performance Analysis of Probabilistic Flooding Using Random Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOWMOM ![In: 2007 International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2007), 18-21 June 2007, Helsinki, Finland, Proceedings, pp. 1-6, 2007, IEEE Computer Society, 1-4244-0992-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Wei Dong 0002, Zhuo Feng, Peng Li 0001 |
Efficient VCO phase macromodel generation considering statistical parametric variations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2007 International Conference on Computer-Aided Design, ICCAD 2007, San Jose, CA, USA, November 5-8, 2007, pp. 874-878, 2007, IEEE Computer Society, 1-4244-1382-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer |
Refactoring for Parameterizing Java Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 437-446, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Benny Chor, Michael R. Fellows, Mark A. Ragan, Igor Razgon, Frances A. Rosamond, Sagi Snir |
Connected Coloring Completion for General Graphs: Algorithms and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings, pp. 75-85, 2007, Springer, 978-3-540-73544-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Topics Algorithms and Complexity, Bioinformatics |
17 | Nigamanth Sridhar |
Dynamic instantiation-checking components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1442-1446, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Josep Díaz, Dimitrios M. Thilikos |
Fast FPT-Algorithms for Cleaning Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings, pp. 361-371, 2006, Springer, 978-3-540-32301-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Frederic Dorn, Eelko Penninkx, Hans L. Bodlaender, Fedor V. Fomin |
Efficient Exact Algorithms on Planar Graphs: Exploiting Sphere Cut Branch Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2005, 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings, pp. 95-106, 2005, Springer, 3-540-29118-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jesse D. Bingham, Alan J. Hu |
Empirically Efficient Verification for a Class of Infinite-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 77-92, 2005, Springer, 3-540-25333-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
An unfold/fold transformation framework for definite logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(3), pp. 464-509, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
inductive theorem proving, Logic programming, program transformation, unfolding, folding |
17 | Parosh Aziz Abdulla, Bengt Jonsson 0001, Marcus Nilsson, Julien d'Orso, Mayank Saksena |
Regular Model Checking for LTL(MSO). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings, pp. 348-360, 2004, Springer, 3-540-22342-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jörg Flum, Martin Grohe, Mark Weyer |
Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, pp. 555-567, 2004, Springer, 3-540-22849-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jens Gerlach, Joachim Kneis |
Generic Programming for Scientific Computing in C++, Java, and C#. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Programming Technologies, 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings, pp. 301-310, 2003, Springer, 3-540-20054-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Petko Faber, Bob Fisher |
How can we exploit typical architectural structures to improve model recovery? ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DPVT ![In: 1st International Symposium on 3D Data Processing Visualization and Transmission (3DPVT 2002), 19-21 June 2002, Padova, Italy, pp. 824-833, 2002, IEEE Computer Society, 0-7695-1521-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Amir Pnueli, Sitvanit Ruah, Lenore D. Zuck |
Automatic Deductive Verification with Invisible Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 82-97, 2001, Springer, 3-540-41865-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Dana Fisman, Amir Pnueli |
Beyond Regular Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings, pp. 156-170, 2001, Springer, 3-540-43002-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Gerson Sunyé, Alain Le Guennec, Jean-Marc Jézéquel |
Design Patterns Application in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2000 - Object-Oriented Programming, 14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings, pp. 44-62, 2000, Springer, 3-540-67660-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Bengt Jonsson 0001, Marcus Nilsson |
Transitive Closures of Regular Relations for Verifying Infinite-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 220-234, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | E. Allen Emerson, Richard J. Trefler |
Parametric Quantitative Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 336-343, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Patricia A. Evans |
Finding Common Subsequences with Arcs and Pseudoknots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 10th Annual Symposium, CPM 99, Warwick University, UK, July 22-24, 1999, Proceedings, pp. 270-280, 1999, Springer, 3-540-66278-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Rosa M. Jiménez, Fernando Orejas |
An Algebraic Framework for Higher-Order Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1778-1797, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Hartmut Ehrig, Julia Padberg |
A Uniform Approach to Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Computer Science: Potential - Theory - Cognition ![In: Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday, pp. 219-231, 1997, Springer, 3-540-63746-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu |
Extending VLSI design with higher-order logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 85-94, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Cambridge Higher-Order Logic theorem-prover, microprogram sequencer, Am2910, VLSI, formal verification, formal verification, logic testing, theorem proving, logic design, logic CAD, VLSI design, higher-order logic, theorem-prover, design environment, instruction-set architecture, VLSI CAD |
17 | Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs |
A Structural Linearization Principle for Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings, pp. 491-504, 1993, Springer, 3-540-56922-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Brian J. d'Auriol |
The systems edge of the Parameterized Linear Array with a Reconfigurable Pipelined Bus System (LARPBS(p)) optical bus parallel computing model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 48(2), pp. 183-209, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Parallel computing model, Optical bus |
15 | James Caverlee, Steve Webb, Ling Liu 0001, William B. Rouse |
A Parameterized Approach to Spam-Resilient Link Analysis of the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 20(10), pp. 1422-1438, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Tian Song, Dongsheng Wang 0002, Zhizhong Tang |
A parameterized multilevel pattern matching architecture on FPGAs for network intrusion detection and prevention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(6), pp. 949-963, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
network intrusion prevention, network security, pattern matching, network intrusion detection |