Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Hang Si, Nadja Goerigk |
On tetrahedralisations of generalised Chazelle polyhedra with interior Steiner points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 103, pp. 61-72, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Hang Si, Nadja Goerigk |
Generalised Bagemihl polyhedra and a tight bound on the number of interior Steiner points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 103, pp. 92-102, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Tamás Király |
Base polyhedra and the linking property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 36(3), pp. 671-677, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Anna Becchi, Enea Zaffanella |
A Direct Encoding for NNC Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, pp. 230-248, 2018, Springer, 978-3-319-96144-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Bernard Boigelot, Isabelle Mainz |
Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 284-299, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Alexey Bakhirkin, David Monniaux |
Extending Constraint-Only Representation of Polyhedra with Boolean Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings, pp. 127-145, 2018, Springer, 978-3-319-99724-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Anna Becchi, Enea Zaffanella |
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings, pp. 146-165, 2018, Springer, 978-3-319-99724-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Luis Garcia, Andres Gutierrez, Isaac Ruiz, Andrew Winslow |
Vertex Unfoldings of Orthogonal Polyhedra: Positive, Negative, and Inconclusive Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 30th Canadian Conference on Computational Geometry, CCCG 2018, August 8-10, 2018, University of Manitoba, Winnipeg, Manitoba, Canada, pp. 217-222, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Khaled M. Elbassioni, Kazuhisa Makino |
Enumerating Vertices of 0/1-Polyhedra associated with 0/1-Totally Unimodular Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 16th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2018, June 18-20, 2018, Malmö, Sweden, pp. 18:1-18:14, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-068-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Maria J. de la Puente, Pedro L. Claveria |
Volume of Alcoved Polyhedra and Mahler Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018, pp. 319-326, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Björn Beber |
Improving interpolants of non-convex polyhedra with linear arithmetic and probably approximatley correct learning for bounded linear arrangements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
14 | Sanjeeb Dash, Oktay Günlük, Diego A. Morán R. |
On the Polyhedrality of Closures of Multibranch Split Sets and Other Polyhedra with Bounded Max-Facet-Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 27(3), pp. 1340-1361, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Enea Zaffanella |
On the Efficiency of Convex Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS 2017, New York City, NY, USA, August 29, 2017, pp. 31-44, 2017, Elsevier. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Kazuki Matsubara, Chie Nara |
Continuous Flattening of α-Trapezoidal Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 25, pp. 554-558, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Rui-Juan Jing, Marc Moreno Maza |
The polyhedra library in maple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 51(3), pp. 86-88, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Nazife Ozdes Koca, Mehmet Koca |
Regular and Irregular Chiral Polyhedra from Coxeter Diagrams via Quaternions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 9(8), pp. 148, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | András Lengyel, Zsolt Gáspár, Tibor Tarnai |
The Roundest Polyhedra with Symmetry Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 9(3), pp. 41, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Mirela Damian, Erik D. Demaine, Robin Y. Flatland, Joseph O'Rourke |
Unfolding Genus-2 Orthogonal Polyhedra with Linear Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 33(5), pp. 1357-1379, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Khaled M. Elbassioni, Kazuhisa Makino |
Enumerating Vertices of $0/1$-Polyhedra associated with $0/1$-Totally Unimodular Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.03914, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Xavier Allamigeon, Ricardo D. Katz |
A formalization of convex polyhedra based on the simplex method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.10269, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Clément Ballabriga, Julien Forget, Giuseppe Lipari |
Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.07257, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Giuseppe Sellaroli |
An algorithm to reconstruct convex polyhedra from their face normals and areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.00825, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Giovanni Viglietta |
Optimally Guarding 2-Reflex Orthogonal Polyhedra by Reflex Edge Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1708.05469, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Anna Becchi, Enea Zaffanella |
A Conversion Procedure for NNC Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.09593, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Gennadiy Averkov, Jan Krümpelmann, Stefan Weltge |
Notions of Maximality for Integral Lattice-Free Polyhedra: The Case of Dimension Three. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Oper. Res. ![In: Math. Oper. Res. 42(4), pp. 1035-1062, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Ranita Biswas, Partha Bhowmick, Valentin E. Brimkov |
On the polyhedra of graceful spheres and circular geodesics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 216, pp. 362-375, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Buyang Li, Weiwei Sun 0002 |
Maximal Lp analysis of finite element solutions for parabolic equations with nonsmooth coefficients in convex polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 86(305), pp. 1071-1102, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Yi-Jun Chang, Hsu-Chun Yen |
Improved Algorithms for Grid-Unfolding Orthogonal Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Geom. Appl. ![In: Int. J. Comput. Geom. Appl. 27(1-2), pp. 33-56, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Leonardo Manuel Cabrer, Luca Spada |
MV-algebras, infinite dimensional polyhedra, and natural dualities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 56(1-2), pp. 21-42, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Undine Leopold |
Vertex-Transitive Polyhedra of Higher Genus, I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 57(1), pp. 125-151, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Viet Hung Nguyen, Michel Minoux, Dang Phuong Nguyen |
Reduced-size formulations for metric and cut polyhedra in sparse graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networks ![In: Networks 69(1), pp. 142-150, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Jurij Kovic |
Classification of convex polyhedra by their rotational orbit Euler characteristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Math. Contemp. ![In: Ars Math. Contemp. 13(1), pp. 23-30, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Yan Gerard |
About the Decidability of Polyhedral Separability in the Lattice ℤd - Recognizing Digital Polyhedra with a Prescribed Number of Faces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Imaging Vis. ![In: J. Math. Imaging Vis. 59(1), pp. 52-68, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Gennadiy Averkov, Amitabh Basu, Joseph Paat |
Approximation of Corner Polyhedra with Families of Intersection Cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization - 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings, pp. 51-62, 2017, Springer, 978-3-319-59249-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Danny Nguyen, Igor Pak |
Enumeration of Integer Points in Projections of Unbounded Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization - 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings, pp. 417-429, 2017, Springer, 978-3-319-59249-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Adrian Godde, Anne Remke |
Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Computer Performance Engineering - 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings, pp. 101-116, 2017, Springer, 978-3-319-66582-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Gagandeep Singh 0001, Markus Püschel, Martin T. Vechev |
Fast polyhedra abstract domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, pp. 46-59, 2017, ACM, 978-1-4503-4660-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Silun Zhang, Fenghua He, Yiguang Hong, Xiaoming Hu 0001 |
Intrinsic formation control of regular polyhedra for reduced attitudes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017, pp. 1002-1007, 2017, IEEE, 978-1-5090-2873-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Alexandre Maréchal, David Monniaux, Michaël Périn |
Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings, pp. 212-231, 2017, Springer, 978-3-319-66705-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Sriram Sankaranarayanan 0001, Mohamed Amin Ben Sassi |
Template Polyhedra with a Twist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings, pp. 321-341, 2017, Springer, 978-3-319-66705-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger |
Counterexample-Guided Refinement of Template Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I, pp. 589-606, 2017, 978-3-662-54576-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Israel Aldana-Galván, Jose Luis Álvarez-Rebollar, Juan C. Catana-Salazar, Nestaly Marín-Nevárez, Erick Solís-Villarreal, Jorge Urrutia, Carlos Velarde |
Beacon Coverage in Orthogonal Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 29th Canadian Conference on Computational Geometry, CCCG 2017, July 26-28, 2017, Carleton University, Ottawa, Ontario, Canada, pp. 156-161, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Yan Gérard |
Recognition of Digital Polyhedra with a Fixed Number of Faces Is Decidable in Dimension 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery - 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19-21, 2017, Proceedings, pp. 279-290, 2017, Springer, 978-3-319-66271-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Xavier Allamigeon, Ricardo D. Katz |
A Formalization of Convex Polyhedra Based on the Simplex Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings, pp. 28-45, 2017, Springer, 978-3-319-66106-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Alexandre Maréchal, Michaël Périn |
Efficient Elimination of Redundancies in Polyhedra by Raytracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings, pp. 367-385, 2017, Springer, 978-3-319-52233-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Kuan-Yi Ho, Yi-Jun Chang, Hsu-Chun Yen |
Unfolding Some Classes of Orthogonal Polyhedra of Arbitrary Genus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics - 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings, pp. 275-286, 2017, Springer, 978-3-319-62388-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Youcef Magnouche |
The multi-terminal vertex separator problem : Complexity, Polyhedra and Algorithms. (Le problème du séparateur de poids minimum : Complexité, Polyèdres et Algorithmes). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
14 | Meriem Mahjoub |
The Survivable Network Design Problems with High Node-Connectivity Constraints : Polyhedra and Algorithms. (Conception de réseaux fiables avec fortes contraintes de sommet-connexité : Étude polyédrale et Algorithmes). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
14 | Viet Hung Nguyen, Michel Minoux, Dang Phuong Nguyen |
Improved compact formulations for metric and cut polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 52, pp. 125-132, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Ian Gambini, Laurent Vuillon |
Tiling the Space by Polycube Analogues of Fedorov's Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 146(2), pp. 197-209, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Emily R. Russell, Govind Menon |
Energy Landscapes for the Self-Assembly of Supramolecular Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Nonlinear Sci. ![In: J. Nonlinear Sci. 26(3), pp. 663-681, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Del Pia, Robert Weismantel |
Relaxations of mixed integer sets from lattice-free polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 240(1), pp. 95-117, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Amal Benhamiche, Ali Ridha Mahjoub, Nancy Perrot, Eduardo Uchoa |
Unsplittable non-additive capacitated network design using set functions polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Oper. Res. ![In: Comput. Oper. Res. 66, pp. 105-115, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Ramon Carbó-Dorca |
Aromaticity, quantum multimolecular polyhedra, and quantum QSPR fundamental equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 37(1), pp. 78-82, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Géza Csima, Jeno Szirmai |
Isoptic surfaces of polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Geom. Des. ![In: Comput. Aided Geom. Des. 47, pp. 55-60, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Stan Schein, Alexander J. Yeh, Kris Coolsaet, James M. Gayed |
Decoration of the Truncated Tetrahedron - An Archimedean Polyhedron - To Produce a New Class of Convex Equilateral Polyhedra with Tetrahedral Symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 8(8), pp. 82, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Pellicer |
Regular and Chiral Polyhedra in Euclidean Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 8(11), pp. 115, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Cassio Alves, Federico Iacovelli, Mattia Falconi, Francesca Cardamone, Blasco Morozzo della Rocca, Cristiano L. P. de Oliveira, Alessandro Desideri |
A Simple and Fast Semiautomatic Procedure for the Atomistic Modeling of Complex DNA Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 56(5), pp. 941-949, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Luis Rademacher, Alejandro Toriello, Juan Pablo Vielma |
On packing and covering polyhedra in infinite dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. Lett. ![In: Oper. Res. Lett. 44(2), pp. 225-230, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Aleksandr Yu. Chirkov, Nikolai Yu. Zolotykh |
On the Number of Irreducible Points in Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 32(5), pp. 1789-1803, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Danny Nguyen, Igor Pak |
Enumeration of integer points in projections of unbounded polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.08030, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Mirela Damian, Erik D. Demaine, Robin Y. Flatland, Joseph O'Rourke |
Unfolding Genus-2 Orthogonal Polyhedra with Linear Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.00106, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Jin Akiyama, Stefan Langerman, Kiyoko Matsunaga |
Reversible Nets of Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.00538, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Joseph O'Rourke |
Unfolding Convex Polyhedra via Radially Monotone Cut Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.07421, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Ralph E. Gomory |
Origin and early evolution of corner polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 253(3), pp. 543-556, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Manoel B. Campêlo, Alexandre S. Freire, Karla Roberta Lima, Phablo F. S. Moura, Yoshiko Wakabayashi |
The convex recoloring problem: polyhedra, facets and computational experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 156(1-2), pp. 303-330, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Steffen Borgwardt, Elisabeth Finhold, Raymond Hemmecke |
Quadratic diameter bounds for dual network flow polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 159(1-2), pp. 237-251, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Gabriela R. Argiroffo, Silvia M. Bianchi, Annegret Wagler |
Progress on the description of identifying code polyhedra for some families of split graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Optim. ![In: Discret. Optim. 22, pp. 225-240, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Dominik Schötzau, Christoph Schwab, Thomas P. Wihler |
hp-dGFEM for second-order mixed elliptic problems in polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 85(299), pp. 1051-1083, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Guilin Liu, Zhonghua Xi, Jyh-Ming Lien |
Nearly convex segmentation of polyhedra through convex ridge separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 78, pp. 137-146, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Michiel H. M. Smid, Prosenjit Bose, Paz Carmi, Mirela Damian, Jean-Lou De Carufel, Darryl Hill, Anil Maheshwari, Yuyang Liu |
On the stretch factor of convex polyhedra whose vertices are (almost) on a sphere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Geom. ![In: J. Comput. Geom. 7(1), pp. 444-472, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Egon Schulte, Abigail Williams |
Wythoffian Skeletal Polyhedra in Ordinary Space, I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 56(3), pp. 657-692, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Dadush, Nicolai Hähnle |
On the Shadow Simplex Method for Curved Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 56(4), pp. 882-909, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Timothy M. Chan |
A Simpler Linear-Time Algorithm for Intersecting Two Convex Polyhedra in Three Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 56(4), pp. 860-865, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Maël Pavón |
Injective Convex Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 56(3), pp. 592-630, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Ibrahima Diarrassouba, Hakan Kutucu, Ali Ridha Mahjoub |
Two node-disjoint hop-constrained survivable network design and polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networks ![In: Networks 67(4), pp. 316-337, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Robert Hildebrand, Robert Weismantel, Kevin Zemmer |
An FPTAS for Minimizing Indefinite Quadratic Forms over Integers in Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016, Arlington, VA, USA, January 10-12, 2016, pp. 1715-1723, 2016, SIAM, 978-1-61197-433-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Israel Aldana-Galván, Jose Luis Álvarez-Rebollar, Juan Carlos Catana-Salazar, Mazay Jimenez-Salinas, Erick Solis-Villarreal, Jorge Urrutia |
Minimizing the Solid Angle Sum of Orthogonal Polyhedra and Guarding them with π/2-Edge Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 28th Canadian Conference on Computational Geometry, CCCG 2016, August 3-5, 2016, Simon Fraser University, Vancouver, British Columbia, Canada, pp. 175-181, 2016, Simon Fraser University, Vancouver, British Columbia, Canada. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Yan Gérard |
Recognition of Digital Polyhedra with a Fixed Number of Faces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery - 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings, pp. 415-426, 2016, Springer, 978-3-319-32359-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Rafael S. Coelho, Phablo F. S. Moura, Yoshiko Wakabayashi |
The k-hop connected dominating set problem: hardness and polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 50, pp. 59-64, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Nicolin Govender, Daniel N. Wilke, Schalk Kok |
Collision detection of convex polyhedra on the NVIDIA GPU architecture for the discrete element method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 267, pp. 810-829, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Steffen Borgwardt, Elisabeth Finhold, Raymond Hemmecke |
On the Circuit Diameter of Dual Transportation Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 29(1), pp. 113-121, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Giovanni Viglietta |
Reprint of: Face-guarding polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 48(5), pp. 415-428, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Justin Lloyd, Elena Sherman |
Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 40(1), pp. 1-5, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Moritz Firsching |
Computing Maximal Copies of Polyhedra Contained in a Polyhedron. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 24(1), pp. 98-105, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Vivette Girault, Ricardo H. Nochetto, L. Ridgway Scott |
Max-norm estimates for Stokes and Navier-Stokes approximations in convex polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerische Mathematik ![In: Numerische Mathematik 131(4), pp. 771-822, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Joseph O'Rourke |
Spiral Unfoldings of Convex Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1509.00321, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Prosenjit Bose, Paz Carmi, Mirela Damian, Jean-Lou De Carufel, Darryl Hill, Anil Maheshwari, Yuyang Liu, Michiel H. M. Smid |
On the Stretch Factor of Convex Polyhedra whose Vertices are (Almost) on a Sphere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1507.06856, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Muhibur Rasheed, Chandrajit L. Bajaj |
Characterization and Construction of a Family of Highly Symmetric Spherical Polyhedra with Application in Modeling Self-Assembling Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1507.08374, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Willem Hagemann |
Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 9(3), pp. 283-325, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Santanu S. Dey, Marco Molinaro 0001, Qianyi Wang |
Approximating polyhedra with sparse inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 154(1-2), pp. 329-352, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Gennadiy Averkov, Amitabh Basu |
Lifting properties of maximal lattice-free polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 154(1-2), pp. 81-111, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Tobias Grosser, Sven Verdoolaege, Albert Cohen 0001 |
Polyhedral AST Generation Is More Than Scanning Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 37(4), pp. 12:1-12:50, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Walid Ben-Ameur, Mohamed-Ahmed Mohamed-Sidi, José Neto |
The $$k$$ k -separator problem: polyhedra, complexity and approximation results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 29(1), pp. 276-307, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Yi-Jun Chang, Hsu-Chun Yen |
Unfolding Orthogonal Polyhedra with Linear Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation - 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings, pp. 415-425, 2015, Springer, 978-3-662-48970-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Luis Barba, Stefan Langerman |
Optimal detection of intersections between convex polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015, pp. 1641-1654, 2015, SIAM, 978-1-61197-374-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Zhonghua Xi, Jyh-Ming Lien |
Continuous unfolding of polyhedra - a motion planning approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2015, Hamburg, Germany, September 28 - October 2, 2015, pp. 3249-3254, 2015, IEEE, 978-1-4799-9994-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Alberti, David Monniaux |
Polyhedra to the rescue of array interpolants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, pp. 1745-1750, 2015, ACM, 978-1-4503-3196-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jin Akiyama, Stefan Langerman, Kiyoko Matsunaga |
Reversible Nets of Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDCGG ![In: Discrete and Computational Geometry and Graphs - 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers, pp. 13-23, 2015, Springer, 978-3-319-48531-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Erik D. Demaine, Martin L. Demaine, Jin-ichi Itoh, Chie Nara |
Continuous Flattening of Orthogonal Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDCGG ![In: Discrete and Computational Geometry and Graphs - 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers, pp. 85-93, 2015, Springer, 978-3-319-48531-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|