Search results for "KLEENE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
116	Hitoshi Furusawa	A Free Construction of Kleene Algebras with Tests.	MPC	2004	DBLP DOI BibTeX RDF
106	Koki Nishizawa, Norihiro Tsumagari, Hitoshi Furusawa	The Cube of Kleene Algebras and the Triangular Prism of Multirelations.	RelMiCS	2009	DBLP DOI BibTeX RDF
103	Thorsten Ehm	Pointer Kleene Algebra.	RelMiCS	2003	DBLP DOI BibTeX RDF	pointer algebra, pointer structures, embedding, Kleene algebra
100	Peter Jipsen	From Semirings to Residuated Kleene Lattices.	Stud Logica	2004	DBLP DOI BibTeX RDF	action algebras, congruence properties, Gentzen systems, residuated lattices, Semirings, Kleene algebras, Kleene algebras with test
95	Claude Bolduc, Béchir Ktari	Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs.	RelMiCS	2009	DBLP DOI BibTeX RDF
95	Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa	A Non-probabilistic Relational Model of Probabilistic Kleene Algebras.	RelMiCS	2008	DBLP DOI BibTeX RDF
95	Ernie Cohen	Weak Kleene Algebra and Computation Trees.	RelMiCS	2006	DBLP DOI BibTeX RDF
95	Toshinori Takai, Hitoshi Furusawa	Monodic Tree Kleene Algebra.	RelMiCS	2006	DBLP DOI BibTeX RDF
95	Thorsten Ehm, Bernhard Möller, Georg Struth	Kleene Modules.	RelMiCS	2003	DBLP DOI BibTeX RDF
94	Sergey Goncharov 0001, Lutz Schröder, Till Mossakowski	Kleene Monads: Handling Iteration in a Framework of Generic Effects.	CALCO	2009	DBLP DOI BibTeX RDF
94	Dexter Kozen	On Kleene Algebras and Closed Semirings.	MFCS	1990	DBLP DOI BibTeX RDF
92	Bernhard Möller, Georg Struth	Greedy-Like Algorithms in Modal Kleene Algebra.	RelMiCS	2003	DBLP DOI BibTeX RDF	Idempotent semiring, image and preimage operation, modal operators, Geach formula, program development and analysis, confluence, Kleene algebra
84	Jules Desharnais	Kleene Algebra with Relations.	RelMiCS	2003	DBLP DOI BibTeX RDF
83	Feng Feng 0003, Young Bae Jun	Inductive semimodules and the vector modules over them.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Semimodule, Inductive *-semiring, Kleene module, Inductive semimodule, Linear inequation system, Semiring, Kleene algebra
83	Dexter Kozen, Frederick Smith	Kleene Algebra with Tests: Completeness and Decidability.	CSL	1996	DBLP DOI BibTeX RDF
78	Dexter Kozen	Nonlocal Flow of Control and Kleene Algebra with Tests.	LICS	2008	DBLP DOI BibTeX RDF	control flow, Kleene algebra, program restructuring, Kleene algebra with tests
78	Hitoshi Furusawa	A Framework for Kleene Algebra with an Embedded Structure.	RelMiCS	2005	DBLP DOI BibTeX RDF
75	Mark Hopkins	The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy.	RelMiCS	2008	DBLP DOI BibTeX RDF	Kleene, Language, Regular Expression, Grammar, Rational, Semigroup, Monoid, Quantale, Dioid, Context-Free
73	James Worthington	Automatic Proof Generation in Kleene Algebra.	RelMiCS	2008	DBLP DOI BibTeX RDF
73	Kamal Aboul-Hosn, Dexter Kozen	Local Variable Scoping and Kleene Algebra with Tests.	RelMiCS	2006	DBLP DOI BibTeX RDF
72	Eric Allender, Vikraman Arvind, Meena Mahajan	Arithmetic Complexity, Kleene Closure, and Formal Power Series.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
72	Dexter Kozen	Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra.	STACS	2001	DBLP DOI BibTeX RDF
72	Paul Gastin, Antoine Petit 0001, Wieslaw Zielonka	A Kleene Theorem for Infinite Trace Languages.	ICALP	1991	DBLP DOI BibTeX RDF
69	Jules Desharnais, Bernhard Möller, Georg Struth	Kleene algebra with domain.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Idempotent semiring, codomain, image and preimage operation, program development and analysis, domain, Kleene algebra, equational reasoning, state transition systems
69	Georg Struth	Calculating Church-Rosser Proofs in Kleene Algebra.	RelMiCS	2001	DBLP DOI BibTeX RDF	$lambda$-calculus, Church-Rosser theorem, rewriting, Kleene algebra, formal mathematics
69	Tomoko Ninomiya, Masao Mukaidono	Clarifying the Axioms of Kleene Algebra based on the Method of Indeterminate Coefficients.	ISMVL	1999	DBLP DOI BibTeX RDF	the Method of Indeteminate Coefficients, Independency of axiom, Complete axioms, Kleene Algebra
69	Dexter Kozen	Kleene Algebra with Tests.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	specification, dynamic logic, Kleene algebra
67	Dexter Kozen	On Hoare logic and Kleene algebra with tests.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	specification, dynamic logic, Hoare logic, Kleene algebra, Kleene algebra with tests
64	Patrik Eklund, Robert Helgesson	Composing Partially Ordered Monads.	RelMiCS	2009	DBLP DOI BibTeX RDF	partially ordered monad, Kleene algebra
62	C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman	Foundations of Concurrent Kleene Algebra.	RelMiCS	2009	DBLP DOI BibTeX RDF
62	Annabelle McIver, E. Cohen, Carroll Morgan	Using Probabilistic Kleene Algebra for Protocol Verification.	RelMiCS	2006	DBLP DOI BibTeX RDF
62	Kamal Aboul-Hosn	An Axiomatization of Arrays for Kleene Algebra with Tests.	RelMiCS	2006	DBLP DOI BibTeX RDF
62	Hitoshi Furusawa	The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions.	RelMiCS	2003	DBLP DOI BibTeX RDF
61	Anton Setzer	Partial Recursive Functions in Martin-Löf Type Theory.	CiE	2006	DBLP DOI BibTeX RDF	Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory
61	Paolo D'Alberto, Alexandru Nicolau	R-Kleene: A High-Performance Divide-and-Conquer Algorithm for the All-Pair Shortest Path for Densely Connected Networks.	Algorithmica	2007	DBLP DOI BibTeX RDF
61	Arnaud Carayol, Didier Caucal	The Kleene Equality for Graphs.	MFCS	2006	DBLP DOI BibTeX RDF
61	Bernhard Möller, Georg Struth	p Is.	RelMiCS	2005	DBLP DOI BibTeX RDF
61	Christopher Hardin	How the Location of * Influences Complexity in Kleene Algebra with Tests.	LPAR	2004	DBLP DOI BibTeX RDF
61	Tomoko Ninomiya, Masao Mukaidono	Fundamental Properties on Axioms of Kleene Algebra.	ISMIS	2000	DBLP DOI BibTeX RDF
61	Dexter Kozen	On the Complexity of Reasoning in Kleene Algebra.	LICS	1997	DBLP DOI BibTeX RDF
58	Mark W. Hopkins, Dexter Kozen	Parikh's Theorem in Commutative Kleene Algebra.	LICS	1999	DBLP DOI BibTeX RDF	formal methods, Kleene algebra, universal algebra, logics of programs
56	Peter Höfner	Automated Reasoning for Hybrid Systems - Two Case Studies -.	RelMiCS	2008	DBLP DOI BibTeX RDF
55	Marco Hollenberg	Equational Axioms of Test Algebra.	CSL	1997	DBLP DOI BibTeX RDF
53	Mark Hopkins	The Algebraic Approach II: Dioids, Quantales and Monads.	RelMiCS	2008	DBLP DOI BibTeX RDF	Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid
52	Klaus-Dieter Schewe, Bernhard Thalheim	Reasoning About Web Information Systems Using Story Algebras.	ADBIS	2004	DBLP DOI BibTeX RDF	navigation, process algebra, personalisation, Web information system, Kleene algebra
51	Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis	Investigating Discrete Controllability with Kleene Algebra.	RelMiCS	2003	DBLP DOI BibTeX RDF
50	Daniel Gyllstrom, Jagrati Agrawal, Yanlei Diao, Neil Immerman	On Supporting Kleene Closure over Event Streams.	ICDE	2008	DBLP DOI BibTeX RDF
50	Manfred Droste, Karin Quaas	A Kleene-Schützenberger Theorem for Weighted Timed Automata.	FoSSaCS	2008	DBLP DOI BibTeX RDF
50	Bernhard Möller	Lazy Kleene Algebra.	MPC	2004	DBLP DOI BibTeX RDF
50	Bernhard Möller, Georg Struth	Modal Kleene Algebra and Partial Correctness.	AMAST	2004	DBLP DOI BibTeX RDF
45	Kim Solin	A While Program Normal Form Theorem in Total Correctness.	RelMiCS	2009	DBLP DOI BibTeX RDF
45	Jean-Lou De Carufel, Jules Desharnais	Latest News about Demonic Algebra with Domain.	RelMiCS	2008	DBLP DOI BibTeX RDF
45	Jean-Lou De Carufel, Jules Desharnais	On the Structure of Demonic Refinement Algebras with Enabledness and Termination.	RelMiCS	2008	DBLP DOI BibTeX RDF
45	Bernhard Möller	Knowledge and Games in Modal Semirings.	RelMiCS	2008	DBLP DOI BibTeX RDF
45	Wolfram Kahl	Determinisation of Relational Substitutions in Ordered Categories with Domain.	RelMiCS	2008	DBLP DOI BibTeX RDF
45	Béchir Ktari, François Lajeunesse-Robert, Claude Bolduc	Solving Linear Equations in *-continuous Action Lattices.	RelMiCS	2008	DBLP DOI BibTeX RDF
45	Wojciech Buszkowski	On the Complexity of the Equational Theory of Relational Action Algebras.	RelMiCS	2006	DBLP DOI BibTeX RDF
45	Jean-Lou De Carufel, Jules Desharnais	Demonic Algebra with Domain.	RelMiCS	2006	DBLP DOI BibTeX RDF
45	Wolfram Kahl	Calculational Relation-Algebraic Proofs in Isabelle/Isar.	RelMiCS	2003	DBLP DOI BibTeX RDF
41	Barzan Mozafari, Kai Zeng 0002, Carlo Zaniolo	K*SQL: a unifying engine for sequence patterns and XML.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	kleene-closure, sequence queries, sql, pattern matching, xpath
41	Martín Hötzel Escardó	Computability of Continuous Solutions of Higher-Type Equations.	CiE	2009	DBLP DOI BibTeX RDF	Higher-type computability, Kleene-Kreisel spaces of continuous functionals, exhaustible set
41	Wojciech Buszkowski, Ewa Palka	Infinitary Action Logic: Complexity, Models and Grammars.	Stud Logica	2008	DBLP DOI BibTeX RDF	action algebra, relation algebra, Kleene algebra, categorial grammar
41	Jan A. Bergstra, Alban Ponse	Register-machine based processes.	J. ACM	2001	DBLP DOI BibTeX RDF	Kleene star, push-down operation, concurrency, computability, process algebra, expressivity, iteration, Bisimulation equivalence
39	Dexter Kozen, Jerzy Tiuryn	Substructural logic and partial correctness.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	specification, linear logic, Dynamic logic, Hoare logic, sequent calculus, substructural logic, Kleene algebra, Kleene algebra with tests
39	Zoltán Fülöp 0001, Andreas Maletti, Heiko Vogler	A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Recognizable tree series, Rational tree series, Multioperator monoids, Semirings
39	Rui Qiao 0003, Yuan Wang, Xinyan Gao, Jinzhao Wu	Operational semantics of probabilistic Kleene algebra with tests.	ISCC	2008	DBLP DOI BibTeX RDF
39	Peter Höfner, Georg Struth	Automated Reasoning in Kleene Algebra.	CADE	2007	DBLP DOI BibTeX RDF
39	Chris Hardin	Proof Theory for Kleene Algebra.	LICS	2005	DBLP DOI BibTeX RDF
39	Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv	A Kleene Analysis of Mobile Ambients.	ESOP	2000	DBLP DOI BibTeX RDF
39	Manfred Kerber, Michael Kohlhase	A Mechanization of Strong Kleene Logic for Partial Functions.	CADE	1994	DBLP DOI BibTeX RDF
39	Hans Leiß	Towards Kleene Algebra with Recursion.	CSL	1991	DBLP DOI BibTeX RDF
39	Jacques Sakarovitch	Kleene's theorem revisited.	IMYCS	1986	DBLP DOI BibTeX RDF
38	Atul Dhingra, Jie Shen, Nicholas Kleene	Learning Large Scale Sparse Models.	CoRR	2023	DBLP DOI BibTeX RDF
38	Aaron Scherzinger, Florian Kleene, Cathrin Dierkes, Friedemann Kiefer, Klaus H. Hinrichs, Xiaoyi Jiang 0001	Automated Segmentation of Immunostained Cell Nuclei in 3D Ultramicroscopy Images.	GCPR	2016	DBLP DOI BibTeX RDF
38	Donald A. French, Richard J. Flannery, Charles W. Groetsch, Willam B. Krantz, Steven J. Kleene	Numerical approximation of solutions of a nonlinear inverse problem arising in olfaction experimentation.	Math. Comput. Model.	2006	DBLP DOI BibTeX RDF
38	Ming-yu Wang, Michael Cutler, Iman Karimpour, Kenneth C. Kleene	Nucleotide sequence of a mouse testis poly(A) binding protein cDNA.	Nucleic Acids Res.	1992	DBLP DOI BibTeX RDF
38	Stephen Cole Kleene	Reflections on Church's thesis.	Notre Dame J. Formal Log.	1987	DBLP DOI BibTeX RDF
38	Stephen Cole Kleene	Origins of Recursive Function Theory.	IEEE Ann. Hist. Comput.	1981	DBLP DOI BibTeX RDF
38	Stephen Cole Kleene	Algorithms in various contexts.	Algorithms in Modern Mathematics and Computer Science	1979	DBLP DOI BibTeX RDF
38	Stephen Cole Kleene	Origins of Recursive Function Theory	FOCS	1979	DBLP DOI BibTeX RDF
38	Stephen Cole Kleene	An Addendum to The Work of Kurt Gödel.	J. Symb. Log.	1978	DBLP DOI BibTeX RDF
38	Stephen Cole Kleene	The Work of Kurt Gödel.	J. Symb. Log.	1976	DBLP DOI BibTeX RDF
38	Stephen Cole Kleene	An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms.	J. Symb. Log.	1963	DBLP DOI BibTeX RDF
38	Stephen Cole Kleene	Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms.	J. Symb. Log.	1962	DBLP DOI BibTeX RDF
38	Stephen Cole Kleene	On the Interpretation of Intuitionistic Number Theory.	J. Symb. Log.	1945	DBLP DOI BibTeX RDF
38	Stephen Cole Kleene	Third Meeting of the Association for Symbolic Logic.	J. Symb. Log.	1938	DBLP DOI BibTeX RDF
38	Stephen Cole Kleene	On Notation for Ordinal Numbers.	J. Symb. Log.	1938	DBLP DOI BibTeX RDF
36	Eugene Asarin, Paul Caspi, Oded Maler	A Kleene Theorem for Timed Automata.	LICS	1997	DBLP DOI BibTeX RDF	Kleene theorem, timed regular expressions, dense-time discrete-valued signals, /spl omega/-regular expressions, timed automata, expressive power, automata theory
34	Thomas Braibant	Algèbres de Kleene, réécriture modulo AC et circuits en coq. (Kleene algebra, Rewriting modulo AC and Circuits in Coq).		2012	RDF
34	Rudolf Berghammer, Ali Jaoua, Bernhard Möller (eds.)	Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings	RelMiCS	2009	DBLP DOI BibTeX RDF
34	Martin Eric Müller	Modalities, Relations, and Learning.	RelMiCS	2009	DBLP DOI BibTeX RDF
34	Jules Desharnais, Peter Jipsen, Georg Struth	Domain and Antidomain Semigroups.	RelMiCS	2009	DBLP DOI BibTeX RDF
34	Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska	Computational Social Choice Using Relation Algebra and RelView.	RelMiCS	2009	DBLP DOI BibTeX RDF
34	Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili 0001	Relational Methods in the Analysis of While Loops: Observations of Versatility.	RelMiCS	2009	DBLP DOI BibTeX RDF	Function extraction, loop functions, invariant assertions, invariant relations, invariant functions, computing loop behavior, refinement calculus, relational calculus
34	Alexander Fronk, Rudolf Berghammer	A Relation-Algebraic Approach to Liveness of Place/Transition Nets.	RelMiCS	2009	DBLP DOI BibTeX RDF
34	Ali Jaoua, Rehab M. Duwairi, Samir Elloumi, Sadok Ben Yahia	Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage.	RelMiCS	2009	DBLP DOI BibTeX RDF	Formal Concept Analysis, Galois Connection, Minimal representation
34	John N. Billings, Timothy G. Griffin	A Model of Internet Routing Using Semi-modules.	RelMiCS	2009	DBLP DOI BibTeX RDF
34	Michael Winter 0001, Torsten Hahmann, Michael Gruninger	On the Skeleton of Stonian p-Ortholattices.	RelMiCS	2009	DBLP DOI BibTeX RDF
34	Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara	Armstrong's Inference Rules in Dedekind Categories.	RelMiCS	2009	DBLP DOI BibTeX RDF
34	Yasuo Kawahara, Michael Winter 0001	Cardinal Addition in Distributive Allegories.	RelMiCS	2009	DBLP DOI BibTeX RDF