Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
89 | Eraldo Giuli, Walter Tholen |
Openness with Respect to a Closure Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(3), pp. 487-502, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
closed morphism, open morphism, initial morphism, final morphism, open subobject, natural complement, closure operator |
64 | Manuela-Luminita Bujorianu, John Lygeros, Marius C. Bujorianu |
Bisimulation for General Stochastic Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings, pp. 198-214, 2005, Springer, 3-540-25108-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
stochastic hybrid systems, simulation morphism, zigzag morphism, Markov processes, bisimulation, category theory |
64 | H. L. Bentley, Eva Lowen-Colebunders |
Initial Morphisms versus Embeddings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(4), pp. 361-367, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
subobject, initial morphism, bicoreflective, dense morphism, epireflective, embedding, closure operator, topological construct, factorization structure |
63 | Johannes C. Schneider |
Unambiguous Erasing Morphisms in Free Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings, pp. 473-484, 2009, Springer, 978-3-540-95890-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
63 | Patrice Séébold |
On the Conjugation of Standard Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings, pp. 506-516, 1996, Springer, 3-540-61550-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
58 | Michel Hébert |
l-presentable Morphisms, Injectivity and (Weak) Factorization Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 14(4), pp. 273-289, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
finitely presentable morphism, finitely presented morphism, pure morphism, injectivity, locally presentable categories, weak factorization system, orthogonality |
57 | Robert Goldblatt |
Maps and Monads for Modal Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 309-331, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
modal map, bounded morphism, descriptive frame, equivalence of categories, reflective subcategory, Kleisli category, duality, monad |
57 | Peter T. Johnstone |
An "Unsitely" Result on Atomic Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(1-2), pp. 7-15, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
atomic morphism, topos theory |
55 | Keith A. Hardie, Klaus Heiner Kamps, Howard J. Marcum, Nobuyuki Oda |
Triple Brackets and Lax Morphism Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(1), pp. 3-27, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Toda bracket (matrix, box, triple, quaternary), (lax) morphism category, homotopy category, suspension functor, homotopy groups of spheres, 2-category |
51 | Valdis Laan |
On Descent Theory for Monoid Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(5-6), pp. 479-483, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
descent morphism, effective descent morphism, monoid action |
50 | Antonio Bucciarelli, Benjamin Leperchey |
Hypergraphs and Degrees of Parallelism: A Completeness Result. ![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. 58-71, 2004, Springer, 3-540-21298-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Petr Sosík |
D0L System + Watson-Crick Complementarity = Universal Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCU ![In: Machines, Computations, and Universality, Third International Conference, MCU 2001, Chisinau, Moldova, May 23-27, 2001, Proceedings, pp. 308-320, 2001, Springer, 3-540-42121-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
50 | Veikko Keränen |
Abelian Squares are Avoidable on 4 Letters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings, pp. 41-52, 1992, Springer, 3-540-55719-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
47 | Tetsuo Moriya |
Closure properties of subclasses of ω-regular languages under morphism and inverse morphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 43(3-4), pp. 139-146, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
44 | Guillaume C. L. Brümmer, Eraldo Giuli, David B. Holgate |
Direct Reflections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(3), pp. 545-558, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
direct reflection, perfect morphism, Samuel compactification, topological bicompletion |
38 | 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 |
38 | Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt |
Components of the Fundamental Category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(1), pp. 81-108, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
po-space, dihomotopy, fundamental category, category of fractions, invertible morphism, lr-system, pure system, weakly invertible morphism, component |
38 | Maria Manuel Clementino, Eraldo Giuli, Walter Tholen |
What is a Quotient Map with Respect to a Closure Operator? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(2), pp. 139-151, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
c-initial morphism, c-final morphism, c-quotient, Whitehead's Theorem, closure operator |
38 | Kristian Brüning, Birgit Huber |
Realising Smashing Localisations as Morphisms of DG Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(6), pp. 669-687, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 16E45 |
38 | P. J. Abisha, D. Gnanaraj Thomas, K. G. Subramanian 0001 |
Public Key Cryptosystems Based on Free Partially Commutative Monoids and Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2003, 4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003, Proceedings, pp. 218-227, 2003, Springer, 3-540-20609-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Finitely Presented Groups, Free Partially Commutative Monoids, Thue Systems, Public Key Cryptosystem, Word Problem, Zero Knowledge Protocol |
38 | Lutz Schröder, Horst Herrlich |
Free Factorizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(6), pp. 571-593, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
graph, factorization, category, word problem, retraction |
38 | Gwénaël Richomme, Francis Wlazinski |
About Cube-Free Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings, pp. 99-109, 2000, Springer, 3-540-67141-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Philippe Narbel |
The Limit Set of Recognizable Substitution Systems. ![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. 226-236, 1993, Springer, 3-540-56503-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
36 | Emmanuelle Garel |
On the Separators on an Infinite Word Generated by a Morphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 95, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995, Proceedings, pp. 119-130, 1995, Springer, 3-540-59042-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Combinatoric on infinite words, q-regularity, circularity |
32 | Troy Innocent |
Blending realities in game space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Entertain. ![In: Comput. Entertain. 6(3), pp. 35:1-35:15, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Language of computers, digital iconography, semiotic morphism, artificial life, media arts, digital games, ludology |
32 | Joan Jacas, Jordi Recasens |
Maps and isometries between indistinguishability operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 6(1), pp. 14-20, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Indistinguishability operator, Similarity, Morphism, Fuzzy equality, Isometry |
32 | Maria Manuel Clementino |
On Connectedness via Closure Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(6), pp. 539-556, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
constant morphism, left- and right-constant subcategory, and -subcategory, closure operator |
32 | Roberto Gorrieri, Ugo Montanari |
Distributed Implementation of CCS. ![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. 244-266, 1991, Springer, 3-540-56689-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics |
32 | José Luiz Fiadeiro, T. S. E. Maibaum |
Describing, Structuring and Implementing Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings, pp. 274-310, 1990, Springer, 3-540-53931-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
object specification, specification morphism, interpretation between theories, action logic, concurrency, locality, encapsulation, deontic logic |
25 | Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París |
The Foldl Operator as a Coequalizer Using Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers, pp. 167-176, 2009, Springer, 978-3-642-04771-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Wolfram Kahl |
Determinisation of Relational Substitutions in Ordered Categories with Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 243-258, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | James D. Currie, Terry I. Visentin |
On Abelian 2-avoidable binary patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 43(8), pp. 521-533, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Maria Bras-Amorós |
Algebraic-geometry codes, one-point codes, and evaluation codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 43(2-3), pp. 137-145, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
11T71, 14G50, AMS Classifications 94B27 |
25 | Dominik D. Freydenberger, Daniel Reidenbach |
The Unambiguity of Segmented Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings, pp. 181-192, 2007, Springer, 978-3-540-73207-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar |
Extension Morphisms for CommUnity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays Dedicated to Joseph A. Goguen ![In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp. 173-193, 2006, Springer, 3-540-35462-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Inés Friss de Kereki, José Crespo, Javier Azpiazu |
Use of Morphisms as a Tool to Help Learning Object Oriented Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Education for the 21st Century ![In: Education for the 21st Century - Impact of ICT and Digital Resources, IFIP 19th World Computer Congress, TC-3, Education, August 21-24, 2006, Santiago, Chile, pp. 297-301, 2006, Springer, 0-387-34627-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Lioubov Dombrovskaia, Liliana Guzmán |
Student's Approach to Linear Programming Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Education for the 21st Century ![In: Education for the 21st Century - Impact of ICT and Digital Resources, IFIP 19th World Computer Congress, TC-3, Education, August 21-24, 2006, Santiago, Chile, pp. 303-307, 2006, Springer, 0-387-34627-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Dominik D. Freydenberger, Daniel Reidenbach, Johannes C. Schneider |
Unambiguous Morphic Images of Strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings, pp. 248-259, 2005, Springer, 3-540-26546-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Manuela Sobral |
Descent for Discrete (Co)fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(5-6), pp. 527-535, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
descent data, (effective) descent morphisms, (co)fibrations, discrete (co)fibrations, lax epimorphisms |
25 | M. Aguiar |
Infinitesimal Hopf Algebras and the cd-Index of Polytopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 27(1), pp. 3-28, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Aymeric Perchant, Isabelle Bloch |
Graph Fuzzy Homomorphism Interpreted as Fuzzy Association Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 6042-6045, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | 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 |
|
25 | 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 |
|
25 | Roger L. Norton |
Information systems as implementations (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 388, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Veikko Keränen |
On the k-Freeness of Morphisms on Free Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings, pp. 180-188, 1987, Springer, 3-540-17219-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | 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 |
|
25 | Michel Leconte |
K-th power free codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automata on Infinite Words ![In: Automata on Infinite Words, Ecole de Printemps d'Informatique Théorique, Le Mont Dore, France, May 14-18, 1984, pp. 172-187, 1984, Springer, 3-540-15641-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
25 | Andrzej Tarlecki |
Free Constructions in Algebraic Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedings, pp. 526-534, 1984, Springer, 3-540-13372-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
25 | Michel Latteux, Jeannine Leguy |
On the Composition of Morphisms and Inverse Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings, pp. 420-432, 1983, Springer, 3-540-12317-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
24 | James D. Currie, Narad Rampersad |
A Small Morphism for which the Fixed Point has an Abelian Critical Exponent Less than 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 58, pp. 14, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Joohee Kim, Il Im |
Do Users Really Want "Human-like" AI? The Effects of Anthropomorphism and Ego-morphism on User's Perceived Anthropocentric Threat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, pp. 477-487, 2024, ScholarSpace, 978-0-9981331-7-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
24 | James D. Currie, Narad Rampersad |
The analogue of overlap-freeness for the Fibonacci morphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.12962, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | James D. Currie, Narad Rampersad |
A small morphism giving Abelian repetition threshold less than 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.16665, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Florian Rabe 0001, Franziska Weber |
Morphism Equality in Theory Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings, pp. 174-189, 2023, Springer, 978-3-031-42752-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Oladayo Olufemi Olakanmi, Kehinde Oluwasesan Odeyemi |
Secure reputation and morphism-based offloading scheme: A veritable tool for multi-party computation in Industrial Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 34(21), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Luoyi Fu, Jiapeng Zhang, Shan Qu, Huquan Kang, Xinbing Wang, Guihai Chen |
Measuring Social Network De-Anonymizability by Means of Morphism Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 30(6), pp. 2744-2759, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Suman Sapkota, Binod Bhattarai |
Noisy Heuristics NAS: A Network Morphism based Neural Architecture Search using Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.04467, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Li Ding, Haowen Wang, Yinuo Wang, Shumei Wang |
Based on Quantum Topological Stabilizer Color Code Morphism Neural Network Decoder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Eng. ![In: Quantum Eng. 2022, pp. 1-8, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Artan Sheshmani, Yi-Zhuang You |
Categorical representation learning: morphism is all you need. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. Sci. Technol. ![In: Mach. Learn. Sci. Technol. 3(1), pp. 15016, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Nazar Arakelian, Herivelto Borges, Pietro Speziali |
The Hurwitz curve over a finite field and its Weierstrass points for the morphism of lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finite Fields Their Appl. ![In: Finite Fields Their Appl. 73, pp. 101842, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Tobias Fritz, Paolo Perrone, Sharwin Rezagholi |
Probability, valuations, hyperspace: Three monads on top and the support as a morphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(8), pp. 850-897, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Jens Hemelaer, Morgan Rogers |
An Essential, Hyperconnected, Local Geometric Morphism that is not Locally Connected. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 29(4), pp. 573-576, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Renlong Jie, Junbin Gao |
Differentiable Neural Architecture Search with Morphism-based Transformable Backbone Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.07211, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Artan Sheshmani, Yizhuang You |
Categorical Representation Learning: Morphism is All You Need. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.14770, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Can Lu, Jeffrey Xu Yu, Zhiwei Zhang, Hong Cheng 0001 |
Graph Iso/Auto-morphism: A Divide-&-Conquer Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD '21: International Conference on Management of Data, Virtual Event, China, June 20-25, 2021., pp. 1195-1207, 2021, ACM, 978-1-4503-8343-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Donald E. Jarvis |
Machine Learning of an Approximate Morphism of an Electronic Warfare Simulation Component. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Spring Simulation Conference, SpringSim 2020, Fairfax, VA, USA, May 18-21, 2020, pp. 1-12, 2020, IEEE, 978-1-56555-370-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Kilho Shin, Dave Shepard 0001 |
Morphism-Based Learning for Structured Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020., pp. 5767-5775, 2020, AAAI Press, 978-1-57735-823-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Pavlo Radiuk, Hakan Kutucu |
Heuristic Architecture Search Using Network Morphism for Chest X-Ray Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IntelITSIS ![In: Proceedings of the 1st International Workshop on Intelligent Information Technologies & Systems of Information Security, Khmelnytskyi, Ukraine, June 10-12, 2020., pp. 107-121, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Can Lu, Jeffrey Xu Yu, Zhiwei Zhang, Hong Cheng 0001 |
Graph Iso/Auto-morphism: A Divide-&-Conquer Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.06511, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Tobias Fritz, Paolo Perrone, Sharwin Rezagholi |
Probability, valuations, hyperspace: Three monads on Top and the support as a morphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.03752, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Marta Cardin |
Betweenness Spaces: Morphism and Aggregation Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence - 16th International Conference, MDAI 2019, Milan, Italy, September 4-6, 2019, Proceedings, pp. 92-97, 2019, Springer, 978-3-030-26772-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Tao Wei, Changhu Wang, Chang Wen Chen |
Stable Network Morphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: International Joint Conference on Neural Networks, IJCNN 2019 Budapest, Hungary, July 14-19, 2019, pp. 1-8, 2019, IEEE, 978-1-7281-1985-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Arkadiusz Kwasigroch, Michal Grochowski, Mateusz Mikolajczyk |
Deep neural network architecture search using network morphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMAR ![In: 24th International Conference on Methods and Models in Automation and Robotics, MMAR 2019, Międzyzdroje, Poland, August 26-29, 2019, pp. 30-35, 2019, IEEE, 978-1-7281-0933-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Yiming Chen, Tianci Pan, Cheng He 0001, Ran Cheng |
Efficient Evolutionary Deep Neural Architecture Search (NAS) by Noisy Network Morphism Mutation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIC-TA (2) ![In: Bio-inspired Computing: Theories and Applications - 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22-25, 2019, Revised Selected Papers, Part II, pp. 497-508, 2019, Springer, 978-981-15-3414-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Haifeng Jin, Qingquan Song, Xia Hu |
Efficient Neural Architecture Search with Network Morphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.10282, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Jun Lu, Wei Ma, Boi Faltings |
CompNet: Neural networks growing via the compact network morphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.10316, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Ch. Ramprasad, P. L. N. Varma, S. Satyanarayana, N. Srinivasarao |
Morphism of m-Polar Fuzzy Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Fuzzy Syst. ![In: Adv. Fuzzy Syst. 2017, pp. 4715421:1-4715421:9, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Bing Wang, Yuan Yao, Yu Ye |
The Characteristic Morphism of an Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 25(6), pp. 971-990, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | A. R. Shir Ali Nasab, S. N. Hosseini |
Pullback in Partial Morphism Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 25(2), pp. 197-225, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Florian Rabe 0001 |
Morphism axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 691, pp. 55-80, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Aleksandar Nanevski, Anindya Banerjee 0001, Germán Andrés Delbianco |
Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1709.07741, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
24 | Francis Wlazinski |
A uniform cube-free morphism is k-power-free for all integers k ≥ 4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 51(4), pp. 205-216, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Veronica Gacitua-Decar, Claus Pahl |
Structural Process Pattern Matching Based on Graph Morphism Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 27(2), pp. 153-190, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | David Clampitt, Thomas Noll 0002 |
Matching Lexicographic and Conjugation Orders on the Conjugation Class of a Special Sturmian Morphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: Combinatorics on Words - 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings, pp. 85-96, 2017, Springer, 978-3-319-66395-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Jonas Kaiser, Tobias Tebbi, Gert Smolka |
Equivalence of system f and ź2 in Coq based on context morphism lemmas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017, pp. 222-234, 2017, ACM, 978-1-4503-4705-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | A. Tahmasbpour, Rajab Ali Borzooei, Hossein Rashmanlou |
f-morphism on bipolar fuzzy graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 30(2), pp. 651-658, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Henning Fernau, Markus L. Schmid, Yngve Villanger |
On the Parameterised Complexity of String Morphism Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 59(1), pp. 24-51, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Tao Wei, Changhu Wang, Yong Rui, Chang Wen Chen |
Network Morphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.01670, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
24 | Tao Wei, Changhu Wang, Yong Rui, Chang Wen Chen |
Network Morphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 33nd International Conference on Machine Learning, ICML 2016, New York City, NY, USA, June 19-24, 2016, pp. 564-572, 2016, JMLR.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
24 | Francine Blanchet-Sadri, James D. Currie, Narad Rampersad, Nathan Fox |
Abelian Complexity of Fixed Point of Morphism 0 ↦ 012, 1 ↦ 02, 2 ↦ 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integers ![In: Integers 14, pp. A11, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | David Baraglia |
A Coboundary Morphism for the Grothendieck Spectral Sequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 22(1), pp. 269-288, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Juha Honkala |
Remarks concerning the freeness problem over morphism and matrix semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 557, pp. 115-119, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Sylvia Pulmannová, Elena Vinceková |
State-morphism pseudo-effect algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 18(1), pp. 5-13, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Rajab Ali Borzooei, Anatolij Dvurecenskij, Omid Zahiri |
State BCK-algebras and state-morphism BCK-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 244, pp. 86-105, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Till Mossakowski, Ulf Krumnack, Tom Maibaum |
What Is a Derived Signature Morphism? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers, pp. 90-109, 2014, Springer, 978-3-319-28113-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Michel Las Vergnas |
The Tutte polynomial of a morphism of matroids - 5. Derivatives as generating functions of Tutte activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 34(8), pp. 1390-1405, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Hamed M. K. Alazemi, Anton Cerný |
Several extensions of the Parikh matrix L-morphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 79(5), pp. 658-668, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Alberto Gatto |
Bisimulation and p-morphism for branching-time logics with indistinguishability relations ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1302.6514, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
24 | Michal Botur, Anatolij Dvurecenskij |
State-morphism algebras - General approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 218, pp. 90-102, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Henning Fernau, Markus L. Schmid, Yngve Villanger |
On the Parameterised Complexity of String Morphism Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 55-66, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|