×

Found 29 Documents (Results 1–29)

On a verification framework for certifying distributed algorithms: distributed checking and consistency. (English) Zbl 1508.68080

Baier, Christel (ed.) et al., Formal techniques for distributed objects, components, and systems. 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10854, 161-180 (2018).
MSC:  68N30 68W15
PDFBibTeX XMLCite
Full Text: DOI

Rainbow vertex coloring bipartite graphs and chordal graphs. (English) Zbl 1512.05139

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 83, 13 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

A Lex-BFS-based recognition algorithm for Robinsonian matrices. (English) Zbl 1383.68067

Paschos, Vangelis Th. (ed.) et al., Algorithms and complexity. 9th international conference, CIAC 2015, Paris, France, May 20–22, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-18172-1/pbk; 978-3-319-18173-8/ebook). Lecture Notes in Computer Science 9079, 325-338 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A new representation of proper interval graphs with an application to clique-width. (English) Zbl 1267.05176

Koster, Arie (ed.) et al., DIMAP workshop on algorithmic graph theory. Extended abstracts from the workshop held at the University of Warwick, Coventry, UK, March 23–25, 2009. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 32, 27-34 (2009).
MSC:  05C62 05C12
PDFBibTeX XMLCite
Full Text: DOI

Random generation and enumeration of proper interval graphs. (English) Zbl 1211.68291

Das, Sandip (ed.) et al., WALCOM: Algorithms and computation. Third international workshop, WALCOM 2009, Kolkata, India, February 18–20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00201-4/pbk). Lecture Notes in Computer Science 5431, 177-189 (2009).
MSC:  68R10 05C30 05C85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software