Robert Bellarmine Krug

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the total number of bends for planar octilinear drawings Journal of Graph Algorithms and Applications	2017-07-13	Paper
On the Total Number of Bends for Planar Octilinear Drawings LATIN 2016: Theoretical Informatics	2016-05-03	Paper
Planar octilinear drawings with one bend per edge Journal of Graph Algorithms and Applications	2016-01-07	Paper
Slanted orthogonal drawings: model, algorithms and evaluations Journal of Graph Algorithms and Applications	2015-01-15	Paper
Planar octilinear drawings with one bend per edge Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications	2015-01-07	Paper
Slanted orthogonal drawings Graph Drawing	2013-12-20	Paper
Linear and nonlinear arithmetic in ACL2 Lecture Notes in Computer Science	2010-02-05	Paper
Meta Reasoning in ACL2 Lecture Notes in Computer Science	2006-07-06	Paper

Research outcomes over time

This page was built for person: Robert Bellarmine Krug