Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
125 | Laurentiu Leustean |
Sheaf representations of BL-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 9(12), pp. 897-909, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
109 | Antonio Di Nola, Laurentiu Leustean |
Compact representations of BL-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 42(8), pp. 737-761, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Basic logic, Sheaf representations, Gelfand duality, BL-algebras |
89 | Robert Cacioppo |
Recognition in a Distributed System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 11(5), pp. 447-471, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
sheaf, pattern recognition, knowledge representation |
68 | Sato Kentaro |
Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(2), pp. 295-324, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
general semantics of substructural logics, meta deduction relation, deductive filter, Stone’s sheaf representation, site, stalker, meaning of connectives, primeness |
50 | Hans Heymans, Isar Stubbe |
Modules on Involutive Quantales: Canonical Hilbert Structure, Applications to Sheaf Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 26(2), pp. 177-196, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Principal element, Principal symmetry, Sheaf, Module, Inner product, Quantale |
48 | Isar Stubbe |
Categorical Structures Enriched in a Quantaloid: Orders and Ideals over a Base Quantaloid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(3), pp. 235-255, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
quantaloid, ordered sheaf, enriched categorical structure, Cauchycompletion, locale, quantale |
48 | Vakhtang Lomadze |
Convolutional Codes and Coherent Sheaves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 12(4), pp. 273-326, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Sheaf, Exact sequence, Convolutional encoder, Noncatastrophicity, Linear sequential circuit, Hilbert function, Complexity, Observability, Formal language, Module, Convolutional code, Cohomology, Linear space |
43 | Steven Awodey, Andrej Bauer |
Sheaf toposes for realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(5), pp. 465-478, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03G30, 03D65 |
41 | Jean H. Gallier |
Proving Properties of Typed Lambda Terms: Realizability, Covers, and Sheaves (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings, pp. 136, 1993, Springer, 3-540-56868-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Olga Zaghen |
Nonlinear Sheaf Diffusion in Graph Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.00337, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Pavel Panteleev, Gleb Kalachev |
Maximally Extendable Sheaf Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.03651, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Kin Ian Lo, Mehrnoosh Sadrzadeh, Shane Mansfield |
Developments in Sheaf-Theoretic Models of Natural Language Ambiguities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.04505, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Antonio Purificato, Giulia Cassarà, Pietro Liò, Fabrizio Silvestri |
Sheaf Neural Networks for Graph-based Recommender Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.09097, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Iulia Duta, Giulia Cassarà, Fabrizio Silvestri, Pietro Liò |
Sheaf Hypergraph Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.17116, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Gabriele Cesa, Arash Behboodi |
Algebraic Topological Networks via the Persistent Local Homology Sheaf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.10156, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Arne Wolf, Anthea Monod |
Topological Community Detection: A Sheaf-Theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.05767, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Arne Wolf, Anthea Monod |
Topological Community Detection: A Sheaf-Theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPLEX NETWORKS (2) ![In: Complex Networks & Their Applications XII - Proceedings of The Twelfth International Conference on Complex Networks and their Applications: COMPLEX NETWORKS 2023, Menton, France, 28-30 November, 2023, Volume 2, pp. 29-42, 2023, Springer, 978-3-031-53498-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Ainkaran Santhirasekaram, Karen Pinto, Mathias Winkler, Andrea G. Rockall, Ben Glocker |
A Sheaf Theoretic Perspective for Robust Prostate Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (4) ![In: Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 - 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part IV, pp. 249-259, 2023, Springer, 978-3-031-43900-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Yash Kumar Atri, Arun Iyer, Tanmoy Chakraborty 0002, Vikram Goyal |
Promoting Topic Coherence and Inter-Document Consorts in Multi-Document Summarization via Simplicial Complex and Sheaf Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, EMNLP 2023, Singapore, December 6-10, 2023, pp. 2154-2166, 2023, Association for Computational Linguistics, 979-8-89176-060-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Iulia Duta, Giulia Cassarà, Fabrizio Silvestri, Pietro Lió |
Sheaf Hypergraph Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
23 | Thomas Gebhart, Jakob Hansen, Paul Schrater |
Knowledge Sheaves: A Sheaf-Theoretic Framework for Knowledge Graph Embedding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISTATS ![In: International Conference on Artificial Intelligence and Statistics, 25-27 April 2023, Palau de Congressos, Valencia, Spain., pp. 9094-9116, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
23 | Nicolas Berkouk |
On the (non-)stability of the sheaf-function correspondence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.06335, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Huarong Zhang, Dongsheng Zhao |
The sheaf representation of residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDT ![In: Proceedings of the 9th International Symposium on Domain Theory and Its Applications, ISDT 2022, Singapore, July 4-6, 2022, 2022, EpiSciences. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Anh-Duy Pham, Chuong Dinh Le, Hoang Viet Pham, Thinh Gia Tran, Dat Thanh Vo, Long Chau Tran, An Dinh Le, Hien Bich Vo |
Sheaf-theoretic self-filtering network of low-cost sensors for local air quality monitoring: A causal approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.14353, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jonathan Sterling, Robert Harper 0001 |
Sheaf semantics of termination-insensitive noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.09421, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Cristian Bodnar, Francesco Di Giovanni, Benjamin Paul Chamberlain, Pietro Liò, Michael M. Bronstein |
Neural Sheaf Diffusion: A Topological Perspective on Heterophily and Oversmoothing in GNNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.04579, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Kin Ian Lo, Mehrnoosh Sadrzadeh, Shane Mansfield |
A Model of Anaphoric Ambiguities using Sheaf Theoretic Quantum-like Contextuality and BERT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
E2ECOMPVEC@ESSLLI ![In: Proceedings End-to-End Compositional Models of Vector-Based Semantics, E2ECOMPVEC@ESSLLI 2022, NUI Galway, Ireland, 15-16 August 2022., pp. 23-34, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Shreya Arya, Justin Curry, Sayan Mukherjee 0001 |
A Sheaf-Theoretic Construction of Shape Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.09020, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Federico Barbero, Cristian Bodnar, Haitz Sáez de Ocáriz Borde, Michael M. Bronstein, Petar Velickovic, Pietro Liò |
Sheaf Neural Networks with Connection Laplacians. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.08702, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jonathan Sterling, Robert Harper 0001 |
Sheaf Semantics of Termination-Insensitive Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel., pp. 5:1-5:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-233-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Federico Barbero, Cristian Bodnar, Haitz Sáez de Ocáriz Borde, Michael M. Bronstein, Petar Velickovic, Pietro Liò |
Sheaf Neural Networks with Connection Laplacians. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAG-ML ![In: Topological, Algebraic and Geometric Learning Workshops 2022, 25-22 July 2022, Virtual, pp. 28-36, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Cristian Bodnar, Francesco Di Giovanni, Benjamin Paul Chamberlain, Pietro Lió, Michael M. Bronstein |
Neural Sheaf Diffusion: A Topological Perspective on Heterophily and Oversmoothing in GNNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022., 2022, 9781713871088. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Renita Murimi |
On the Design of Social Robots Using Sheaf Theory and Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Robotics AI ![In: Frontiers Robotics AI 8, pp. 559380, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Thierry Coquand, Fabian Ruch, Christian Sattler |
Constructive sheaf models of type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(9), pp. 979-1002, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | |
The Sheaf-Theoretic Structure of Definite Causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021., pp. 301-324, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Gebhart, Jakob Hansen, Paul Schrater |
Knowledge Sheaves: A Sheaf-Theoretic Framework for Knowledge Graph Embedding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.03789, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Antonio Di Nola, Giacomo Lenzi, Luca Spada |
Sheaf representations and locality of Riesz spaces with order unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Anal. ![In: J. Log. Anal. 13, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Adam Brown, Bei Wang 0001 |
Sheaf-Theoretic Stratification Learning from Geometric and Topological Perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 65(4), pp. 1166-1198, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Chuan-Shen Hu, Yu-Min Chung 0002 |
A Sheaf and Topology Approach to Detecting Local Merging Relations in Digital Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR Workshops ![In: IEEE Conference on Computer Vision and Pattern Recognition Workshops, CVPR Workshops 2021, virtual, June 19-25, 2021, pp. 4396-4405, 2021, Computer Vision Foundation / IEEE, 978-1-6654-4899-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Boaz Haberman |
Algebraic Theories and Commutativity in a Sheaf Topos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 28(2), pp. 287-322, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli |
A Compositional Sheaf-Theoretic Framework for Event-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 139-153, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Jakob Hansen, Thomas Gebhart |
Sheaf Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.06333, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Chuan-Shen Hu, Yu-Min Chung 0002 |
A Sheaf and Topology Approach to Generating Local Branch Numbers in Digital Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.13580, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli |
A Compositional Sheaf-Theoretic Framework for Event-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.04715, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Cliff A. Joslyn, Lauren Charles, Chris DePerno, Nicholas Gould, Kathleen Nowak, Brenda Praggastis, Emilie Purvine, Michael Robinson 0001, Jennifer Strules, Paul Whitney |
A Sheaf Theoretical Approach to Uncertainty Quantification of Heterogeneous Geolocation Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 20(12), pp. 3418, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Mehdi Benchoufi |
Microlocal sheaf theory for Radon transform. (Théorie microlocale des faisceaux pour la transformation Radon). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
23 | Nicolas Berkouk, Grégory Ginot, Steve Oudot |
Level-sets persistence and sheaf theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.09759, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Pyla Vamsi Sagar, M. Phani Krishna Kishore |
Sheaf Representation of an Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Rough Sets Data Anal. ![In: Int. J. Rough Sets Data Anal. 6(2), pp. 73-83, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Jakob Hansen, Robert Ghrist |
Learning Sheaf Laplacians from Smooth Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2019, Brighton, United Kingdom, May 12-17, 2019, pp. 5446-5450, 2019, IEEE, 978-1-4799-8131-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Jakob Hansen, Robert Ghrist |
Distributed Optimization with Sheaf Homological Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Allerton ![In: 57th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2019, Monticello, IL, USA, September 24-27, 2019, pp. 565-571, 2019, IEEE, 978-1-7281-3151-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Masaki Kashiwara, Pierre Schapira |
Persistent homology and microlocal sheaf theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Comput. Topol. ![In: J. Appl. Comput. Topol. 2(1-2), pp. 83-113, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Wlodek Zadrozny, Luciana Garbayo |
A Sheaf Model of Contradictions and Disagreements. Preliminary Report and Discussion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1801.09036, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Alberto Speranzon, David I. Spivak, Srivatsan Varadarajan |
Abstraction, Composition and Contracts: A Sheaf Theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.03080, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Adam Brown, Bei Wang 0001 |
Sheaf-Theoretic Stratification Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCG ![In: 34th International Symposium on Computational Geometry, SoCG 2018, June 11-14, 2018, Budapest, Hungary, pp. 14:1-14:14, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-066-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Seyed M.-H. Mansourbeigi |
Sheaf Theory as a Mathematical Foundation for Distributed Applications Involving Heterogeneous Data Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops ![In: 32nd International Conference on Advanced Information Networking and Applications Workshops, AINA 2018 workshops, Krakow, Poland, May 16-18, 2018, pp. 28-33, 2018, IEEE Computer Society, 978-1-5386-5395-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Wlodek Zadrozny, Luciana Garbayo |
A Sheaf Model of Contradictions and Disagreements. A (very) Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAIM ![In: International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018., 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Clovis Eberhart, Tom Hirschowitz, Thomas Seiller |
An intensionally fully-abstract sheaf model for π (expanded version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.06744, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | Adam Brown, Bei Wang 0001 |
Sheaf-Theoretic Stratification Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.07734, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | Fernando Tohmé, Gianluca Caterina, Rocco Gangle |
Local and global optima in decision-making: a sheaf-theoretical analysis of the difference between classical and behavioral approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 46(8), pp. 879-897, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Clovis Eberhart, Tom Hirschowitz, Thomas Seiller |
An intensionally fully-abstract sheaf model for π (expanded version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 13(4), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Justin Curry, Robert Ghrist, Vidit Nanda |
Discrete Morse Theory for Computing Cellular Sheaf Cohomology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 16(4), pp. 875-897, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Clovis Eberhart, Tom Hirschowitz, Thomas Seiller |
An Intensionally Fully-abstract Sheaf Model for pi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 86-100, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Atul Ingle, Tomy Varghese |
Three-Dimensional Sheaf of Ultrasound Planes Reconstruction (SOUPR) of Ablated Volumes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 33(8), pp. 1677-1688, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Nathanael Leedom Ackerman |
Sheaf Recursion and a Separation Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 79(3), pp. 882-907, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Shane Mansfield, Rui Soares Barbosa |
Extendability in the Sheaf-theoretic Approach: Construction of Bell Models from Kochen-Specker Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1402.4827, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Samson Abramsky, Mehrnoosh Sadrzadeh |
Semantic Unification A sheaf theoretic approach to natural language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1403.3351, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Bassel Mannaa, Thierry Coquand |
A Sheaf Model of the Algebraic Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CL&C ![In: Proceedings Fifth International Workshop on Classical Logic and Computation, CL&C 2014, Vienna, Austria, July 13, 2014., pp. 18-32, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Samson Abramsky, Mehrnoosh Sadrzadeh |
Semantic Unification - A Sheaf Theoretic Approach to Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 1-13, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Lawrence Peter Belluce, Antonio Di Nola, Anna R. Ferraioli |
MV-semirings and their Sheaf Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 30(1), pp. 165-179, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Marcin Wolski |
Toward Foundations of Near Sets: (Pre-)Sheaf Theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 7(1), pp. 125-136, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Antonio Di Nola, Anna R. Ferraioli, Giacomo Lenzi |
Algebraically closed MV-algebras and their sheaf representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 164(3), pp. 349-355, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Hanako Yamamoto, Daisuke Bekki |
First-Order Conditional Logic and Neighborhood-Sheaf Semantics for Analysis of Conditional Sentences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI-isAI Workshops ![In: New Frontiers in Artificial Intelligence - JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers, pp. 154-164, 2013, Springer, 978-3-319-10060-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Michael Robinson 0001 |
Understanding networks and their behaviors using sheaf theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GlobalSIP ![In: IEEE Global Conference on Signal and Information Processing, GlobalSIP 2013, Austin, TX, USA, December 3-5, 2013, pp. 911-914, 2013, IEEE, 978-1-4799-0248-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Dmitry P. Skvortsov |
On the constant domains principle and its weakened versions in the Kripke sheaf semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACL ![In: TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013, pp. 204-207, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Dmitrij P. Skvortsov |
Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 100(1-2), pp. 361-383, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | David M. Butler |
The Sheaf Data Model: A Rigorous Data Model for Scientific Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC Companion ![In: 2012 SC Companion: High Performance Computing, Networking Storage and Analysis, Salt Lake City, UT, USA, November 10-16, 2012, pp. 1303-1305, 2012, IEEE Computer Society, 978-1-4673-6218-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Kohei Kishida |
Neighborhood-Sheaf Semantics for First-Order Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M/LAMAS ![In: Proceedings of the 7th Workshop on Methods for Modalities, M4M 2011, and the 4th Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2011, Osuna, Spain, November 10-12, 2011, pp. 129-143, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Samson Abramsky, Adam Brandenburger |
A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1102.0264, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Michael Robinson 0001 |
Asynchronous Logic Circuits and Sheaf Obstructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010, pp. 159-177, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Shigeki Matsutani |
Sheaf-theoretic investigation of CIP-method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 217(2), pp. 568-579, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Michael Robinson 0001 |
Asynchronous logic circuits and sheaf obstructions ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1008.2729, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
23 | Elias Zafiris |
A sheaf-theoretic topos model of the physical 'Continuum' and its cohomological observable dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 38(1), pp. 1-27, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Hugues Mounier, Roger Reynaud |
Towards context aware tracking: a flatness based automotive oriented scheme with elastic execution time and sheaf determination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 81(3), pp. 398-406, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Nicola Gambino |
The associated sheaf functor theorem in algebraic set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 156(1), pp. 68-77, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Tomoko Yonezawa, Noriaki Mitsunaga, Taichi Tajika, Takahiro Miyashita, Shinji Abe |
Sheaf on sheet: a concept of tangible interface for browsing on a flexible e-paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Posters ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2008, Los Angeles, California, USA, August 11-15, 2008, Poster Proceedings, pp. 35, 2008, ACM, 978-1-60558-466-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Elena Sendroiu |
Sheaf tools for computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 184(1), pp. 131-141, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Ulrich Höhle |
Fuzzy sets and sheaves. Part II: : Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 158(11), pp. 1175-1212, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Mário J. Edmundo, Gareth O. Jones, Nicholas J. Peatfield |
Sheaf Cohomology in O-Minimal Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 6(2), 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Pietro Di Gianantonio, Marino Miculan |
Unifying Recursive and Co-recursive Definitions in Sheaf Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 136-150, 2004, Springer, 3-540-21298-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Alexander V. Voinov |
The Role of Similarity Judgment in Intuitive Problem Solving and its Modeling in a Sheaf-Theoretic Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD ![In: FSDK'02, Proceedings of the 1st International Conference on Fuzzy Systems and Knowledge Discovery: Computational Intelligence for the E-Age, 2 Volumes, November 18-22, 2002, Orchid Country Club, Singapore, pp. 753-757, 2002, 981-04-7520-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
23 | Nobu-Yuki Suzuki |
Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 63(3), pp. 387-416, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Eric Bach 0001 |
Sheaf Cohomology is #P-hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 27(4), pp. 429-433, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Erik Palmgren |
Constructive Sheaf Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 43, pp. 321-327, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Erik Palmgren |
A Sheaf-Theoretic Foundation for Nonstandard Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 85(1), pp. 69-86, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Hector Gramaglia, Diego Vaggione |
Birkhoff-like sheaf representation for varieties of lattice expansions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 56(1/2), pp. 111-131, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Viorica Sofronie |
Towards a Sheaf Semantics for Cooperating Agents Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings, pp. 289-304, 1996, Springer, 3-540-61732-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Silvio Ghilardi, Marek W. Zawadowski |
A Sheaf Representation and Duality for Finitely Presenting Heyting Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 60(3), pp. 911-939, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
23 | M. Adelman, John V. Corbett |
A sheaf model for intuitionistic quantum mechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 3(1), pp. 79-104, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Jean Petitot |
Sheaf mereology and Husserl's morphological ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Stud. ![In: Int. J. Hum. Comput. Stud. 43(5-6), pp. 741-763, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Yellamraju V. Srinivas |
A Sheaf-Theoretic Approach to Pattern Matching and Related Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 112(1), pp. 53-97, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|