×

Found 38 Documents (Results 1–38)

Computational category-theoretic rewriting. (English) Zbl 1514.68089

Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 155-172 (2022).
MSC:  68Q42 18A30 18B10
PDFBibTeX XMLCite
Full Text: DOI arXiv

(Sub)linear kernels for edge modification problems towards structured graph classes. (English) Zbl 07803586

Golovach, Petr A. (ed.) et al., 16th international symposium on parameterized and exact computation, IPEC 2021, Lisbon, Portugal, September 8–10, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 214, Article 8, 14 p. (2021).
MSC:  68Q25 68Q27 68Wxx
PDFBibTeX XMLCite
Full Text: DOI

A polynomial kernel for funnel arc deletion set. (English) Zbl 07764104

Cao, Yixin (ed.) et al., 15th international symposium on parameterized and exact computation, IPEC 2020, Hong Kong, China, virtual conference, December 14–18, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 180, Article 13, 13 p. (2020).
MSC:  68Q25 68Q27 68Wxx
PDFBibTeX XMLCite
Full Text: DOI

On the parameterized approximability of contraction to classes of chordal graphs. (English) Zbl 07758353

Byrka, Jarosław (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 23rd international conference, APPROX 2020, and 24th international conference, RANDOM 2020, August 17–19, 2020, Virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 176, Article 51, 19 p. (2020).
MSC:  68W20 68W25 90C27
PDFBibTeX XMLCite
Full Text: DOI

Multilevel typed graph transformations. (English) Zbl 1502.68161

Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 163-182 (2020).
MSC:  68Q42 18A30 18B99
PDFBibTeX XMLCite
Full Text: DOI arXiv

Dual parameterization of weighted coloring. (English) Zbl 1520.68106

Paul, Christophe (ed.) et al., 13th international symposium on parameterized and exact computation, IPEC 2018, August 22–24, 2018, Helsinki, Finland. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 115, Article 12, 14 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

Constructing constraint-preserving interaction schemes in adhesive categories. (English) Zbl 1444.68086

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 139-153 (2019).
MSC:  68Q42 18A30
PDFBibTeX XMLCite
Full Text: DOI

GTED: graph traversal edit distance. (English) Zbl 1510.92087

Raphael, Benjamin J. (ed.), Research in computational molecular biology. 22nd annual international conference, RECOMB 2018, Paris, France, April 21–24, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10812, 37-53 (2018).
PDFBibTeX XMLCite
Full Text: DOI

How much does a treedepth modulator help to obtain polynomial kernels beyond sparse graphs? (English) Zbl 1443.68071

Lokshtanov, Daniel (ed.) et al., 12th international symposium on parameterized and exact computation, IPEC 2017, Vienna, Austria, September 6–8, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 89, Article 10, 13 p. (2018).
MSC:  68Q27 68Q17 68R10
PDFBibTeX XMLCite
Full Text: DOI

On the essence of parallel independence for the double-pushout and sesqui-pushout approaches. (English) Zbl 1383.68042

Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 1-18 (2018).
MSC:  68Q42 18A30 68Q65
PDFBibTeX XMLCite
Full Text: DOI Link

Effectiveness of representation and length variation of shortest paths in graph classification. (English) Zbl 1498.68263

Shankar, B. Uma (ed.) et al., Pattern recognition and machine intelligence. 7th international conference, PReMI 2017, Kolkata, India, December 5–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10597, 509-516 (2017).
MSC:  68T05 68R10
PDFBibTeX XMLCite
Full Text: DOI

Geometric modeling: consistency preservation using two-layered variable substitutions. (English) Zbl 1425.68423

de Lara, Juan (ed.) et al., Graph transformation. 10th international conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10373, 36-53 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Generalizing Erdős, Moon and Moser’s result – the number of \(k\)-dominating independent sets. (English) Zbl 1378.05156

Drmota, Michael (ed.) et al., Extended abstracts of the ninth European conference on combinatorics, graph theory and applications, EuroComb 2017, Vienna, Austria, August 28 – September 1, 2017. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 61, 909-915 (2017).
MSC:  05C69 05B25 05C76
PDFBibTeX XMLCite
Full Text: DOI

Parameterized algorithms on perfect graphs for deletion to \((r,\ell)\)-graphs. (English) Zbl 1398.68248

Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 75, 13 p. (2016).
MSC:  68Q25 05C85 68R10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Polynomial kernels for deletion to classes of acyclic digraphs. (English) Zbl 1380.68230

Ollinger, Nicolas (ed.) et al., 33rd symposium on theoretical aspects of computer science, STACS 2016, Orléans, France, February 17–20, 2016. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-001-9). LIPIcs – Leibniz International Proceedings in Informatics 47, Article 55, 13 p. (2016).
MSC:  68Q25 05C20 68R10
PDFBibTeX XMLCite
Full Text: DOI

kProbLog: an algebraic Prolog for kernel programming. (English) Zbl 1347.68290

