Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
98 | Manuela Sobral |
Descent for Discrete (Co)fibrations. |
Appl. Categorical Struct. |
2004 |
DBLP DOI BibTeX RDF |
descent data, (effective) descent morphisms, (co)fibrations, discrete (co)fibrations, lax epimorphisms |
91 | Peter T. Johnstone |
Fibrations and partial products in a 2-category. |
Appl. Categorical Struct. |
1993 |
DBLP DOI BibTeX RDF |
partial product, Fibration, 2-category |
69 | Claudio Hermida |
Descent on 2-Fibrations and Strongly 2-Regular 2-Categories. |
Appl. Categorical Struct. |
2004 |
DBLP DOI BibTeX RDF |
2-fibration, effective descent, essentially-surjective-on-objects, pseudo-monadicity |
51 | John Power, Edmund Robinson |
Logical relations, data abstraction, and structured fibrations. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
cartesian closed fibrations, linear ?-calculus, interpretations, ?-calculus, logical relations |
50 | Talip Can Termen, Ozgur Ege |
Digital h-Fibrations and Some New Results on Digital Fibrations. |
Axioms |
2024 |
DBLP DOI BibTeX RDF |
|
47 | Ulrich Fahrenberg |
A Category of Higher-Dimensional Automata. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
Higher-dimensional automata, open maps, directed topology, bisimulation, fibrations |
47 | Brian P. Dunphy, Uday S. Reddy |
Parametric Limits. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
Parametric polymorphism, Relational Parametricity, Categorical models, Fibrations |
47 | John Power, Edmund Robinson |
Logical Relations and Data Abstraction. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
cartesian closed fibrations, interpretations, lambda calculus, logical relations |
47 | Ronald D. Baker, Gary L. Ebert, Tim Penttila |
Hyperbolic Fibrations and q-Clans. |
Des. Codes Cryptogr. |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Maria Emilia Maietti, Valeria de Paiva, Eike Ritter |
Categorical Models for Intuitionistic and Linear Type Theory. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Razvan Diaconescu |
Grothendieck Institutions. |
Appl. Categorical Struct. |
2002 |
DBLP DOI BibTeX RDF |
indexed categories, Grothendieck construction, algebraic specification, institutions, fibrations |
26 | Paolo Boldi, Sebastiano Vigna |
Universal dynamic synchronous self-stabilization. |
Distributed Comput. |
2002 |
DBLP DOI BibTeX RDF |
Graph fibrations, Self-stabilization, Synchronous systems, Anonymous networks |
26 | Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely |
A Hyperdoctrinal View of Concurrent Constraint Programming. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
hyperdoctrines, constraint programs, asynchronous systems, closure operators, fibrations |
25 | Jonathan Gorard |
Applied Category Theory in the Wolfram Language using Categorica I: Diagrams, Functors and Fibrations. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Filippo Bonchi, Barbara König 0001, Daniela Petrisan |
Up-to techniques for behavioural metrics via fibrations. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Alejandro Aguirre 0001, Shin-ya Katsumata, Satoshi Kura 0001 |
Weakest preconditions in fibrations. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Fernando Abellán García, Walker H. Stern |
2-Cartesian Fibrations I: A Model for ∞-Bicategories Fibred in ∞-Bicategories. |
Appl. Categorical Struct. |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Jonathan Weinberger |
Two-sided cartesian fibrations of synthetic (∞, 1)-categories. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini |
A characterisation of elementary fibrations. |
Ann. Pure Appl. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Andrea Guidolin, Ana Romero 0001 |
Computing Higher Leray-Serre Spectral Sequences of Towers of Fibrations. |
Found. Comput. Math. |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini |
Elementary fibrations of enriched groupoids. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Miguel, Andrea Guidolin, Ana Romero 0001, Julio Rubio 0001 |
Constructing new spectral systems from simplicial fibrations. |
ACM Commun. Comput. Algebra |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Anson Bastos, Kuldeep Singh 0001, Abhishek Nadgeri, Saeedeh Shekarpour, Isaiah Onando Mulang', Johannes Hoffart |
HopfE: Knowledge Graph Representation Learning using Inverse Hopf Fibrations. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
25 | Anson Bastos, Kuldeep Singh 0001, Abhishek Nadgeri, Saeedeh Shekarpour, Isaiah Onando Mulang', Johannes Hoffart |
HopfE: Knowledge Graph Representation Learning using Inverse Hopf Fibrations. |
CIKM |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Susmit Bagchi |
Topological Analysis of Fibrations in Multidimensional (C, R) Space. |
Symmetry |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Benno van den Berg, Eric Faber |
Effective Kan fibrations in simplicial sets. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
25 | Alejandro Aguirre 0001, Shin-ya Katsumata |
Weakest Preconditions in Fibrations. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Bert Jüttler, Sofia Maroscheck, Myung-Soo Kim, Q. Youn Hong |
Arc fibrations of planar domains. |
Comput. Aided Geom. Des. |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Ana Romero 0001, Julio Rubio 0001, Francis Sergeraert |
An implementation of effective homotopy of fibrations. |
J. Symb. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Henning Basold |
Coinduction in Flow: The Later Modality in Fibrations. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Damiano Mazza, Luc Pellissier, Pierre Vial |
Polyadic approximations, fibrations and intersection types. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Pierre-Alain Jacqmin, Sandra Mantovani, Giuseppe Metere, Enrico M. Vitale |
On Fibrations Between Internal Groupoids and Their Normalizations. |
Appl. Categorical Struct. |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Henning Basold |
Breaking the Loop: Recursive Proofs for Coinductive Predicates in Fibrations. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
25 | Filippo Bonchi, Barbara König 0001, Daniela Petrisan |
Up-To Techniques for Behavioural Metrics via Fibrations. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
25 | Igor Krylov |
Birational geometry of del Pezzo fibrations with terminal quotient singularities. |
J. Lond. Math. Soc. |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Filippo Bonchi, Barbara König 0001, Daniela Petrisan |
Up-To Techniques for Behavioural Metrics via Fibrations. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Edouard Balzin |
Derived Sections of Grothendieck Fibrations and the Problems of Homotopical Algebra. |
Appl. Categorical Struct. |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Ruggero Pagnan |
Concrete Fibrations. |
Notre Dame J. Formal Log. |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Decheng Miao, Jianqing Xi, Xinsheng Liu, Jindian Su |
Fibrations理论在索引归纳数据类型不确定语义中的应用 (Applications of Fibrations Theory to Uncertainty Semantic Computation for Indexed Inductive Data Types). |
计算机科学 |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Decheng Miao, Jianqing Xi, Yubin Guo, Deyou Tang |
Inductive Data Types Based on Fibrations Theory in Programming. |
J. Comput. Inf. Technol. |
2016 |
DBLP BibTeX RDF |
|
25 | Nouf AlYamani, N. D. Gilbert, E. C. Miller |
Fibrations of Ordered Groupoids and the Factorization of Ordered Functors. |
Appl. Categorical Struct. |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Decheng Miao, Jianqing Xi, Jingguo Dai, Jindian Su |
程序语言中共归纳数据类型的一种fibrations方法 (Fibrations Method of Co-inductive Data Types in Programming). |
计算机科学 |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Fei Hu, JongHae Keum, De-Qi Zhang |
Criteria for the existence of equivariant fibrations on algebraic surfaces and hyperkähler manifolds and equality of automorphisms up to powers: a dynamical viewpoint. |
J. Lond. Math. Soc. |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Colin Riba |
Fibrations of Tree Automata. |
TLCA |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Michael Johnson, Robert D. Rosebrugh, Richard J. Wood |
Lenses, fibrations and universal translations. |
Math. Struct. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Ana Romero 0001, Francis Sergeraert |
Effective homotopy of fibrations. |
Appl. Algebra Eng. Commun. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
25 | José Ignacio Iglesias Curto, J. M. Muñoz Porras, Francisco J. Plaza Martín, G. Serrano Sotelo |
Convolutional Goppa codes defined on fibrations. |
Appl. Algebra Eng. Commun. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Hamid Ahmadinezhad |
On del Pezzo fibrations that are not birationally rigid. |
J. Lond. Math. Soc. |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Tibor Beke |
Fibrations of Simplicial Sets. |
Appl. Categorical Struct. |
2010 |
DBLP DOI BibTeX RDF |
|
25 | José Ignacio Iglesias Curto, J. M. Muñoz Porras, Francisco J. Plaza Martín, G. Serrano Sotelo |
Convolutional Goppa codes defined on fibrations |
CoRR |
2010 |
DBLP BibTeX RDF |
|
25 | Matthew R. Brown, Gary L. Ebert, Deirdre Luyckx |
On the geometry of regular hyperbolic fibrations. |
Eur. J. Comb. |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Michael Johnson, Robert D. Rosebrugh |
Fibrations and universal view updatability. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
25 | András I. Stipsicz, Zoltán Szabó, Ágnes Szilárd |
Singular Fibers in Elliptic Fibrations on the Rational Elliptic Surface. |
Period. Math. Hung. |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Deirdre Luyckx |
A Geometric Construction of the Hyperbolic Fibrations Associated with a Flock, q Even. |
Des. Codes Cryptogr. |
2006 |
DBLP DOI BibTeX RDF |
51E23, AMS Classification 51E20 |
25 | Paolo Boldi, Violetta Lonati, Massimo Santini 0001, Sebastiano Vigna |
Graph fibrations, graph isomorphism, and PageRank. |
RAIRO Theor. Informatics Appl. |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Rui Pacheco |
Twistor fibrations giving primitive harmonic maps of finite type. |
Int. J. Math. Math. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Hamidou Dathe, Philippe Rukimbira |
Fibrations and contact structures. |
Int. J. Math. Math. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Claudio Hermida, Paulo Mateus |
Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Toshihiro Yamaguchi |
On the genus of free loop fibrations over F0-spaces. |
Int. J. Math. Math. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
25 | François Lamarche |
Multiplicative Linear Logics and Fibrations. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Jesse Hughes, Bart Jacobs 0001 |
Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. |
CTCS |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Paolo Boldi, Sebastiano Vigna |
Fibrations of graphs. |
Discret. Math. |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Ronald D. Baker, Jeremy M. Dover, Gary L. Ebert, Kenneth L. Wantz |
Hyperbolic Fibrations of PG(3, q). |
Eur. J. Comb. |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Paolo Boldi, Sebastiano Vigna |
Good Fibrations and Other Construction Which Preserve Sense of Direction. |
SIROCCO |
1996 |
DBLP BibTeX RDF |
|
25 | Claudio Hermida, Bart Jacobs 0001 |
Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi. |
Math. Struct. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Richard Mijoule |
Fibrations and Recursivity. |
RAIRO Theor. Informatics Appl. |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Claudio Hermida |
Fibrations, logical predicates and indeterminates. |
|
1993 |
RDF |
|
25 | Eugene W. Stark |
Dataflow Networks are Fibrations. |
Category Theory and Computer Science |
1991 |
DBLP DOI BibTeX RDF |
|
25 | William C. Hoffman |
Some Reasons Why Algebraic Topology is Important in Neuropsychology: Perceptual and Cognitive Systems as Fibrations. |
Int. J. Man Mach. Stud. |
1985 |
DBLP DOI BibTeX RDF |
|
25 | Sara Hurvitz |
הגזע של מרחבים ושל סיכויים (The genus of spaces and fibrations.). |
|
1977 |
RDF |
|
22 | Steven Awodey, Florian Rabe 0001 |
Kripke Semantics for Martin-Löf's Extensional Type Theory. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Mark Weber |
Yoneda Structures from 2-toposes. |
Appl. Categorical Struct. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18A05, 18A15, 18B25, 18D05 |
22 | George Boiadjiev, Daniela Vassileva, Haruhisa Kawasaki, Tetsuya Mouri |
Sensibility Control of Redundant Robots: Position Control by Image Trajectories. |
CIMCA/IAWTIC |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Robert M. Colomb, Christopher N. G. Dampney, Michael Johnson |
Category-theoretic fibration as an abstraction mechanism in information systems. |
Acta Informatica |
2001 |
DBLP DOI BibTeX RDF |
|