Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
204 | Howard Joy Strauss |
HyperMaps: telling your users where to go. |
SIGUCCS |
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. |
SAC |
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. |
J. Autom. Reason. |
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. |
STACS |
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. |
Electron. J. Comb. |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Kai Yuan, Yan Wang |
Classification of minimal Frobenius hypermaps. |
Ars Math. Contemp. |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Christian Doczkal |
A Variant of Wagner's Theorem Based on Combinatorial Hypermaps. |
ITP |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Gareth Aneurin Jones |
Automorphism groups of maps, hypermaps and dessins. |
Art Discret. Appl. Math. |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Laura Ciobanu, Alexander Kolpakov |
Free subgroups of free products and combinatorial hypermaps. |
Discret. Math. |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Alain Giorgetti, Timothy R. S. Walsh |
Enumeration of hypermaps of a given genus. |
Ars Math. Contemp. |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Shaofei Du, Xinyuan Hu |
A classification of primer hypermaps with a product of two primes number of hyperfaces. |
Eur. J. Comb. |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Hirokatsu Kataoka, Soma Shirakabe, Yudai Miyashita, Akio Nakamura, Kenji Iwata, Yutaka Satoh |
Semantic Change Detection with Hypermaps. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
26 | Antonio Breda d'Azevedo, Maria Elisa Fernandes |
Classification of the regular oriented hypermaps with prime number of hyperfaces. |
Ars Math. Contemp. |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Timothy R. Walsh |
Space-Efficient Generation of Nonisomorphic Maps and Hypermaps. |
J. Integer Seq. |
2015 |
DBLP BibTeX RDF |
|
26 | Antonio Breda d'Azevedo, Domenico Antonino Catalano, Rui Duarte |
Regular pseudo-oriented maps and hypermaps of low genus. |
Discret. Math. |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Gareth Aneurin Jones |
Chiral covers of hypermaps. |
Ars Math. Contemp. |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Breda d'Azevedo, Ilda Inácio Rodrigues |
Bicontactual Regular Hypermaps. |
SIAM J. Discret. Math. |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Wenjie Fang |
A generalization of the quadrangulation relation to constellations and hypermaps. |
J. Comb. Theory, Ser. A |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Jaeun Lee, Young Soo Kwon |
Cayley hypergraphs and Cayley hypermaps. |
Discret. Math. |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Rui Duarte |
Constructions of Bipartite and Bipartite-regular Hypermaps. |
Electron. J. Comb. |
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. |
Comput. Geom. |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Leonardo Cangelmi |
A Riemann-Roch theorem for hypermaps. |
Eur. J. Comb. |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Gareth A. Jones |
Hypermaps and multiply quasiplatonic Riemann surfaces. |
Eur. J. Comb. |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Pinto |
Duality on hypermaps with symmetric or alternating monodromy group. |
Ars Math. Contemp. |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Breda d'Azevedo, Maria Elisa Fernandes |
Classification of primer hypermaps with a prime number of hyperfaces. |
Eur. J. Comb. |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Pinto |
The duality index of oriented regular hypermaps. |
Eur. J. Comb. |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Gareth A. Jones, Daniel Pinto |
Infinitely many Hypermaps of a given Type and Genus. |
Electron. J. Comb. |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Alexander D. Mednykh, Roman Nedela |
Enumeration of unrooted hypermaps of a given genus. |
Discret. Math. |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Breda d'Azevedo |
Riemann surfaces and restrictively-marked hypermaps. |
Ars Math. Contemp. |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Robert Cori |
Hypermaps and indecomposable permutations. |
Eur. J. Comb. |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Marston D. E. Conder |
Regular maps and hypermaps of Euler characteristic -1 to -200. |
J. Comb. Theory, Ser. B |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Robert Cori |
Indecomposable permutations, hypermaps and labeled Dyck paths. |
J. Comb. Theory, Ser. A |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Jean-François Dufourd |
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps |
CoRR |
2008 |
DBLP BibTeX RDF |
|
26 | David Singerman, Jürgen Wolfart |
Cayley graphs, Cori hypermaps, and dessins d'enfants. |
Ars Math. Contemp. |
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. |
Ars Math. Contemp. |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Gareth Aneurin Jones |
Exotic behaviour of infinite hypermaps. |
Ars Math. Contemp. |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Jean-François Dufourd |
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Alexander D. Mednykh, Roman Nedela |
Enumeration of unrooted hypermaps. |
Electron. Notes Discret. Math. |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Breda d'Azevedo, Rui Duarte |
Bipartite-Uniform Hypermaps on the Sphere. |
Electron. J. Comb. |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Jean-François Dufourd |
Design and formal proof of a new optimal image segmentation program with hypermaps. |
Pattern Recognit. |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Breda d'Azevedo, Roman Nedela |
Half-arc-transitive graphs and chiral hypermaps. |
Eur. J. Comb. |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Steve Wilson, Antonio Breda d'Azevedo |
Surfaces having no regular hypermaps. |
Discret. Math. |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Didier Arquès, Anne Micheli |
A generalization of the language of ukasiewicz coding rooted planar hypermaps. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
26 | David B. Surowski |
Liftings of automorphisms of hypermaps. |
Discret. Math. |
2000 |
DBLP DOI BibTeX RDF |
|
26 | David M. Jackson 0001, Terry I. Visentin |
A Combinatorial Relationship between Eulerian Maps and Hypermaps in Orientable Surfaces. |
J. Comb. Theory, Ser. A |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Agnès Voisard |
Abduction and Deduction in Geologic Hypermaps. |
SSD |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Agnès Voisard |
Geologic Hypermaps are More Than Clickable Maps! |
ACM-GIS |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Laurence Bessis |
Harvey-Wiman hypermaps. |
Discret. Math. |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Laurence Bessis |
Fixed points of induced automorphisms of hypermaps. |
Discret. Math. |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Laurence Bessis |
Induced Automorphisms and P-Elliptic hypermaps. |
Int. J. Algebra Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Milagros Izquierdo, David Singerman |
Hypermaps on Surfaces with Boundary. |
Eur. J. Comb. |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Yves Bertrand, Jean-François Dufourd |
Algebraic Specification of a 3D-Modeler Based on Hypermaps. |
CVGIP Graph. Model. Image Process. |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Jean-François Dufourd |
Formal specification of topological subdivisions using hypermaps. |
Comput. Aided Des. |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Leo Cacciari |
A Riemann-Hurwitz Formula for Hypermaps Congruences. |
Eur. J. Comb. |
1989 |
DBLP DOI BibTeX RDF |
|
26 | David Corn, David Singerman |
Regular Hypermaps. |
Eur. J. Comb. |
1988 |
DBLP DOI BibTeX RDF |
|
26 | Lynne D. James |
Operations on Hypermaps, and Outer Automorphisms. |
Eur. J. Comb. |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Patrice Ossona de Mendez, Pierre Rosenstiehl |
Transitivity And Connectivity Of Permutations. |
Comb. |
2004 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 05A19, 05C30 |
25 | Éric Sopena |
Combinatorial Hypermap Rewriting. |
RTA |
1987 |
DBLP DOI BibTeX RDF |
|