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 |
| Correct Hardware Design and Verification Methods | 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
