Robert Bellarmine Krug
From MaRDI portal
Person:2802934
Available identifiers
zbMath Open krug.robert-bellarmineMaRDI QIDQ2802934
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 | 2017-07-13 | Paper |
| On the Total Number of Bends for Planar Octilinear Drawings | 2016-05-03 | Paper |
| Planar octilinear drawings with one bend per edge | 2016-01-07 | Paper |
| Slanted orthogonal drawings: model, algorithms and evaluations | 2015-01-15 | Paper |
| Planar octilinear drawings with one bend per edge | 2015-01-07 | Paper |
| Slanted orthogonal drawings | 2013-12-20 | Paper |
| Linear and nonlinear arithmetic in ACL2 | 2010-02-05 | Paper |
| Meta Reasoning in ACL2 | 2006-07-06 | Paper |
Research outcomes over time
This page was built for person: Robert Bellarmine Krug
