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 |
|