Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
204 | Howard Joy Strauss |
HyperMaps: telling your users where to go. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 18th Annual ACM SIGUCCS Conference on User Services, Cincinnati, Ohio, USA, September 30 - October 03, 1990, pp. 377-390, 1990, ACM, 0-89791-406-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
82 | Jean-François Dufourd |
A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 757-761, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Coq system, Euler's formula, computer-aided proofs, computer-aided proofs in computational topology, genus theorem, hypermaps, formal specifications, subdivisions |
57 | Jean-François Dufourd |
An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 43(1), pp. 19-51, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Computer-aided proofs, Coq system, Combinatorial hypermaps, Discrete Jordan Curve Theorem, Formal specifications, Computational topology, Planar subdivisions |
56 | Pascal Lienhardt |
Extension of the Notion of Map and Subdivisions of a Three-Dimensional Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings, pp. 301-311, 1988, Springer, 3-540-18834-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
hypermaps, V-maps, representation of polyhedra, Graphs, maps, computational topology |
26 | Andrea Lucchini, Pablo Spiga |
Hypermaps Over Non-Abelian Simple Groups and Strongly Symmetric Generating Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 30(3), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Kai Yuan, Yan Wang |
Classification of minimal Frobenius hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Math. Contemp. ![In: Ars Math. Contemp. 23(2), November 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Christian Doczkal |
A Variant of Wagner's Theorem Based on Combinatorial Hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)., pp. 17:1-17:17, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-188-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Gareth Aneurin Jones |
Automorphism groups of maps, hypermaps and dessins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Art Discret. Appl. Math. ![In: Art Discret. Appl. Math. 3(1), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Laura Ciobanu, Alexander Kolpakov |
Free subgroups of free products and combinatorial hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 342(5), pp. 1415-1433, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Alain Giorgetti, Timothy R. S. Walsh |
Enumeration of hypermaps of a given genus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Math. Contemp. ![In: Ars Math. Contemp. 15(1), pp. 225-266, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Shaofei Du, Xinyuan Hu |
A classification of primer hypermaps with a product of two primes number of hyperfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 62, pp. 245-262, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Hirokatsu Kataoka, Soma Shirakabe, Yudai Miyashita, Akio Nakamura, Kenji Iwata, Yutaka Satoh |
Semantic Change Detection with Hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.07513, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Antonio Breda d'Azevedo, Maria Elisa Fernandes |
Classification of the regular oriented hypermaps with prime number of hyperfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Math. Contemp. ![In: Ars Math. Contemp. 10(1), pp. 193-209, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Timothy R. Walsh |
Space-Efficient Generation of Nonisomorphic Maps and Hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Integer Seq. ![In: J. Integer Seq. 18(4), pp. 15.4.3, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
26 | Antonio Breda d'Azevedo, Domenico Antonino Catalano, Rui Duarte |
Regular pseudo-oriented maps and hypermaps of low genus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 338(6), pp. 895-921, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Gareth Aneurin Jones |
Chiral covers of hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Math. Contemp. ![In: Ars Math. Contemp. 8(2), pp. 425-431, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Breda d'Azevedo, Ilda Inácio Rodrigues |
Bicontactual Regular Hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 28(1), pp. 142-159, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Wenjie Fang |
A generalization of the quadrangulation relation to constellations and hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 127, pp. 1-21, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Jaeun Lee, Young Soo Kwon |
Cayley hypergraphs and Cayley hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 313(4), pp. 540-549, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Rui Duarte |
Constructions of Bipartite and Bipartite-regular Hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 19(4), pp. 2, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Christophe Brun, Jean-François Dufourd, Nicolas Magaud |
Designing and proving correct a convex hull algorithm with hypermaps in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 45(8), pp. 436-457, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Leonardo Cangelmi |
A Riemann-Roch theorem for hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 33(7), pp. 1444-1448, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Gareth A. Jones |
Hypermaps and multiply quasiplatonic Riemann surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 33(7), pp. 1588-1605, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Pinto |
Duality on hypermaps with symmetric or alternating monodromy group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Math. Contemp. ![In: Ars Math. Contemp. 5(2), pp. 259-267, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Breda d'Azevedo, Maria Elisa Fernandes |
Classification of primer hypermaps with a prime number of hyperfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 32(2), pp. 233-242, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Pinto |
The duality index of oriented regular hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 32(8), pp. 1236-1243, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Gareth A. Jones, Daniel Pinto |
Infinitely many Hypermaps of a given Type and Genus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 17(1), 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Alexander D. Mednykh, Roman Nedela |
Enumeration of unrooted hypermaps of a given genus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 310(3), pp. 518-526, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Breda d'Azevedo |
Riemann surfaces and restrictively-marked hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Math. Contemp. ![In: Ars Math. Contemp. 3(1), pp. 87-98, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Robert Cori |
Hypermaps and indecomposable permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 30(2), pp. 540-541, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Marston D. E. Conder |
Regular maps and hypermaps of Euler characteristic -1 to -200. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 99(2), pp. 455-459, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Robert Cori |
Indecomposable permutations, hypermaps and labeled Dyck paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 116(8), pp. 1326-1343, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Jean-François Dufourd |
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0802.2853, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
26 | David Singerman, Jürgen Wolfart |
Cayley graphs, Cori hypermaps, and dessins d'enfants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Math. Contemp. ![In: Ars Math. Contemp. 1(2), pp. 144-153, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Martin Macaj, Jozef Sirán, Mária Ipolyiová |
Injectivity radius of representations of triangle groups and planar width of regular hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Math. Contemp. ![In: Ars Math. Contemp. 1(2), pp. 223-241, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Gareth Aneurin Jones |
Exotic behaviour of infinite hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Math. Contemp. ![In: Ars Math. Contemp. 1(1), pp. 51-65, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Jean-François Dufourd |
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings, pp. 253-264, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Alexander D. Mednykh, Roman Nedela |
Enumeration of unrooted hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 28, pp. 207-214, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Breda d'Azevedo, Rui Duarte |
Bipartite-Uniform Hypermaps on the Sphere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 14(1), 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Jean-François Dufourd |
Design and formal proof of a new optimal image segmentation program with hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 40(11), pp. 2974-2993, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Breda d'Azevedo, Roman Nedela |
Half-arc-transitive graphs and chiral hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 25(3), pp. 423-436, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Steve Wilson, Antonio Breda d'Azevedo |
Surfaces having no regular hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 277(1-3), pp. 241-274, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Didier Arquès, Anne Micheli |
A generalization of the language of ukasiewicz coding rooted planar hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 307(2), pp. 221-239, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | David B. Surowski |
Liftings of automorphisms of hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 215, pp. 213-224, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | David M. Jackson 0001, Terry I. Visentin |
A Combinatorial Relationship between Eulerian Maps and Hypermaps in Orientable Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 87(1), pp. 120-150, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Agnès Voisard |
Abduction and Deduction in Geologic Hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: Advances in Spatial Databases, 6th International Symposium, SSD'99, Hong Kong, China, July 20-23, 1999, Proceedings, pp. 311-329, 1999, Springer, 3-540-66247-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Agnès Voisard |
Geologic Hypermaps are More Than Clickable Maps! ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-GIS ![In: ACM-GIS '98, Proceedings of the 6th international symposium on Advances in Geographic Information Systems, November 6-7, 1998, Washington, DC, USA, pp. 14-19, 1998, ACM. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Laurence Bessis |
Harvey-Wiman hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 157(1-3), pp. 39-52, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Laurence Bessis |
Fixed points of induced automorphisms of hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 153(1-3), pp. 41-46, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Laurence Bessis |
Induced Automorphisms and P-Elliptic hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 5(6), pp. 603-614, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Milagros Izquierdo, David Singerman |
Hypermaps on Surfaces with Boundary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 15(2), pp. 159-172, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Yves Bertrand, Jean-François Dufourd |
Algebraic Specification of a 3D-Modeler Based on Hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVGIP Graph. Model. Image Process. ![In: CVGIP Graph. Model. Image Process. 56(1), pp. 29-60, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Jean-François Dufourd |
Formal specification of topological subdivisions using hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 23(2), pp. 99-116, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Leo Cacciari |
A Riemann-Hurwitz Formula for Hypermaps Congruences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 10(5), pp. 419-425, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | David Corn, David Singerman |
Regular Hypermaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 9(4), pp. 337-351, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
26 | Lynne D. James |
Operations on Hypermaps, and Outer Automorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 9(6), pp. 551-560, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Patrice Ossona de Mendez, Pierre Rosenstiehl |
Transitivity And Connectivity Of Permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 24(3), pp. 487-501, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 05A19, 05C30 |
25 | Éric Sopena |
Combinatorial Hypermap Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 2nd International Conference, RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings, pp. 62-73, 1987, Springer, 3-540-17220-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|