Search results for "morphisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	P. Madhusudan, P. S. Thiagarajan	Controllers for Discrete Event Systems via Morphisms.	CONCUR	1998	DBLP DOI BibTeX RDF
28	Arto Lepistö	On the Power of Periodic Iteration of Morphisms.	ICALP	1993	DBLP DOI BibTeX RDF
28	Jean Berstel, Patrice Séébold	A Characterization of Sturmian Morphisms.	MFCS	1993	DBLP DOI BibTeX RDF
28	Stefano Varricchio	Polynomial Time Algorithm for the Equivalence of two Morphisms on Omega-Regular Languages.	STACS	1993	DBLP DOI BibTeX RDF
28	Glynn Winskel	Petri nets, morphisms and compositionality.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
28	Veikko Keränen	On k-Repetition Free Words Generated by Length Uniform Morphisms Over a Binary Alphabet.	ICALP	1985	DBLP DOI BibTeX RDF
28	Giuseppe Longo, Eugenio Moggi	Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness.	MFCS	1984	DBLP DOI BibTeX RDF
28	Jean-Jacques Pansiot	A Decidable Property of Iterated Morphisms.	Theoretical Computer Science	1981	DBLP DOI BibTeX RDF
22	Vincent Duquenne, John Mohr	Comparison of Dual Orderings in Time II.	ICFCA	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.	Stud Logica	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	FOCS	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.	Applications and Theory of Petri Nets	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.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	behaviour of systems, observability of states, equivalence, morphisms
21	Zurab Janelidze	Cover Relations on Categories.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A32, 18D10
21	Jirí Mockor	Fuzzy logic models in a category of fuzzy relations.	Soft Comput.	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.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
21	Michele Boreale	Weighted Bisimulation in Linear Algebraic Form.	CONCUR	2009	DBLP DOI BibTeX RDF
21	Antonio Cano Gómez, Jean-Eric Pin	A Robust Class of Regular Languages.	MFCS	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.	ECSA	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.	CSL	2008	DBLP DOI BibTeX RDF
21	Jerzy Tomasik, Jerzy Weyman	Category localization semantics for specification refinements.	Ann. Math. Artif. Intell.	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.	IFM	2007	DBLP DOI BibTeX RDF
21	José Luiz Fiadeiro, Vincent Schmitt	Structured Co-spans: An Algebra of Interaction Protocols.	CALCO	2007	DBLP DOI BibTeX RDF
21	Margarida Dias, Manuela Sobral	Descent for Priestley Spaces.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification 18D30, 18A20, 18C20
21	Olga Brazhnik	Geometry of Concepts.	ER	2006	DBLP DOI BibTeX RDF
21	Fredrik Dahlgren	Partial Continuous Functions and Admissible Domain Representations.	CiE	2006	DBLP DOI BibTeX RDF	domain representations, computability theory, computable analysis, Domain theory
21	Annegret Habel, Karl-Heinz Pennemann	Satisfiability of High-Level Conditions.	ICGT	2006	DBLP DOI BibTeX RDF
21	Ruqian Lu	Towards a Mathematical Theory of Knowledge.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	knowledge science, typed category, pseudo-category, category theory
21	José Meseguer 0001	Functorial Semantics of Rewrite Theories.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
21	Bachuki Mesablishvili	Descent Theory for Schemes.	Appl. Categorical Struct.	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.	Appl. Categorical Struct.	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.	Appl. Categorical Struct.	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.	Formal and Natural Computing	2002	DBLP DOI BibTeX RDF
21	Roswitha Bardohl, Claudia Ermel, Julia Padberg	Transforming Specification Architectures by GenGED.	ICGT	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.	IWVF	2001	DBLP DOI BibTeX RDF
21	Liara Aparecida dos Santos Leal, Paulo Blauth Menezes, Dalcidio Moraes Claudio, Laira Vieira Toscani	Optimization Problems Categories.	EUROCAST	2001	DBLP DOI BibTeX RDF
21	Helmut Röhrl	Completeness and Cocompleteness of RSmod1 N.	Appl. Categorical Struct.	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.	CVPR	2000	DBLP DOI BibTeX RDF
21	Jochen Pfalzgraf	A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects.	AISC	2000	DBLP DOI BibTeX RDF
21	Julia Padberg	Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems.	Appl. Categorical Struct.	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.	TLCA	1999	DBLP DOI BibTeX RDF
21	Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel	Weak Bisimulation and Open Maps.	LICS	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.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer	System Description: inka 5.0 - A Logic Voyager.	CADE	1999	DBLP DOI BibTeX RDF
21	Renate Klempien-Hinrichs	Net Refinement by Pullback Rewriting.	FoSSaCS	1998	DBLP DOI BibTeX RDF
21	Henning Fernau, Ludwig Staiger	IFS and Control Languages.	MFCS	1998	DBLP DOI BibTeX RDF
21	Jacques Patarin, Louis Goubin, Nicolas T. Courtois	Improved Algorithms for Isomorphisms of Polynomials.	EUROCRYPT	1998	DBLP DOI BibTeX RDF
21	Yuji Kobayashi, Friedrich Otto	Repetitiveness of D0L-Languages Is Decidable in Polynomial Time.	MFCS	1997	DBLP DOI BibTeX RDF
21	Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg	Horizontal and Vertical Structuring Techniques for Statecharts.	CONCUR	1997	DBLP DOI BibTeX RDF
21	Tero Harju, Juhani Karhumäki, Daniel Krob	Remarks on Generalized Post Correspondence Problem.	STACS	1996	DBLP DOI BibTeX RDF
21	Giulio Balestreri	Term Rewriting Systems: An h-Categorical Semantic.	DISCO	1996	DBLP DOI BibTeX RDF
21	Henning Fernau	Valuations, regular expressions, and fractal geometry.	Appl. Algebra Eng. Commun. Comput.	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.	ICALP	1995	DBLP DOI BibTeX RDF
21	Henning Fernau, Ludwig Staiger	Valuations and Unambiguity of Languages, with Applications to Fractal Geometry.	ICALP	1994	DBLP DOI BibTeX RDF
21	Carolyn Brown, Doug Gurr	Refinement and Simulation of Nets - A Categorical Characterisation.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
21	Carolyn Brown, Doug Gurr	Timing Petri Nets Categorically.	ICALP	1992	DBLP DOI BibTeX RDF
21	Michel Latteux, Erick Timmerman	Rational omega-Transductions.	MFCS	1990	DBLP DOI BibTeX RDF
21	Michael Löwe, Hartmut Ehrig	Algebraic Approach to Graph Transformation Based on Single Pushout Derivations.	WG	1990	DBLP DOI BibTeX RDF
21	Jürgen Koslowski	Continuous Categories.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
21	Hans-Dieter Ehrich	Extensions and Implementations of Abstract Data Type Specifications.	MFCS	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.	J. Appl. Non Class. Logics	2024	DBLP DOI BibTeX RDF
17	Vesa Halava, Stepan Holub	Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time.	Int. J. Found. Comput. Sci.	2024	DBLP DOI BibTeX RDF
17	Nguyen Huong Lam	On a Test of Square-Free Morphisms.	RAIRO Theor. Informatics Appl.	2024	DBLP DOI BibTeX RDF
17	Saikat Chatterjee, Praphulla Koushik	Extension of Topological Groupoids and Hurewicz Morphisms.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
17	Vaino Tuhafeni Shaumbwa	Commutative Objects, Central Morphisms and Subtractors in Subtractive Categories.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
17	Jirí Mockor	Cut Systems with Relational Morphisms for Semiring-Valued Fuzzy Structures.	Axioms	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.	Comput. Geom.	2023	DBLP DOI BibTeX RDF
17	Jana Lepsová, Edita Pelantová, Stepán Starosta	On a faithful representation of Sturmian morphisms.	Eur. J. Comb.	2023	DBLP DOI BibTeX RDF
17	Bernard P. Zeigler	Extending the Hierarchy of System Specifications and Morphisms with SES Abstraction.	Inf.	2023	DBLP DOI BibTeX RDF
17	Rizeng Chen	Geometric Fiber Classification of Morphisms and a Geometric Approach to Cylindrical Algebraic Decomposition.	CoRR	2023	DBLP DOI BibTeX RDF
17	Francis Wlazinski	3-anti-power uniform morphisms.	CoRR	2023	DBLP DOI BibTeX RDF
17	Juha Honkala	Commuting upper triangular binary morphisms.	CoRR	2023	DBLP DOI BibTeX RDF
17	France Gheeraert, Giuseppe Romana, Manon Stipulanti	String attractors of fixed points of k-bonacci-like morphisms.	CoRR	2023	DBLP DOI BibTeX RDF
17	Jeffrey O. Shallit, Arseny M. Shur, Stefan Zorcic	New constructions for 3-free and 3+-free binary morphisms.	CoRR	2023	DBLP DOI BibTeX RDF
17	Hông Vân Lê	Supervised learning with probabilistic morphisms and kernel mean embeddings.	CoRR	2023	DBLP DOI BibTeX RDF
17	Mario Kummer, Cédric Le Texier, Matilde Manzaroli	Real-Fibered Morphisms of del Pezzo Surfaces and Conic Bundles.	Discret. Comput. Geom.	2023	DBLP DOI BibTeX RDF
17	Gabriele Fici, Giuseppe Romana, Marinella Sciortino, Cristian Urbina	On the Impact of Morphisms on BWT-Runs.	CPM	2023	DBLP DOI BibTeX RDF
17	France Gheeraert, Giuseppe Romana, Manon Stipulanti	String Attractors of Fixed Points of k-Bonacci-Like Morphisms.	WORDS	2023	DBLP DOI BibTeX RDF
17	Michel Rigo, Manon Stipulanti, Markus A. Whiteland	Automaticity and Parikh-Collinear Morphisms.	WORDS	2023	DBLP DOI BibTeX RDF
17	Sylvain Lombardy, Jacques Sakarovitch	Morphisms and Minimisation of Weighted Automata.	Fundam. Informaticae	2022	DBLP DOI BibTeX RDF
17	Francesco Dolce, Edita Pelantová	On Morphisms Preserving Palindromic Richness.	Fundam. Informaticae	2022	DBLP DOI BibTeX RDF
17	José Goudet Alvin, Arthur Francisco Schwerz Cahali, Hugo Luiz Mariano	Induced morphisms between Heyting-valued models.	FLAP	2022	DBLP BibTeX RDF
17	Ricardo E. Carrera	Morphisms and Pushouts in Compact Normal Joinfit Frames.	Appl. Categorical Struct.	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.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
17	Junyang Zhang	On the direct products of skew-morphisms.	Art Discret. Appl. Math.	2022	DBLP DOI BibTeX RDF
17	Jiyong Chen, Shaofei Du, Cai Heng Li	Skew-morphisms of nonabelian characteristically simple groups.	J. Comb. Theory, Ser. A	2022	DBLP DOI BibTeX RDF
17	R. Amzi Jeffs	Erratum for "Morphisms of Neural Codes".	SIAM J. Appl. Algebra Geom.	2022	DBLP DOI BibTeX RDF
17	Bruno Gavranovic, Mattia Villani	Graph Convolutional Neural Networks as Parametric CoKleisli morphisms.	CoRR	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.	CoRR	2022	DBLP DOI BibTeX RDF
17	Jana Lepsová, Edita Pelantová, Stepán Starosta	On a faithful representation of Sturmian morphisms.	CoRR	2022	DBLP DOI BibTeX RDF
17	Michel Rigo, Manon Stipulanti, Markus A. Whiteland	Binomial Complexities and Parikh-Collinear Morphisms.	CoRR	2022	DBLP BibTeX RDF
17	Zhixuan Yang, Nicolas Wu	Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes.	CoRR	2022	DBLP BibTeX RDF
17	Cinzia Bisi, Jonathan D. Hauenstein, Tuyen Trung Truong	Some interesting birational morphisms of smooth affine quadric 3-folds.	CoRR	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.	Trans. Petri Nets Other Model. Concurr.	2022	DBLP DOI BibTeX RDF
17	Martin Kochol	Interpretations for the Tutte polynomials of morphisms of matroids.	Discret. Appl. Math.	2022	DBLP DOI BibTeX RDF
17	Kittitat Iamthong	Word-representability of split graphs generated by morphisms.	Discret. Appl. Math.	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.	Math. Comput.	2022	DBLP DOI BibTeX RDF
17	Joel D. Day, Daniel Reidenbach	Unambiguous injective morphisms in free groups.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
17	Zhixuan Yang, Nicolas Wu	Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes.	MPC	2022	DBLP DOI BibTeX RDF
17	Michel Rigo, Manon Stipulanti, Markus A. Whiteland	Binomial Complexities and Parikh-Collinear Morphisms.	DLT	2022	DBLP DOI BibTeX RDF