Search results for "morphisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Dorel Lucanu, Yuan-Fang Li, Jin Song Dong	Soundness proof of Z semantics of OWL using institutions.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	comorphism of institutions, OWL, Z, institution
11	Thorsten Altenkirch, Jonathan Grattage	A Functional Quantum Programming Language.	LICS	2005	DBLP DOI BibTeX RDF
11	Tim Becker	Features of Interaction Between Formal Concept Analysis and Algebraic Geometry.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
11	Fabio Gadducci, Ugo Montanari	Graph Processes with Fusions: Concurrency by Colimits, Again.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF	dpo rewriting, concurrent semantics, process calculi
11	Martin Meier	Harsanyi type spaces with knowledge operators.	TARK	2005	DBLP BibTeX RDF
11	Isabel M. Araújo, Véronique Bruyère	Sturmian Words: Dynamical Systems and Derivated Words.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
11	Dominik D. Freydenberger, Daniel Reidenbach, Johannes C. Schneider	Unambiguous Morphic Images of Strings.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
11	Kalle Saari	On the Frequency of Letters in Pure Binary Morphic Sequences.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
11	Andreas Krebs, Klaus-Jörn Lange, Stephanie Reifferscheid	Characterizing TC0 in Terms of Infinite Groups.	STACS	2005	DBLP DOI BibTeX RDF
11	Miguel Palomino, José Meseguer 0001, Narciso Martí-Oliet	A Categorical Approach to Simulations.	CALCO	2005	DBLP DOI BibTeX RDF
11	Nan Niu, Steve M. Easterbrook, Mehrdad Sabetzadeh	A Category-theoretic Approach to Syntactic Software Merging.	ICSM	2005	DBLP DOI BibTeX RDF
11	Claudio Hermida	Descent on 2-Fibrations and Strongly 2-Regular 2-Categories.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	2-fibration, effective descent, essentially-surjective-on-objects, pseudo-monadicity
11	H. L. Bentley, Horst Herrlich	Merotopological Spaces.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	merotopic space, nearness space, merotopological space, epireflective hull, bunch, cluster, completion, topological space
11	Lucia Pomello, Luca Bernardinello	Formal Tools for Modular System Development.	ICATPN	2004	DBLP DOI BibTeX RDF
11	Marius C. Bujorianu, Eerke A. Boiten	Towards Correspondence Carrying Specifications.	AMAST	2004	DBLP DOI BibTeX RDF	UML, Z, viewpoints, LOTOS, category theory, partial specification
11	Gillian Hill, Steven Vickers	A Language for Configuring Multi-level Specifications.	AMAST	2004	DBLP DOI BibTeX RDF
11	Michel Bidoit, Rolf Hennicker	Glass Box and Black Box Views of State-Based System Specifications..	AMAST	2004	DBLP DOI BibTeX RDF
11	Carsten Führmann, David J. Pym	On the Geometry of Interaction for Classical Logic.	LICS	2004	DBLP DOI BibTeX RDF
11	Narad Rampersad	Words Avoiding 7/3-Powers and the Thue-Morse Morphism.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
11	Pascal Hitzler, Guo-Qiang Zhang 0001	A Cartesian Closed Category of Approximable Concept Structures.	ICCS	2004	DBLP DOI BibTeX RDF
11	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli	Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA).	EMSOFT	2004	DBLP DOI BibTeX RDF	distributed deployment, heterogeneous reactive systems, GALS
11	Daniele Varacca, Hagen Völzer, Glynn Winskel	Probabilistic Event Structures and Domains.	CONCUR	2004	DBLP DOI BibTeX RDF
11	Robert Cacioppo	Recognition in a Distributed System.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	sheaf, pattern recognition, knowledge representation
11	Ross Street	Functorial Calculus in Monoidal Bicategories.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	enriched category, dinatural transformation, Gray monoid, dual
11	Ernst-Erich Doberkat	Pipelines: Modelling a software architecture through relations.	Acta Informatica	2003	DBLP DOI BibTeX RDF
11	Brian A. Davey, John C. Galati	A Coalgebraic View of Heyting Duality.	Stud Logica	2003	DBLP DOI BibTeX RDF	Priestley duality, Coalgebra, Heyting algebra
11	Radim Belohlávek	Birkhoff variety theorem and fuzzy logic.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Fuzzy logic, Variety, Universal algebra, Fuzzy equality
11	Irina B. Virbitskaite, Natalya S. Gribovskaja	Open Maps and Trace Semantics for Timed Partial Order Models.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	timed event structures, trace equivalence, Category theory, partial order semantics
11	Giuseppe Scollo	An Institution Isomorphism for Planar Graph Colouring.	RelMiCS	2003	DBLP DOI BibTeX RDF
11	Ernst-Erich Doberkat	Semi-pullbacks and Bisimulations in Categories of Stochastic Relations.	ICALP	2003	DBLP DOI BibTeX RDF	semi-pullback, stochastic relations, labelled Markov processes, Hennessy-Milner logic, Bisimulation
11	Sergey Melnik 0001, Erhard Rahm, Philip A. Bernstein	Rondo: A Programming Platform for Generic Model Management.	SIGMOD Conference	2003	DBLP DOI BibTeX RDF
11	Vesa Halava, Tero Harju, Hendrik Jan Hoogeboom, Michel Latteux	Languages Defined by Generalized Equality Sets.	FCT	2003	DBLP DOI BibTeX RDF
11	Grit Malik	Distributed Systems with Simple Concept Graphs.	ICCS	2003	DBLP DOI BibTeX RDF
11	Julia Padberg, Milan Urbásek	Rule-Based Refinement of Petri Nets: A Survey.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
11	Manfred Droste, R. M. Shortt	From Petri Nets to Automata with Concurrency.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	automaton with concurrency relations, place/transition systems, conditional coproduct, coreflection, Petri net, adjunction
11	Diederik Aerts, Eva Colebunders, A. Van der Voorde, B. Van Steirteghem	On the Amnestic Modification of the Category of State Property Systems.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	closure space, state property system, amnestic modification
11	Kathryn Hess	Model Categories in Algebraic Topology.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	algebraic homotopy theory, Lusternik-Schnirelmann category, model category, rational homotopy theory, Sullivan model, monoidal category
11	Joan Jacas, Jordi Recasens	Maps and isometries between indistinguishability operators.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Indistinguishability operator, Similarity, Morphism, Fuzzy equality, Isometry
11	Jiri Mockor	Semigroup homomorphisms and fuzzy automata.	Soft Comput.	2002	DBLP DOI BibTeX RDF
11	M. Aguiar	Infinitesimal Hopf Algebras and the cd-Index of Polytopes.	Discret. Comput. Geom.	2002	DBLP DOI BibTeX RDF
11	Till Mossakowski	Foundations of Heterogeneous Specification.	WADT	2002	DBLP DOI BibTeX RDF
11	Richard Jüllig	Formal Methods in Enterprise Computing.	ICFEM	2002	DBLP DOI BibTeX RDF
11	Dusko Pavlovic, Douglas R. Smith	Guarded Transitions in Evolving Specifications.	AMAST	2002	DBLP DOI BibTeX RDF
11	Stepan Holub	A Unique Structure of Two-Generated Binary Equality Sets.	Developments in Language Theory	2002	DBLP DOI BibTeX RDF
11	Dusko Pavlovic, Douglas R. Smith	Software Development by Refinement.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
11	Howard Straubing	On Logical Descriptions of Regular Languages.	LATIN	2002	DBLP DOI BibTeX RDF
11	Annegret Habel, Detlef Plump	Relabelling in Graph Transformation.	ICGT	2002	DBLP DOI BibTeX RDF
11	Marcel Erné, Dongsheng Zhao	Z-Join Spectra of Z-Supercompactly Generated Lattices.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	(Z-)below relation, (Z-super)compact, completely distributive lattice, (Z-)continuous posets, (Z-join) ideal completion, (Z-super)sober space, spectrum
11	Yasubumi Sakakibara, Satoshi Kobayashi	Sticker systems with complex structures.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Sticker system, DNA computing, Self-assembly, Secondary structure
11	Manfred Droste, R. M. Shortt	Continuous Petri Nets and Transition Systems.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
11	Julia Padberg, Hartmut Ehrig	Parameterized Net Classes: A Uniform Approach to Petri Net Classes.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF	actual and formal parameter, uniform approach, rule-based refinement, Petri Nets, fusion, union, high-level nets
11	Mícheál Mac an Airchinnigh	Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics.	FME	2001	DBLP DOI BibTeX RDF	Topos Theory, Unifying Theory, modelling, intuitionistic logic, VDM, constructive mathematics, Heyting algebra, Cartesian closed category
11	Michal Kunc	The Trace Coding Problem Is Undecidable.	ICALP	2001	DBLP DOI BibTeX RDF
11	Juhani Karhumäki	Combinatorial and Computational Problems on Finite Sets of Words.	MCU	2001	DBLP DOI BibTeX RDF
11	Janis Cirulis	Are There Essentially Incomplete Knowledge Representation Systems?	FCT	2001	DBLP DOI BibTeX RDF	complete information, fuzzification, knowledge representation system, simulation, uncertainty
11	Bernhard Ganter, Sergei O. Kuznetsov	Pattern Structures and Their Projections.	ICCS	2001	DBLP DOI BibTeX RDF
11	José Luis Freire, José E. Freire Brañas, Antonio Blanco Ferro, Juan J. Sánchez Penas	Fusion in Coq.	EUROCAST	2001	DBLP DOI BibTeX RDF
11	Suad Alagic, Philip A. Bernstein	A Model Theory for Generic Schema Management.	DBPL	2001	DBLP DOI BibTeX RDF
11	Marc Joye, Christophe Tymen	Protections against Differential Analysis for Elliptic Curve Cryptography.	CHES	2001	DBLP DOI BibTeX RDF	Smart-cards, Side-channel attacks, Public-key cryptography, Elliptic curves, Differential power analysis (DPA), Timing attacks
11	Vincent Camion, Laurent Younes	Geodesic Interpolating Splines.	EMMCVPR	2001	DBLP DOI BibTeX RDF
11	Guillaume C. L. Brümmer, Eraldo Giuli, David B. Holgate	Direct Reflections.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	direct reflection, perfect morphism, Samuel compactification, topological bicompletion
11	Dieter Spreen	A New Model Construction for the Polymorphic Lambda Calculus.	LPAR	2000	DBLP DOI BibTeX RDF
11	Sofia Guerra	Distance Functions for Defaults in Reactive Systems.	AMAST	2000	DBLP DOI BibTeX RDF
11	Matthias Schröder 0001	Admissible Representations of Limit Spaces.	CCA	2000	DBLP DOI BibTeX RDF
11	Josée Desharnais, Vineet Gupta 0001, Radha Jagadeesan, Prakash Panangaden	Approximating Labeled Markov Processes.	LICS	2000	DBLP DOI BibTeX RDF
11	Frank Drewes, Berthold Hoffmann, Detlef Plump	Hierarchical Graph Transformation.	FoSSaCS	2000	DBLP DOI BibTeX RDF
11	Werner Kuich	Formal Series over Algebras.	MFCS	2000	DBLP DOI BibTeX RDF
11	Pierre-Cyrille Héam	Automata for Pro-V Topologies.	CIAA	2000	DBLP DOI BibTeX RDF
11	Jürgen Dassow	Parikh Mapping and Iteration.	WMP	2000	DBLP DOI BibTeX RDF
11	Thierry Coquand, Guo-Qiang Zhang 0001	Sequents, Frames, and Completeness.	CSL	2000	DBLP DOI BibTeX RDF
11	Mathias Kegelmann	Factorisation Systems on Domains.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	factorisation systems, stable domains, domain theory, Cartesian closed categories
11	Giorgio De Michelis	Net Theory and Workflow Models (abstract).	ICATPN	1999	DBLP DOI BibTeX RDF
11	Marcelo P. Fiore, Alex K. Simpson	Lambda Definability with Sums via Grothendieck Logical Relations.	TLCA	1999	DBLP DOI BibTeX RDF
11	Glynn Winskel	Event Structures as Presheaves -Two Representation Theorems.	CONCUR	1999	DBLP DOI BibTeX RDF
11	Alfio Martini, Uwe Wolter	A Single Perspective on Arrows between Institutions.	AMAST	1998	DBLP DOI BibTeX RDF
11	Isabelle Ryl, Yves Roos, Mireille Clerbout	About Synchronization Languages.	MFCS	1998	DBLP DOI BibTeX RDF
11	Mogens Nielsen	Reasoning About the Past.	MFCS	1998	DBLP DOI BibTeX RDF
11	Roberto Bruni, José Meseguer 0001, Ugo Montanari, Vladimiro Sassone	A Comparison of Petri Net Semantics under the Collective Token Philosophy.	ASIAN	1998	DBLP DOI BibTeX RDF
11	Eugene W. Stark	Fibrational Semantics of Dataflow Networks.	CONCUR	1998	DBLP DOI BibTeX RDF
11	Martin Große-Rhode	Algebra Transformation Systems and their Composition.	FASE	1998	DBLP DOI BibTeX RDF
11	James Laird	Full Abstraction for Functional Languages with Control.	LICS	1997	DBLP DOI BibTeX RDF
11	Hartmut Ehrig, Julia Padberg	A Uniform Approach to Petri Nets.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
11	Luca Bernardinello, Lucia Pomello	A Category of Transition Systems and Its Relations with Orthomodular Posets.	MFCS	1997	DBLP DOI BibTeX RDF
11	Georg Karner, Werner Kuich	A Characterization of Abstract Families of Algebraic Power Series.	MFCS	1997	DBLP DOI BibTeX RDF
11	Eric Goubault	Durations for Truly-Concurrent Transitions.	ESOP	1996	DBLP DOI BibTeX RDF
11	Volker Diekert, Anca Muscholl	Code Problems on Traces.	MFCS	1996	DBLP DOI BibTeX RDF
11	Adriano Peron	Statecharts, Transition Structures and Transformations.	TAPSOFT	1995	DBLP DOI BibTeX RDF
11	Isabelle Fagnot	On the Subword Equivalence Problem for Infinite Words.	STACS	1995	DBLP DOI BibTeX RDF
11	Krishna M. Kavi, Frederick T. Sheldon, Behrooz A. Shirazi, Ali R. Hurson	Reliability analysis of CSP specifications using Petri nets and Markov processes.	HICSS (2)	1995	DBLP DOI BibTeX RDF	stochastic analyses, CSP-based system specifications, potential failure processes, recovery actions, user level specification, performance, formal specification, Petri nets, Petri nets, Markov processes, Markov processes, cost, functionality, system recovery, safety-critical software, failure analysis, reliability analysis, communicating sequential processes, user needs
11	Andrea Corradini 0001, Fabio Gadducci, Ugo Montanari	Relating Two Categorial Models of Term Rewriting.	RTA	1995	DBLP DOI BibTeX RDF	concurrency, term rewriting, rewriting logic, categorical models
11	Till Mossakowski	Equivalences among Various Logical Frameworks of Partial Algebras.	CSL	1995	DBLP DOI BibTeX RDF
11	Mogens Nielsen, Allan Cheng	Obseving Behaviour Categorically.	FSTTCS	1995	DBLP DOI BibTeX RDF
11	Peter Schäuble, Beat Wüthrich	On the Expressive Power of Query Languages.	ACM Trans. Inf. Syst.	1994	DBLP DOI BibTeX RDF	expressive power of query languages, fixpoint query languages, functional query languages, relational query languages, datalog
11	Wieb Bosma, John J. Cannon, Graham Matthews	Programming with Algebraic Structures: Design of the MAGMA Language.	ISSAC	1994	DBLP DOI BibTeX RDF	C
11	Abbas Edalat, Michael B. Smyth	Information categories.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Scott information systems, I-category, categories of domains, Stone spaces, initial algebra, domain equations
11	Peter T. Johnstone	Fibrations and partial products in a 2-category.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	partial product, Fibration, 2-category
11	Peter W. O'Hearn, Robert D. Tennent	Relational Parametricity and Local Variables.	POPL	1993	DBLP DOI BibTeX RDF	ALGOL
11	Philippe Narbel	The Boundary of Substitution Systems.	MFCS	1993	DBLP DOI BibTeX RDF
11	Francesco Parisi-Presicce, S. Veglioni	Heterogeneous Unified Algebras.	MFCS	1993	DBLP DOI BibTeX RDF
11	Adrian Fiech	Category of Delta-Functors.	MFPS	1993	DBLP DOI BibTeX RDF