Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | P. Madhusudan, P. S. Thiagarajan |
Controllers for Discrete Event Systems via Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings, pp. 18-33, 1998, Springer, 3-540-64896-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Arto Lepistö |
On the Power of Periodic Iteration of Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings, pp. 496-506, 1993, Springer, 3-540-56939-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Jean Berstel, Patrice Séébold |
A Characterization of Sturmian Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings, pp. 281-290, 1993, Springer, 3-540-57182-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Stefano Varricchio |
Polynomial Time Algorithm for the Equivalence of two Morphisms on Omega-Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings, pp. 595-606, 1993, Springer, 3-540-56503-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Glynn Winskel |
Petri nets, morphisms and compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers, pp. 453-477, 1985, Springer, 3-540-16480-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
28 | Veikko Keränen |
On k-Repetition Free Words Generated by Length Uniform Morphisms Over a Binary Alphabet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings, pp. 338-347, 1985, Springer, 3-540-15650-X. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
28 | Giuseppe Longo, Eugenio Moggi |
Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedings, pp. 397-406, 1984, Springer, 3-540-13372-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Jacques Pansiot |
A Decidable Property of Iterated Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Computer Science ![In: Theoretical Computer Science, 5th GI-Conference, Karlsruhe, Germany, March 23-25, 1981, Proceedings, pp. 152-158, 1981, Springer, 3-540-10576-X. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
22 | Vincent Duquenne, John Mohr |
Comparison of Dual Orderings in Time II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings, pp. 321-324, 2008, Springer, 978-3-540-78136-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Duality practices x symbolic systems, Poverty relief in New York City 1888-1917, Progressive era. Lattices, (nested) line diagrams, (relative) canonical basis of implications, gluing decomposition, subdirect products, join / meet morphisms |
22 | Marc Aiguier, Fabrice Barbier |
An Institution-independent Proof of the Beth Definability Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 85(3), pp. 333-359, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Beth definability, morphisms and comorphisms, inclusive category, institution theory, Craig interpolation |
22 | Vineet Gupta 0001, Vaughan R. Pratt |
Gages Accept Concurrent Behavior ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 62-71, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
natural concurrent programming language, concurrent behavior, Boolean propositions, intrinsic notion, consequence-preserving renamings, automata, linear logic, duality, accepters, event structures, gates, morphisms, algebraic structure |
22 | Giorgio De Michelis |
Constraints and Extensions in a Calculus of EN Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991, pp. 350-370, 1991, Springer, 3-540-56689-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Elementary Transition Systems, Net Morphisms, unary operations on nets, Regions, Elementary Net Systems |
22 | Lucia Pomello, Carla Simone |
A state transformation preorder over a class of EN systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings], pp. 436-456, 1989, Springer, 3-540-53863-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
behaviour of systems, observability of states, equivalence, morphisms |
21 | Zurab Janelidze |
Cover Relations on Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 17(4), pp. 351-371, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18A32, 18D10 |
21 | Jirí Mockor |
Fuzzy logic models in a category of fuzzy relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(6), pp. 591-596, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Sets with similarities, Category of fuzzy relations, Models of fuzzy logic, Fuzzy logic, MV-algebras |
21 | Dominik D. Freydenberger, Daniel Reidenbach |
Existence and Nonexistence of Descriptive Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings, pp. 228-239, 2009, Springer, 978-3-642-02736-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Michele Boreale |
Weighted Bisimulation in Linear Algebraic Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 163-177, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Antonio Cano Gómez, Jean-Eric Pin |
A Robust Class of Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings, pp. 36-51, 2008, Springer, 978-3-540-85237-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois |
Towards Interoperability in Component Based Development with a Family of DSLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA ![In: Software Architecture, Second European Conference, ECSA 2008, Paphos, Cyprus, September 29 - October 1, 2008, Proceedings, pp. 148-163, 2008, Springer, 978-3-540-88029-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
heterogeneous components, domain specific language (DSL), Specware, interoperability, formal semantics, category theory |
21 | Shin-ya Katsumata |
A Characterisation of Lambda Definability with Sums Via TT-Closure Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 278-292, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Jerzy Tomasik, Jerzy Weyman |
Category localization semantics for specification refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 49(1-4), pp. 253-263, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03C98, 8C05, 18C10, 18E35, 68Q85 |
21 | Nazareno Aguirre, Germán Regis, T. S. E. Maibaum |
Verifying Temporal Properties of CommUnity Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 1-20, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | José Luiz Fiadeiro, Vincent Schmitt |
Structured Co-spans: An Algebra of Interaction Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings, pp. 194-208, 2007, Springer, 978-3-540-73857-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Margarida Dias, Manuela Sobral |
Descent for Priestley Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 14(3), pp. 229-241, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification 18D30, 18A20, 18C20 |
21 | Olga Brazhnik |
Geometry of Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2006, 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings, pp. 587, 2006, Springer, 3-540-47224-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Fredrik Dahlgren |
Partial Continuous Functions and Admissible Domain Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 94-104, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
domain representations, computability theory, computable analysis, Domain theory |
21 | Annegret Habel, Karl-Heinz Pennemann |
Satisfiability of High-Level Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, pp. 430-444, 2006, Springer, 3-540-38870-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Ruqian Lu |
Towards a Mathematical Theory of Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(6), pp. 751-757, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
knowledge science, typed category, pseudo-category, category theory |
21 | José Meseguer 0001 |
Functorial Semantics of Rewrite Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Software and Systems Modeling ![In: Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday, pp. 220-235, 2005, Springer, 3-540-24936-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Bachuki Mesablishvili |
Descent Theory for Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(5-6), pp. 485-512, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
quasi-coherent module, indexed category, (effective) descent morphism, pure morphism of schemes, scheme |
21 | George Voutsadakis |
A Categorical Approach to Threshold Agent Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(2), pp. 203-223, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
finite dynamical systems, automata networks, threshold networks, threshold agent networks, categories of networks, neural networks, products, equalizers, limits |
21 | Razvan Diaconescu |
Grothendieck Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(4), pp. 383-402, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
indexed categories, Grothendieck construction, algebraic specification, institutions, fibrations |
21 | Vesa Halava, Tero Harju |
Infinite Solutions of Marked Post Correspondence Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal and Natural Computing ![In: Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002], pp. 57-68, 2002, Springer, 3-540-43190-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Roswitha Bardohl, Claudia Ermel, Julia Padberg |
Transforming Specification Architectures by GenGED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, pp. 30-44, 2002, Springer, 3-540-44310-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Marcello Pelillo, Kaleem Siddiqi, Steven W. Zucker |
Many-to-many Matching of Attributed Trees Using Association Graphs and Game Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWVF ![In: Visual Form 2001, 4th International Workshop on Visual Form, IWVF-4, Capri, Italy, May 28-30, 2001, Proceedings, pp. 583-593, 2001, Springer, 3-540-42120-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Liara Aparecida dos Santos Leal, Paulo Blauth Menezes, Dalcidio Moraes Claudio, Laira Vieira Toscani |
Optimization Problems Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers, pp. 285-299, 2001, Springer, 3-540-42959-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Helmut Röhrl |
Completeness and Cocompleteness of RSmod1 N. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(1-2), pp. 257-269, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
prenormed semimodule, N-summation, cocomplete, free objects, complete |
21 | Efstathios Hadjidemetriou, Michael D. Grossberg, Shree K. Nayar |
Histogram Preserving Image Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2000 Conference on Computer Vision and Pattern Recognition (CVPR 2000), 13-15 June 2000, Hilton Head, SC, USA, pp. 1410-1416, 2000, IEEE Computer Society, 0-7695-0662-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Jochen Pfalzgraf |
A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers, pp. 184-199, 2000, Springer, 3-540-42071-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Julia Padberg |
Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 7(4), pp. 371-403, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
high-level replacement systems, Petri net transformations, horizontal structuring, refinement, graph transformations |
21 | Nuno Barreiro, Thomas Ehrhard |
Quantitative Semantics Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings, pp. 40-53, 1999, Springer, 3-540-65763-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel |
Weak Bisimulation and Open Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 67-76, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
semantics, Concurrency, denotational semantics, categorical models |
21 | Rosa M. Jiménez, Fernando Orejas |
An Algebraic Framework for Higher-Order Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1778-1797, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer |
System Description: inka 5.0 - A Logic Voyager. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, pp. 207-211, 1999, Springer, 3-540-66222-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Renate Klempien-Hinrichs |
Net Refinement by Pullback Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 189-202, 1998, Springer, 3-540-64300-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Henning Fernau, Ludwig Staiger |
IFS and Control Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 740-750, 1998, Springer, 3-540-64827-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Jacques Patarin, Louis Goubin, Nicolas T. Courtois |
Improved Algorithms for Isomorphisms of Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '98, International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - June 4, 1998, Proceeding, pp. 184-200, 1998, Springer, 3-540-64518-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Yuji Kobayashi, Friedrich Otto |
Repetitiveness of D0L-Languages Is Decidable in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, pp. 337-346, 1997, Springer, 3-540-63437-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg |
Horizontal and Vertical Structuring Techniques for Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings, pp. 181-195, 1997, Springer, 3-540-63141-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Tero Harju, Juhani Karhumäki, Daniel Krob |
Remarks on Generalized Post Correspondence Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 96, 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996, Proceedings, pp. 39-48, 1996, Springer, 3-540-60922-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Giulio Balestreri |
Term Rewriting Systems: An h-Categorical Semantic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings, pp. 67-78, 1996, Springer, 3-540-61697-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Henning Fernau |
Valuations, regular expressions, and fractal geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 7(1), pp. 59-75, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
(Unambiguous) regular expressions, Structure generating function, Iterated function systems, Formal power series, Valuations, Fractal geometry |
21 | Luis-Miguel Lopez, Philippe Narbel |
Generalized Sturmian Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings, pp. 336-347, 1995, Springer, 3-540-60084-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Henning Fernau, Ludwig Staiger |
Valuations and Unambiguity of Languages, with Applications to Fractal Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings, pp. 11-22, 1994, Springer, 3-540-58201-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Carolyn Brown, Doug Gurr |
Refinement and Simulation of Nets - A Categorical Characterisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 76-92, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Carolyn Brown, Doug Gurr |
Timing Petri Nets Categorically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings, pp. 571-582, 1992, Springer, 3-540-55719-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Michel Latteux, Erick Timmerman |
Rational omega-Transductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings, pp. 407-415, 1990, Springer, 3-540-52953-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Michael Löwe, Hartmut Ehrig |
Algebraic Approach to Graph Transformation Based on Single Pushout Derivations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 16rd International Workshop, WG '90, Berlin, Germany, June 20-22, 1990, Proceedings, pp. 338-353, 1990, Springer, 3-540-53832-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Jürgen Koslowski |
Continuous Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings, pp. 149-161, 1985, Springer, 3-540-16816-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
21 | Hans-Dieter Ehrich |
Extensions and Implementations of Abstract Data Type Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978, pp. 155-164, 1978, Springer, 0-387-08921-7. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
17 | David Gabelaia, Evgeny Kuznetsov, Radu-Casian Mihailescu, Konstantine Razmadze, Levan Uridia |
Temporal logic of surjective bounded morphisms between finite linear processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 34(1), pp. 1-30, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Vesa Halava, Stepan Holub |
Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 35(1&2), pp. 129-144, January & February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Nguyen Huong Lam |
On a Test of Square-Free Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 58, pp. 4, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Saikat Chatterjee, Praphulla Koushik |
Extension of Topological Groupoids and Hurewicz Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 31(5), pp. 33, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Vaino Tuhafeni Shaumbwa |
Commutative Objects, Central Morphisms and Subtractors in Subtractive Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 31(2), pp. 13, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Jirí Mockor |
Cut Systems with Relational Morphisms for Semiring-Valued Fuzzy Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(2), pp. 153, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Rocío González-Díaz, M. Soriano-Trigueros, Álvaro Torras-Casas |
Partial matchings induced by morphisms between persistence modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 112, pp. 101985, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Jana Lepsová, Edita Pelantová, Stepán Starosta |
On a faithful representation of Sturmian morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 110, pp. 103707, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Bernard P. Zeigler |
Extending the Hierarchy of System Specifications and Morphisms with SES Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. ![In: Inf. 14(1), pp. 22, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Rizeng Chen |
Geometric Fiber Classification of Morphisms and a Geometric Approach to Cylindrical Algebraic Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.10515, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Francis Wlazinski |
3-anti-power uniform morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.14514, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Juha Honkala |
Commuting upper triangular binary morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.06158, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | France Gheeraert, Giuseppe Romana, Manon Stipulanti |
String attractors of fixed points of k-bonacci-like morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.13647, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Jeffrey O. Shallit, Arseny M. Shur, Stefan Zorcic |
New constructions for 3-free and 3+-free binary morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.15064, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Hông Vân Lê |
Supervised learning with probabilistic morphisms and kernel mean embeddings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.06348, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Mario Kummer, Cédric Le Texier, Matilde Manzaroli |
Real-Fibered Morphisms of del Pezzo Surfaces and Conic Bundles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 69(3), pp. 849-872, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Gabriele Fici, Giuseppe Romana, Marinella Sciortino, Cristian Urbina |
On the Impact of Morphisms on BWT-Runs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: 34th Annual Symposium on Combinatorial Pattern Matching, CPM 2023, June 26-28, 2023, Marne-la-Vallée, France, pp. 10:1-10:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-276-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | France Gheeraert, Giuseppe Romana, Manon Stipulanti |
String Attractors of Fixed Points of k-Bonacci-Like Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: Combinatorics on Words - 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings, pp. 192-205, 2023, Springer, 978-3-031-33179-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Michel Rigo, Manon Stipulanti, Markus A. Whiteland |
Automaticity and Parikh-Collinear Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: Combinatorics on Words - 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings, pp. 247-260, 2023, Springer, 978-3-031-33179-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Sylvain Lombardy, Jacques Sakarovitch |
Morphisms and Minimisation of Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 186(1-4), pp. 195-218, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Francesco Dolce, Edita Pelantová |
On Morphisms Preserving Palindromic Richness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 185(1), pp. 1-25, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | José Goudet Alvin, Arthur Francisco Schwerz Cahali, Hugo Luiz Mariano |
Induced morphisms between Heyting-valued models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 9(1), pp. 5-40, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
17 | Ricardo E. Carrera |
Morphisms and Pushouts in Compact Normal Joinfit Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 30(5), pp. 969-990, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Claudia Chaio, Alfredo González Chaio, Isabel Pratti |
On the Composition of Three Irreducible Morphisms in the Bounded Homotopy Category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 30(5), pp. 1043-1074, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Junyang Zhang |
On the direct products of skew-morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Art Discret. Appl. Math. ![In: Art Discret. Appl. Math. 5(3), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Jiyong Chen, Shaofei Du, Cai Heng Li |
Skew-morphisms of nonabelian characteristically simple groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 185, pp. 105539, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | R. Amzi Jeffs |
Erratum for "Morphisms of Neural Codes". ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Algebra Geom. ![In: SIAM J. Appl. Algebra Geom. 6(1), pp. 77-78, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Bruno Gavranovic, Mattia Villani |
Graph Convolutional Neural Networks as Parametric CoKleisli morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.00542, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Elizabeth Coda, Nico Courts, Colby Wight, Loc Truong, WoongJo Choi, Charles Godfrey, Tegan Emerson, Keerti Kappagantula, Henry Kvinge |
Fiber Bundle Morphisms as a Framework for Modeling Many-to-Many Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.08189, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Jana Lepsová, Edita Pelantová, Stepán Starosta |
On a faithful representation of Sturmian morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.00373, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Michel Rigo, Manon Stipulanti, Markus A. Whiteland |
Binomial Complexities and Parikh-Collinear Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.04603, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
17 | Zhixuan Yang, Nicolas Wu |
Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.13633, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
17 | Cinzia Bisi, Jonathan D. Hauenstein, Tuyen Trung Truong |
Some interesting birational morphisms of smooth affine quadric 3-folds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.14327, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello |
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency XVI, pp. 1-23, 2022, Springer Berlin Heidelberg, 978-3-662-65303-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Martin Kochol |
Interpretations for the Tutte polynomials of morphisms of matroids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 322, pp. 210-216, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Kittitat Iamthong |
Word-representability of split graphs generated by morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 314, pp. 284-303, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed Barakat, Markus Lange-Hegermann |
An algorithmic approach to Chevalley's Theorem on images of rational morphisms between affine varieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 91(333), pp. 451-490, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Joel D. Day, Daniel Reidenbach |
Unambiguous injective morphisms in free groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 289(Part), pp. 104946, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Zhixuan Yang, Nicolas Wu |
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings, pp. 222-267, 2022, Springer, 978-3-031-16911-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Michel Rigo, Manon Stipulanti, Markus A. Whiteland |
Binomial Complexities and Parikh-Collinear Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022, Proceedings, pp. 251-262, 2022, Springer, 978-3-031-05577-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|