Inoue, Katsumi (ed.) et al., Inductive logic programming. 25th international conference, ILP 2015, Kyoto, Japan, August 20–22, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-40565-0/pbk; 978-3-319-40566-7/ebook). Lecture Notes in Computer Science 9575. Lecture Notes in Artificial Intelligence, 152-165 (2016).
MSC:  68T05 68N17
PDFBibTeX XMLCite
Full Text: DOI Link

Bidimensionality and parameterized algorithms (invited talk). (English) Zbl 1378.68096

Husfeldt, Thore (ed.) et al., 10th international symposium on parameterized and exact computation, IPEC 2015, Patras, Greece, September 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-92-7). LIPIcs – Leibniz International Proceedings in Informatics 43, 1-16 (2015).
MSC:  68Q25 68R10 68W05
PDFBibTeX XMLCite
Full Text: DOI

Parameterized algorithms for deletion to \((r,\ell)\)-graphs. (English) Zbl 1366.68368

Harsha, Prahladh (ed.) et al., 35th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2015, Bangalore, India, December 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-97-2). LIPIcs – Leibniz International Proceedings in Informatics 45, 420-433 (2015).
MSC:  68W25 68Q25 68R10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Explicit linear kernels via dynamic programming. (English) Zbl 1359.68132

Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 312-324 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Transformation and refinement of rigid structures. (English) Zbl 1425.68157

Giese, Holger (ed.) et al., Graph transformation. 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8571, 146-160 (2014).
PDFBibTeX XMLCite
Full Text: DOI Link

Linear kernels and single-exponential algorithms via protrusion decompositions. (English) Zbl 1336.68201

Fomin, Fedor V. (ed.) et al., Automata, languages, and programming. 40th international colloquium, ICALP 2013, Riga, Latvia, July 8–12, 2013, Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-39205-4/pbk). Lecture Notes in Computer Science 7965, 613-624 (2013).
MSC:  68R10 05C85 68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

A quantum Jensen-Shannon graph kernel using the continuous-time quantum walk. (English) Zbl 1382.68160

Kropatsch, Walter G. (ed.) et al., Graph-based representations in pattern recognition. 9th IAPR-TC-15 international workshop, GbRPR 2013, Vienna, Austria, May 15–17, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38220-8/pbk). Lecture Notes in Computer Science 7877, 121-131 (2013).
MSC:  68R10 81P45
PDFBibTeX XMLCite
Full Text: DOI Link

A continuous-time quantum walk kernel for unattributed graphs. (English) Zbl 1374.68474

Kropatsch, Walter G. (ed.) et al., Graph-based representations in pattern recognition. 9th IAPR-TC-15 international workshop, GbRPR 2013, Vienna, Austria, May 15–17, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38220-8/pbk). Lecture Notes in Computer Science 7877, 101-110 (2013).
PDFBibTeX XMLCite
Full Text: DOI Link

Resistance boundaries of infinite networks. (English) Zbl 1223.05175

Lenz, Daniel (ed.) et al., Random walks, boundaries and spectra. Proceedings of the workshop on boundaries, Graz, Austria, June 29–July 3, 2009 and the Alp-workshop, Sankt Kathrein, Austria, July 4–5, 2009. Basel: Birkhäuser (ISBN 978-3-0346-0243-3/hbk; 978-3-0346-0244-0/ebook). Progress in Probability 64, 111-142 (2011).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Kernels for feedback arc set in tournaments. (English) Zbl 1248.68235

Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15–17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPIcs – Leibniz International Proceedings in Informatics 4, 37-47, electronic only (2009).
MSC:  68Q25 05C20 05C85
PDFBibTeX XMLCite
Full Text: DOI Link

Categorical foundations of distributed graph transformation. (English) Zbl 1157.68039

Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 215-229 (2006).
MSC:  68Q42 18A10 18A30 18E15 68R10
PDFBibTeX XMLCite
Full Text: DOI

Contractible coherence spaces and maximal maps. (English) Zbl 0935.18001

Brookes, Stephen (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 20, electronic paper No. 18 (1999).
PDFBibTeX XMLCite
Full Text: Link

Spatial and temporal refinement of typed graph transformation systems. (English) Zbl 0910.18001

Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 553-561 (1998).
PDFBibTeX XMLCite

A category-theoretical approach to vertex replacement: the generation of infinite graphs. (English) Zbl 1412.68098

Cuny, J. (ed.) et al., Graph grammars and their application to computer science. 5th international workshop, Williamsburg, VA, USA, November 13–18, 1994. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1073, 27-37 (1996).
MSC:  68Q42 18A30
PDFBibTeX XMLCite
Full Text: DOI

Single pushout transformations of equationally defined graph structures with applications to actor systems. (English) Zbl 1494.68114

Schneider, Hans Jürgen (ed.) et al., Graph transformations in computer science. International Workshop, Dagstuhl Castle, Germany, January 4–8, 1993. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 776, 234-247 (1994).
PDFBibTeX XMLCite
Full Text: DOI

Relational structures and their partial morphisms in view of single pushout rewriting. (English) Zbl 1494.68113

Schneider, Hans Jürgen (ed.) et al., Graph transformations in computer science. International Workshop, Dagstuhl Castle, Germany, January 4–8, 1993. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 776, 218-233 (1994).
MSC:  68Q42 18A30 68R10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software