Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Timothy M. Chan |
A Simpler Linear-Time Algorithm for Intersecting Two Convex Polyhedra in Three Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCG ![In: 31st International Symposium on Computational Geometry, SoCG 2015, June 22-25, 2015, Eindhoven, The Netherlands, pp. 733-738, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-83-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Dadush, Nicolai Hähnle |
On the Shadow Simplex Method for Curved Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCG ![In: 31st International Symposium on Computational Geometry, SoCG 2015, June 22-25, 2015, Eindhoven, The Netherlands, pp. 345-359, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-83-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Ngoc Anh Nguyen, Sorin Olaru, Pedro Rodríguez-Ayerbe |
Inverse parametric linear/quadratic programming problem for continuous PWA functions defined on polyhedral partitions of polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015, pp. 5920-5925, 2015, IEEE, 978-1-4799-7886-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Willem Hagemann, Eike Möhlmann |
Inscribing H-Polyhedra in Quadrics Using a Projective Generalization of Closed Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 27th Canadian Conference on Computational Geometry, CCCG 2015, Kingston, Ontario, Canada, August 10-12, 2015, 2015, Queen's University, Ontario, Canada. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Sylvain Boulmé, Alexandre Maréchal |
Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings, pp. 100-116, 2015, Springer, 978-3-319-22101-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | William Robson Schwartz, Pedro Jussieu de Rezende, Hélio Pedrini |
Faster Approximations of Shortest Geodesic Paths on Polyhedra Through Adaptive Priority Queue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISAPP (1) ![In: VISAPP 2015 - Proceedings of the 10th International Conference on Computer Vision Theory and Applications, Volume 1, Berlin, Germany, 11-14 March, 2015., pp. 371-378, 2015, SciTePress, 978-989-758-089-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Alexis Fouilhé |
Revisiting the abstract domain of polyhedra : constraints-only representation and formal proof. (Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
14 | Yohann Benchetrit |
Propriétés géométriques du nombre chromatique : polyèdres, structures et algorithmes. (Geometric properties of the chromatic number : polyhedra, structure and algorithms). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
14 | Ryan Kaplan, Joseph Klobusický, Shivendra Pandey, David H. Gracias, Govind Menon |
Building Polyhedra by Self-Assembly: Theory and Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Life ![In: Artif. Life 20(4), pp. 409-439, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Guilherme Kunigami, Pedro J. de Rezende, Cid C. de Souza, Tallys H. Yunes |
Optimizing the Layout of Proportional Symbol Maps: Polyhedra and Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORMS J. Comput. ![In: INFORMS J. Comput. 26(2), pp. 199-207, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Gianluca Amato, Francesca Scozzari, Enea Zaffanella |
Efficient Constraint/Generator Removal from Double Description of Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD ![In: Fifth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2014, Munich, Germany, September 10, 2014, pp. 3-15, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | David Bremner, Mathieu Dutour Sikiric, Dmitrii V. Pasechnik, Thomas Rehn, Achill Schürmann |
Computing symmetry groups of polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 17(1), pp. 565-581, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Joseph O'Rourke, Costin Vîlcu |
Development of curves on polyhedra via conical existence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 47(2), pp. 149-163, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Giovanni Viglietta |
Face-guarding polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 47(8), pp. 833-846, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Erik D. Demaine, Martin L. Demaine, Jin-ichi Itoh, Anna Lubiw, Chie Nara, Joseph O'Rourke |
Reprint of: Refold rigidity of convex polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 47(3), pp. 507-517, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Y. Sudhakar, José Paulo Moitinho de Almeida, Wolfgang A. Wall |
An accurate, robust, and easy-to-implement method for integration over arbitrary polyhedra: Application to embedded interface methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 273, pp. 393-415, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Martin Costabel, Monique Dauge, Serge Nicaise |
Weighted analytic regularity in polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 67(4), pp. 807-817, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Mirela Damian, Erik D. Demaine, Robin Y. Flatland |
Unfolding Orthogonal Polyhedra with Quadratic Refinement: The Delta-Unfolding Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 30(1), pp. 125-140, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Jesse Alama |
Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.0882, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Arne C. Reimers, Leen Stougie |
A decomposition theory for vertex enumeration of convex polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.5584, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Daniel Dadush, Nicolai Hähnle |
On the Shadow Simplex Method for Curved Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1412.6705, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Yuri N. Sotskov, Natalja G. Egorova |
Stability polyhedra of optimal permutation of jobs servicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Remote. Control. ![In: Autom. Remote. Control. 75(7), pp. 1267-1282, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Michele Conforti, Alberto Del Pia |
Disjunctive programming and relaxations of polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 144(1-2), pp. 307-314, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Dirk Oliver Theis |
On the facial structure of Symmetric and Graphical Traveling Salesman Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Optim. ![In: Discret. Optim. 12, pp. 10-25, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Satoru Fujishige |
Bisubmodular polyhedra, simplicial divisions, and discrete convexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Optim. ![In: Discret. Optim. 12, pp. 115-120, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Elisha Sacks, Victor Milenkovic |
Robust cascading of operations on polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 46, pp. 216-220, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | David Eppstein, Elena Mumford |
Steinitz Theorems for Simple Orthogonal Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Geom. ![In: J. Comput. Geom. 5(1), pp. 179-244, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Nicolas Bonifas, Marco Di Summa, Friedrich Eisenbrand, Nicolai Hähnle, Martin Niemeier |
On Sub-determinants and the Diameter of Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 52(1), pp. 102-115, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Alexander A. Gaifullin |
Generalization of Sabitov's Theorem to Polyhedra of Arbitrary Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 52(2), pp. 195-220, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Yulia Kempner, Vadim E. Levit |
Poly-antimatroid polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Math. Contemp. ![In: Ars Math. Contemp. 7(1), pp. 73-82, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Thomas F. Allen, Elon Rimon, Joel W. Burdick |
Two-finger caging of 3D polyhedra using contact space search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, May 31 - June 7, 2014, pp. 2005-2012, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Zachary Abel, Erik D. Demaine, Martin L. Demaine, Jin-ichi Itoh, Anna Lubiw, Chie Nara, Joseph O'Rourke |
Continuously Flattening Polyhedra Using Straight Skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCG ![In: 30th Annual Symposium on Computational Geometry, SoCG'14, Kyoto, Japan, June 08 - 11, 2014, pp. 396, 2014, ACM, 978-1-4503-2594-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Gabriela R. Argiroffo, Silvia M. Bianchi, Annegret Wagler |
Study of Identifying Code Polyhedra for Some Families of Split Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCO ![In: Combinatorial Optimization - Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected Papers, pp. 13-25, 2014, Springer, 978-3-319-09173-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Fidel Barrera-Cruz, Therese Biedl, Martin Derka, Stephen Kiazyk, Anna Lubiw, Hamideh Vosoughpour |
Turning Orthogonally Convex Polyhedra into Orthoballs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 26th Canadian Conference on Computational Geometry, CCCG 2014, Halifax, Nova Scotia, Canada, 2014, 2014, Carleton University, Ottawa, Canada. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Meng-Huan Liou, Sheung-Hung Poon, Yu-Jie Wei |
On Edge-Unfolding One-Layer Lattice Polyhedra with Cubic Holes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics - 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings, pp. 251-262, 2014, Springer, 978-3-319-08782-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ibrahima Diarrassouba, Hakan Kutucu, Ali Ridha Mahjoub |
Two Node-Disjoint 3-Hop-Constrained Survivable Network Design and Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 41, pp. 551-558, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Gabriela R. Argiroffo, Silvia M. Bianchi, Annegret Katrin Wagler |
Polyhedra associated with identifying codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 44, pp. 175-180, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Masud Hasan |
On fixed size projection of simplicial polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 113(22-24), pp. 882-887, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Hernán G. Abeledo, Ricardo Fukasawa, Artur Alves Pessoa, Eduardo Uchoa |
The time dependent traveling salesman problem: polyhedra and algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. Comput. ![In: Math. Program. Comput. 5(1), pp. 27-55, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Dominik Schötzau, Christoph Schwab, Thomas P. Wihler |
hp-DGFEM for Second Order Elliptic Problems in Polyhedra II: Exponential Convergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 51(4), pp. 2005-2035, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Dominik Schötzau, Christoph Schwab, Thomas P. Wihler |
hp-dGFEM for Second-Order Elliptic Problems in Polyhedra I: Stability on Geometric Meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 51(3), pp. 1610-1633, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ricardo Andrade, Ernesto G. Birgin |
Symmetry-breaking constraints for packing identical rectangles within polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 7(2), pp. 375-405, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Wolfgang Thaller, Ulrich Krispel, René Zmugg, Sven Havemann, Dieter W. Fellner |
Shape grammars on convex polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. ![In: Comput. Graph. 37(6), pp. 707-717, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Erik D. Demaine, Martin L. Demaine, Jin-ichi Itoh, Anna Lubiw, Chie Nara, Joseph O'Rourke |
Refold rigidity of convex polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 46(8), pp. 979-989, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Jesús A. De Loera, Brandon E. Dutra, Matthias Köppe, S. Moreinis, G. Pinto, J. Wu |
Software for exact integration of polynomials over polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 46(3), pp. 232-252, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Alexis Fouilhé, David Monniaux, Michaël Périn |
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.0864, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Therese Biedl, Martin Derka, Stephen Kiazyk, Anna Lubiw, Hamideh Vosoughpour |
Dihedral angles and orthogonal polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.6824, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Giovanni Viglietta |
Face-Guarding Polyhedra ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1305.2866, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Luis Barba, Stefan Langerman |
Detecting intersections between convex polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.1001, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Anna Galluccio, Claudio Gentile, Paolo Ventura |
22-clique-bond of stable set polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 161(13-14), pp. 1988-2000, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Sangho Shim, Ellis L. Johnson |
Cyclic group blocking polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 138(1-2), pp. 273-307, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Manfred Padberg |
The rank of (mixed-) integer polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 137(1-2), pp. 593-599, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Károly Bezdek |
Globally Rigid Ball-Polyhedra in Euclidean 3-Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Sci. ![In: Transactions on Computational Science XX - Special Issue on Voronoi Diagrams and Their Applications, pp. 158-169, 2013, Springer, 978-3-642-41904-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Songgang Xu, John Keyser |
Fast and robust Booleans on polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 45(2), pp. 529-534, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Károly Bezdek, Márton Naszódi |
Rigid Ball-Polyhedra in Euclidean 3-Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 49(2), pp. 189-199, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Xavier Allamigeon, Stéphane Gaubert, Eric Goubault |
Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 49(2), pp. 247-279, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Gábor Gévay, Jörg M. Wills |
On regular and equivelar Leonardo polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Math. Contemp. ![In: Ars Math. Contemp. 6(1), pp. 1-11, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Xavier Allamigeon, Ricardo Katz |
Minimal external representations of tropical polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 120(4), pp. 907-940, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Takashi Horiyama, Wataru Shoji |
The Number of Different Unfoldings of Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation - 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings, pp. 623-633, 2013, Springer, 978-3-642-45029-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Jin-ichi Itoh, Chie Nara |
Transformability and Reversibility of Unfoldings of Doubly-Covered Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDCGG ![In: Discrete and Computational Geometry and Graphs - 16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers, pp. 77-86, 2013, Springer, 978-3-319-13286-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ramakrishna Upadrasta, Albert Cohen 0001 |
Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 483-496, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Massimo Benerecetti, Marco Faella |
Tracking differentiable trajectories across polyhedra boundaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 193-202, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Francisco Santos |
Recent progress on the combinatorial diameter of polyhedra and simplicial complexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCG ![In: Symposium on Computational Geometry 2013, SoCG '13, Rio de Janeiro, Brazil, June 17-20, 2013, pp. 165-166, 2013, ACM, 978-1-4503-2031-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Alexis Fouilhé, David Monniaux, Michaël Périn |
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings, pp. 345-365, 2013, Springer, 978-3-642-38855-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Giovanni Viglietta |
Face-Guarding Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 25th Canadian Conference on Computational Geometry, CCCG 2013, Waterloo, Ontario, Canada, August 8-10, 2013, 2013, Carleton University, Ottawa, Canada. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Yassamine Seladji, Olivier Bouissou |
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings, pp. 149-168, 2013, Springer, 978-3-642-35872-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Pedro Company, P. A. C. Varley, Raquel Plumed |
An Algorithm for Grouping Lines Which Converge to Vanishing Points in Perspective Sketches of Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GREC ![In: Graphics Recognition. Current Trends and Challenges - 10th International Workshop, GREC 2013, Bethlehem, PA, USA, August 20-21, 2013, Revised Selected Papers, pp. 77-95, 2013, Springer, 978-3-662-44853-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Raouia Taktak |
Survavibility in Multilayer Networks : models and Polyhedra. (Sécurisation de réseaux multicouches : modèles et polyèdres). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
14 | Ramakrishna Upadrasta |
Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra. (Compilation sous-polyédrique reposant sur des systèmes à deux variables par inégalité). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
14 | Giovanni Viglietta |
Guarding and Searching Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
14 | Marianne Akian, Stéphane Gaubert, Alexander E. Guterman |
Tropical Polyhedra are Equivalent to mean Payoff Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 22(1), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Alain Quilliot, Hélène Toussaint |
Flow Polyhedra and Resource Constrained Project Scheduling Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Oper. Res. ![In: RAIRO Oper. Res. 46(4), pp. 373-409, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Velleda Baldoni, Nicole Berline, Jesús A. De Loera, Matthias Köppe, Michèle Vergne |
Computation of the Highest Coefficients of Weighted Ehrhart Quasi-polynomials of Rational Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 12(4), pp. 435-469, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Tomás Kroupa |
States in Łukasiewicz logic correspond to probabilities of rational polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 53(4), pp. 435-446, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Susumu Onaka |
Superspheres: Intermediate Shapes between Spheres and Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 4(3), pp. 336-343, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Egon Schulte, Jörg M. Wills |
Convex-Faced Combinatorially Regular Polyhedra of Small Genus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 4(1), pp. 1-14, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Gabe Cunningham |
Self-Dual, Self-Petrie Covers of Regular Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 4(1), pp. 208-218, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Akiyoshi Shioura |
Neighbor Systems, Jump Systems, and Bisubmodular Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 26(1), pp. 114-144, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Eryk Kopczynski, Igor Pak, Piotr Przytycki |
Acute triangulations of polyhedra and ℝ N. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 32(1), pp. 85-110, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
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) |
4OR ![In: 4OR 10(3), pp. 221-244, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Kolpakov |
Deformation of finite-volume hyperbolic Coxeter polyhedra, limiting growth rates and Pisot numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 33(8), pp. 1709-1724, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Herminia I. Calvete, Carmen Galé, Stephan Dempe, Sebastian Lohse |
Bilevel problems over polyhedra with extreme point optimal solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 53(3), pp. 573-586, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Giovanni Viglietta |
Guarding and Searching Polyhedra ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1211.2483, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Jin-ichi Itoh, Joseph O'Rourke, Costin Vîlcu |
Source Unfoldings of Convex Polyhedra via Certain Closed Curves ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1205.0963, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Agostinho Agra, Miguel Fragoso Constantino |
Mixing polyhedra with two non divisible coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 135(1-2), pp. 45-87, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Sanjeeb Dash, Santanu S. Dey, Oktay Günlük |
Two dimensional lattice-free cuts and asymmetric disjunctions for mixed-integer polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 135(1-2), pp. 221-254, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Johnny Guzmán, Dmitriy Leykekhman |
Pointwise error estimates of finite element approximations to the Stokes problem on convex polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 81(280), pp. 1879-1902, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Ya-Ping Fang, Nan-Jing Huang, Xiaoqi Yang 0001 |
Local Smooth Representations of Parametric Semiclosed Polyhedra with Applications to Sensitivity in Piecewise Linear Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 155(3), pp. 810-839, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Herng Yi Cheng, Kang Hao Cheong |
Designing crease patterns for polyhedra by composing right frusta. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 44(4), pp. 331-342, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Giovanni Viglietta |
Searching Polyhedra by rotating half-Planes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Geom. Appl. ![In: Int. J. Comput. Geom. Appl. 22(3), pp. 243-, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Dion Gijswijt, Guus Regts |
Polyhedra with the Integer Carathéodory Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 102(1), pp. 62-70, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Károly Bezdek, Márton Naszódi |
Rigidity of Ball-polyhedra via Truncated Voronoi and Delaunay Complexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVD ![In: Ninth International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2012, New Brunswick, NJ, USA, June 27-29, 2012, pp. 75-79, 2012, IEEE Computer Society, 978-1-4673-1910-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Nicolas Bonifas, Marco Di Summa, Friedrich Eisenbrand, Nicolai Hähnle, Martin Niemeier |
On sub-determinants and the diameter of polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 28th ACM Symposium on Computational Geometry, Chapel Hill, NC, USA, June 17-20, 2012, pp. 357-362, 2012, ACM, 978-1-4503-1299-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Bernard Boigelot, Julien Brusten, Jean-François Degbomont |
Automata-Based Symbolic Representations of Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings, pp. 3-20, 2012, Springer, 978-3-642-28331-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Salvatore Ruggieri |
Deciding Membership in a Class of Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012, pp. 702-707, 2012, IOS Press, 978-1-61499-097-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Chun Chen 0002 |
Polyhedra scanning revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012, pp. 499-508, 2012, ACM, 978-1-4503-1205-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Braxton Carrigan, András Bezdek |
Tiling Polyhedra with Tetrahedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 24th Canadian Conference on Computational Geometry, CCCG 2012, Charlottetown, Prince Edward Island, Canada, August 8-10, 2012, pp. 217-222, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Javier Cano, Csaba D. Tóth, Jorge Urrutia |
Edge Guards for Polyhedra in 3-Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 24th Canadian Conference on Computational Geometry, CCCG 2012, Charlottetown, Prince Edward Island, Canada, August 8-10, 2012, pp. 155-160, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Mikael Call |
Shortest Path Routing Modelling, Infeasibility and Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
14 | |
Polyhedra Scanning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Parallel Computing ![In: Encyclopedia of Parallel Computing, pp. 1581, 2011, Springer, 978-0-387-09765-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|