The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase (co)fibrations (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-2002 (19) 2004-2007 (16) 2009-2017 (15) 2018-2021 (17) 2022-2024 (7)
Publication types (Num. hits)
article(55) inproceedings(17) phdthesis(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 28 occurrences of 22 keywords

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