Search results for "morphisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
109	Michel Latteux, Jeannine Leguy	On the Composition of Morphisms and Inverse Morphisms.	ICALP	1983	DBLP DOI BibTeX RDF
103	Jörg Desel, Agathe Merceron	Vicinity respecting net morphisms.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Net morphisms, synthesis and structure of nets, coarsening and composition of nets
82	Gwénaël Richomme, Francis Wlazinski	Finite Test-Sets for Overlap-Free Morphisms.	MFCS	2002	DBLP DOI BibTeX RDF	overlap-free words, test-sets, Combinatorics on words, morphisms
74	Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange	Consistent Integration of Models Based on Views of Visual Languages.	FASE	2008	DBLP DOI BibTeX RDF
70	Inés Friss de Kereki, José Crespo, Javier Azpiazu	Use of Morphisms as a Tool to Help Learning Object Oriented Concepts.	Education for the 21st Century	2006	DBLP DOI BibTeX RDF
70	Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang 0001	Morphisms in Context.	ICCS	2005	DBLP DOI BibTeX RDF
70	Joseph A. Goguen, Grigore Rosu	Institution Morphisms.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Abstract model theory, Kan extension, Specification, Logic, Category theory, Institution
70	Patrice Séébold	On the Conjugation of Standard Morphisms.	MFCS	1996	DBLP DOI BibTeX RDF
70	Edward Ochmanski	On Morphisms of Trace Monoids.	STACS	1988	DBLP DOI BibTeX RDF
67	Juhani Karhumäki, H. C. M. Kleijn	On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages.	MFCS	1984	DBLP DOI BibTeX RDF
65	Hans-Dieter Ehrich, Amílcar Sernadas	Algebraic Implementation of Objects over Objects.	REX Workshop	1989	DBLP DOI BibTeX RDF	object morphisms, process morphisms, semantic fundamentals, algebraic implementation, refinement, processes, objects, extension, encapsulation, object-oriented systems, reification
64	G. Zeibig	Coherence for Product Monoids and their Actions.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	AMS 2000 Mathematics Subject Classification Primary 18D35, Secondary 18D15, 19D23, 18C15
64	Manuela Sobral	Another Approach to Topological Descent Theory.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	descent data, (effective) descent map, monadic functor, universal regular epimorphism, (effective) étale-descent, monad
61	Sergey Kitaev, Toufik Mansour, Patrice Séébold	Counting Ordered Patterns in Words Generated by Morphisms.	LATA	2008	DBLP DOI BibTeX RDF	rises, descents, patterns, inversions, repetitions, Morphisms
61	Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa	Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages.	ICALP	2001	DBLP DOI BibTeX RDF	Reversal-bounded counters, commutation of languages, context-free languages, combinatorics on words, morphisms
60	Johannes C. Schneider	Unambiguous Erasing Morphisms in Free Monoids.	SOFSEM	2009	DBLP DOI BibTeX RDF
60	Michelangelo Bucci, Aldo de Luca, Alessandro De Luca 0002	On a Generalization of Standard Episturmian Morphisms.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
60	Michel Hébert	l-presentable Morphisms, Injectivity and (Weak) Factorization Systems.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	finitely presentable morphism, finitely presented morphism, pure morphism, injectivity, locally presentable categories, weak factorization system, orthogonality
60	Aldo de Luca	On Standard Sturmian Morphisms.	ICALP	1996	DBLP DOI BibTeX RDF
60	Jean-Eric Pin	Relational morphisms, transductions and operations on languages.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
53	Lioubov Dombrovskaia, Liliana Guzmán	Student's Approach to Linear Programming Modeling.	Education for the 21st Century	2006	DBLP DOI BibTeX RDF
53	Martin Jansche	Learning Local Transductions Is Hard.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	letter-to-sound rules, rational transductions, machine learning, natural language processing, combinatorial optimization, NP completeness, formal languages, Boolean satisfiability
50	Ana Helena Roque	Effective Descent Morphisms in Some Quasivarieties of Algebraic, Relational, and More General Structures.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	prevariety, structures for a first order language and generalizations, regular epimorphisms, (effective) descent morphisms, variety
49	Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar	Extension Morphisms for CommUnity.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
49	Boleslaw Mikolajczak, Zuyan Wang	Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms.	ER	2003	DBLP DOI BibTeX RDF
49	Jürgen Dassow, Gheorghe Paun, Gabriel Thierrin, Sheng Yu 0001	Tree-systems of morphisms.	Acta Informatica	2001	DBLP DOI BibTeX RDF	membrane computing, closure property, morphism, Lindenmayer system
49	Gwénaël Richomme, Francis Wlazinski	About Cube-Free Morphisms.	STACS	2000	DBLP DOI BibTeX RDF
49	Marek A. Bednarczyk, Andrzej M. Borzyszkowski	General Morphisms of Petri Nets (Extended Abstract).	ICALP	1999	DBLP DOI BibTeX RDF
49	Richard Statman	Morphisms and Partitions of V-sets.	CSL	1998	DBLP DOI BibTeX RDF
49	Pierre-André Wacrenier	Semi-Trace Morphisms and Rational Transductions.	TAPSOFT	1995	DBLP DOI BibTeX RDF
49	Juha Honkala, Arto Salomaa	L Morphisms: Bounded Delay and Regularity of Ambiguity.	ICALP	1991	DBLP DOI BibTeX RDF
49	Veikko Keränen	On the k-Freeness of Morphisms on Free Monoids.	STACS	1987	DBLP DOI BibTeX RDF
48	Jaroslav Nesetril, Peter Winkler 0001 (eds.)	Graphs, Morphisms and Statistical Physics, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, March 19-21, 2001	Graphs, Morphisms and Statistical Physics	2004	DBLP DOI BibTeX RDF
48		Forward.	Graphs, Morphisms and Statistical Physics	2001	DBLP BibTeX RDF
48		Photographs.	Graphs, Morphisms and Statistical Physics	2001	DBLP BibTeX RDF
48	Christian Borgs, Jennifer T. Chayes, Martin E. Dyer, Prasad Tetali	On the Sampling Problem for H-Colorings on the Hypercubic Lattice.	Graphs, Morphisms and Statistical Physics	2001	DBLP DOI BibTeX RDF
48	Martin Loebl	A Discrete Non-Pfaffian Approach to the Ising Problem.	Graphs, Morphisms and Statistical Physics	2001	DBLP DOI BibTeX RDF
48		List of delivered talks.	Graphs, Morphisms and Statistical Physics	2001	DBLP BibTeX RDF
48		Preface.	Graphs, Morphisms and Statistical Physics	2001	DBLP BibTeX RDF
48	Pavol Hell, Jaroslav Nesetril	Counting List Homomorphisms and Graphs with Bounded Degrees.	Graphs, Morphisms and Statistical Physics	2001	DBLP DOI BibTeX RDF
48	Amir Daneshgar, Hossein Hajiabolhassan	Random Walks and Graph Homomorphisms.	Graphs, Morphisms and Statistical Physics	2001	DBLP DOI BibTeX RDF
48	Josep Díaz, Maria J. Serna, Dimitrios M. Thilikos	Recent Results on Parameterized H-Colorings.	Graphs, Morphisms and Statistical Physics	2001	DBLP DOI BibTeX RDF
48	Elchanan Mossel	Survey: Information Flow on Trees.	Graphs, Morphisms and Statistical Physics	2001	DBLP DOI BibTeX RDF
48		List of Participants.	Graphs, Morphisms and Statistical Physics	2001	DBLP BibTeX RDF
48	Stefan Boettcher	Efficient Local Search Near Phase Transitions in CombinatorialOptimization.	Graphs, Morphisms and Statistical Physics	2001	DBLP DOI BibTeX RDF
48	David J. Galvin, Prasad Tetali	On Weighted Graph Homomorphisms.	Graphs, Morphisms and Statistical Physics	2001	DBLP DOI BibTeX RDF
48	Jacob Katriel	The Exchange Interaction, Spin Hamiltonians, and the SymmetricGroup.	Graphs, Morphisms and Statistical Physics	2001	DBLP DOI BibTeX RDF
48	Gabriel Istrate	On the Satisfiability of Random k-Horn Formulae.	Graphs, Morphisms and Statistical Physics	2001	DBLP DOI BibTeX RDF
48	Xuding Zhu	Perfect Graphs for Generalized Colouring-Circular Perfect Graphs.	Graphs, Morphisms and Statistical Physics	2001	DBLP DOI BibTeX RDF
48	Martin E. Dyer, Mark Jerrum, Eric Vigoda	Rapidly Mixing Markov Chains for Dismantleable Constraint Graphs.	Graphs, Morphisms and Statistical Physics	2001	DBLP DOI BibTeX RDF
48	Graham R. Brightwell, Peter Winkler 0001	Graph Homomorphisms and Long Range Action.	Graphs, Morphisms and Statistical Physics	2001	DBLP DOI BibTeX RDF
48	Claude Tardif	Chromatic Numbers of Products of Tournaments: FractionalAspects of Hedetniemi's Conjecture.	Graphs, Morphisms and Statistical Physics	2001	DBLP DOI BibTeX RDF
44	Christian Dimitrovici, Udo Hummert, Laure Petrucci	Semantics, composition and net properties of algebraic high-level nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	coloured nets, net invariants and properties, algebraic net schemes and high-level nets, morphisms of algebraic high-level nets, normed scheme semantics, net properties of high-level nets, morphisms
43	Lucian Ilie, Sheng Yu 0001, Kaizhong Zhang	Repetition Complexity of Words.	COCOON	2002	DBLP DOI BibTeX RDF	repetition complexity, Lempel-Ziv complexity, subword complexity, infinite words, iterated morphisms, ultimate periodicity, de Bruijn words, algorithms, words
43	Jörg Desel	On abstraction of nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Net morphisms, coarsening and composition of nets, transformations
42	Pierre P. Lévy	Pixelization Paradigm: Outline of a Formal Approach.	VIEW	2006	DBLP DOI BibTeX RDF
42	Grit Malik	An Extension of the Theory of Information Flow to Semiconcept and Protoconcept Graphs.	ICCS	2004	DBLP DOI BibTeX RDF
42	Keith A. Hardie, Klaus Heiner Kamps, R. W. Kieboom	A Homotopy 2-Groupoid of a Hausdorff Space.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	2-groupoid, 2-track, higher homotopy structures, fundamental groupoid, piecewise linear map, Gray tensor product, interchange 2-track, folding map, track, tree, homotopy, pasting
42	Carolyn Brown, Doug Gurr	Temporal Logic and Categories of Petrie Nets.	ICALP	1993	DBLP DOI BibTeX RDF
42	Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas	A Categorial Theory of Objects as Observed Processes.	REX Workshop	1990	DBLP DOI BibTeX RDF	object morphism, object aggregation, object inheritance, object reification, process, object, object-oriented system, behaviour, parallel composition
42	Roger L. Norton	Information systems as implementations (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
39	Jirí Mockor	Characteristic Morphisms and Models of Fuzzy Logic in a Category of Sets with Similarities.	IFSA (2)	2007	DBLP DOI BibTeX RDF
39	Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre	Design in CommUnity with Extension Morphisms.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
39	Jeffrey O. Shallit, Ming-wei Wang	On Two-Sided Infinite Fixed Points of Morphisms.	FCT	1999	DBLP DOI BibTeX RDF
39	Cara MacNish, Grigoris Antoniou	Specification Morphisms for Nonmonotonic Knowledge Systems.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF
39	Wojciech Plandowski	Testing Equivalence of Morphisms on Context-Free Languages.	ESA	1994	DBLP DOI BibTeX RDF
39	Christian Choffrut, Juhani Karhumäki	Test Sets for Morphisms with Bounded Delay.	ICALP	1983	DBLP DOI BibTeX RDF
35	Tero Harju, H. C. M. Kleijn	Cardinality Problems of Composition of Morphisms and Inverse Morphisms.	Math. Syst. Theory	1989	DBLP DOI BibTeX RDF
35	Paavo Turakainen	Characterizations of Simple Transducers and Principal SemiAFLs in Terms of Morphisms and Inverse Morphisms.	J. Inf. Process. Cybern.	1987	DBLP BibTeX RDF
35	Michel Latteux, Paavo Turakainen	A New Normal Form for the Compositions of Morphisms and Inverse Morphisms.	Math. Syst. Theory	1987	DBLP DOI BibTeX RDF
35	Yael Maon	On the Equivalence Problem of Compositions of Morphisms and Inverse Morphisms on Context-Free Languages.	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
35	Juhani Karhumäki, H. C. M. Kleijn	On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages.	RAIRO Theor. Informatics Appl.	1985	DBLP DOI BibTeX RDF
33	Carlos Agostinho, Ricardo Jardim-Gonçalves	Dynamic Business Networks: A Headache for Sustainable Systems Interoperability.	OTM Workshops	2009	DBLP DOI BibTeX RDF	Model Morphisms, Complexity, Interoperability, Sustainability, Dynamic Networks
33	Manuela Sobral	Descent for Discrete (Co)fibrations.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	descent data, (effective) descent morphisms, (co)fibrations, discrete (co)fibrations, lax epimorphisms
33	Artur Boronat, Isidro Ramos, José A. Carsí	Automatic Model Generation in Model Management.	CIT	2004	DBLP DOI BibTeX RDF	algebraic morphisms, schema generation, reverse engineering, information modeling, model management
33	Günther Richter	Coreflectivity of E-Monads and Algebraic Hulls.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	factorizations of (homo)morphisms, varietal and algebraic hulls, function spaces, monads
33	Lucia Pomello	Refinement of Concurrent Systems Based on Local State Transformations.	REX Workshop	1989	DBLP DOI BibTeX RDF	functional abstraction and refinement, observable local/global states, local state transformations, morphisms preserving local state transformations
32	Jirí Adámek, Michel Hébert, Lurdes Sousa	The Orthogonal Subcategory Problem and the Small Object Argument.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Orthogonal subcategory problem, Small object argument, Injectivity logic, Presentable morphism, Orthogonality logic
32	Luís Monteiro	A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum.	WADT	2008	DBLP DOI BibTeX RDF
32	Till Mossakowski, Andrzej Tarlecki	Heterogeneous Logical Environments for Distributed Specifications.	WADT	2008	DBLP DOI BibTeX RDF
32	Michael J. Healy, Thomas P. Caudell	Generalized Lattices Express Parallel Distributed Concept Learning.	Computational Intelligence Based on Lattice Theory	2007	DBLP DOI BibTeX RDF
32	Ranald Clouston, Robert Goldblatt	Covarieties of Coalgebras: Comonads and Coequations.	ICTAC	2005	DBLP DOI BibTeX RDF
32	Keith A. Hardie, Klaus Heiner Kamps, Peter J. Witbooi	A 2-groupoid Characterisation of the Cubical Homotopy Pushout.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	homotopy colimit, mapping simplex, homotopy 2-groupoid, coherent homotopy category, semitrack, interchange 2-track
32	Lutz Schröder	Monads on Composition Graphs.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	composition graph, Kleisli category, algebra, monad, adjunction
32	Leila Ribeiro 0001	Parallel Composition of Graph Grammars.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	graph grammars, parallel composition
32	Gabriele Taentzer	Distributed Graphs and Graph Transformation.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	distributed systems, formal specification, graph transformation
32	Gian-Luigi Ferrari 0002, Ugo Montanari	Towards the Unification of Models for Concurrency.	CAAP	1990	DBLP DOI BibTeX RDF
28	Dominik D. Freydenberger, Daniel Reidenbach	The Unambiguity of Segmented Morphisms.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
28	Chao-Lieh Chen	Morphisms from IEEE 802.11 DCF specifications to its EDCA QoS practice with cross-layer interface.	ICPADS	2007	DBLP DOI BibTeX RDF
28	Sorin Constantinescu, Lucian Ilie	The Lempel-Ziv Complexity of Fixed Points of Morphisms.	MFCS	2006	DBLP DOI BibTeX RDF
28	Dalia Krieger	On Critical Exponents in Fixed Points of Binary k-Uniform Morphisms.	STACS	2006	DBLP DOI BibTeX RDF
28	Stephen Lack	Limits for Lax Morphisms.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	2-monad, lax morphism, lax limit, monoidal functor
28	Richard Statman, Henk Barendregt	Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
28	Uwe Wolter	Cofree Coalgebras for Signature Morphisms.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
28	Maria Manuel Clementino, Dirk Hofmann	Effective Descent Morphisms in Categories of Lax Algebras.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	effective descent morphism, lax algebra, monad
28	Vesa Halava, Tero Harju	An Undecidability Result Concerning Periodic Morphisms.	Developments in Language Theory	2001	DBLP DOI BibTeX RDF
28	Peter T. Johnstone	An "Unsitely" Result on Atomic Morphisms.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	atomic morphism, topos theory
28	Lutz Schröder, Horst Herrlich	Free Adjunction of Morphisms.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	(absolutely) initial morphism, (absolute) monomorphism, section, graph, category
28	Vesa Halava, Tero Harju, Mika Hirvensalo	Generalized PCP Is Decidable for Marked Morphisms.	FCT	1999	DBLP DOI BibTeX RDF
28	Klaus-Jörn Lange, Pierre McKenzie	On the Complexity of Free Monoid Morphisms.	ISAAC	1998	DBLP DOI BibTeX RDF