|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7798 occurrences of 3322 keywords
|
|
|
Results
Found 19249 publication records. Showing 19248 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
35 | Jules Desharnais |
Kleene Algebra with Relations. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Bernard Mourrain |
Some Algebra with Formal Matrices. |
AAECC |
1990 |
DBLP DOI BibTeX RDF |
|
35 | Marc Gyssens, Dirk Van Gucht |
The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra. |
SIGMOD Conference |
1988 |
DBLP DOI BibTeX RDF |
|
35 | Kuo-pao Yang, Wendy Zhang, Frederick E. Petry |
Building content dictionaries for geometric algebra in OMDoc format. |
ACM Southeast Regional Conference |
2009 |
DBLP DOI BibTeX RDF |
OMDoc, content dictionaries, documentation semantics, XML, XHTML, geometric algebra |
35 | Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet |
Dense Linear Algebra over Word-Size Prime Fields: the FFLAS and FFPACK Packages. |
ACM Trans. Math. Softw. |
2008 |
DBLP DOI BibTeX RDF |
BLAS level 1-2-3, Winograd’s symbolic matrix multiplication, Word size prime fields, linear algebra package, determinant, inverse, matrix factorization |
35 | Oleg Lobachev, Rita Loogen |
Towards an Implementation of a Computer Algebra System in a Functional Language. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
language and system design, computer algebra, software technology |
35 | Frederik Eaton |
Statically typed linear algebra in Haskell. |
Haskell |
2006 |
DBLP DOI BibTeX RDF |
higher-rank polymorphism, template Haskell, linear algebra, staging, existential types |
35 | Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche |
The Semijoin Algebra and the Guarded Fragment. |
J. Log. Lang. Inf. |
2005 |
DBLP DOI BibTeX RDF |
guarded logic, databases, relational algebra, semijoin |
35 | Marat Fayzullin, V. S. Subrahmanian |
An Algebra for PowerPoint Sources. |
Multim. Tools Appl. |
2004 |
DBLP DOI BibTeX RDF |
multimedia, databases, algebra, presentation, powerpoint |
35 | Yuequan Luo, Guangda Su |
A Fast Method of Lighting Estimate Using Multi-linear Algebra. |
SINOBIOMETRICS |
2004 |
DBLP DOI BibTeX RDF |
Lighting estimate, multi-linear algebra |
35 | Qiujian Sheng, Zhongzhi Shi |
A Knowledge-Based Data Model and Query Algebra for the Next-Generation Web. |
APWeb |
2004 |
DBLP DOI BibTeX RDF |
Semantic web, query language, data model, algebra, heterogeneous resources |
35 | Duminda Wijesekera, Sushil Jajodia |
A propositional policy algebra for access control. |
ACM Trans. Inf. Syst. Secur. |
2003 |
DBLP DOI BibTeX RDF |
policy algebra, Access control, security policy, policy composition |
35 | Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati |
An algebra for composing access control policies. |
ACM Trans. Inf. Syst. Secur. |
2002 |
DBLP DOI BibTeX RDF |
Access control, logic programs, algebra, policy composition |
35 | Alexandre V. Zamulin |
An Object Algebra for the ODMG Standard. |
ADBIS |
2002 |
DBLP DOI BibTeX RDF |
implicit state, object-oriented database, dynamic system, Object modeling, object algebra |
35 | Sandra de F. Mendes Sampaio, Norman W. Paton, Paul Watson 0001, Jim Smith 0001 |
A Parallel Algebra for Object Databases. |
DEXA Workshops |
1999 |
DBLP DOI BibTeX RDF |
inter-operator parallelism, intra-operator parallelism, parallel algebra, Object Databases, parallel optimization |
35 | Dell Zhang, Yisheng Dong |
A Data Model and Algebra for the Web. |
DEXA Workshops |
1999 |
DBLP DOI BibTeX RDF |
XML, data model, Web data, object algebra |
35 | Dell Zhang, Yisheng Dong |
An Object Oriented Data Model for Web and Its Algebra. |
TOOLS (31) |
1999 |
DBLP DOI BibTeX RDF |
XML, object oriented, Web, data model, algebra |
35 | Daniel J. Buehrer, Chee-Hwa Lee |
Class Algebra for Ontology Reasoning. |
TOOLS (31) |
1999 |
DBLP DOI BibTeX RDF |
Class algebra, ontology, classification, object-oriented, probability, reasoning, ISA |
35 | Sue Fitzgerald, Jerry Place |
Teaching elementary queueing theory with a computer algebra system. |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
elementary queueing theory, teaching techniques, Maple, Maple, computer algebra, CAS, MACSYMA, Birth-Death process |
35 | Ivo Düntsch, Michael Winter 0001 |
The Lattice of Contact Relations on a Boolean Algebra. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
35 | James Worthington |
Automatic Proof Generation in Kleene Algebra. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Kamal Aboul-Hosn, Dexter Kozen |
Local Variable Scoping and Kleene Algebra with Tests. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Gerald Sommer |
Applications of Geometric Algebra in Robot Vision. |
IWMM/GIAE |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort |
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Hongbo Li 0012 |
A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
null bracket algebra, symbolic geometric computing, geometric invariance, geometric theorem proving, conformal geometric algebra |
34 | Antonio Ledda, Martinvaldo Konig, Francesco Paoli, Roberto Giuntini |
MV-Algebras and Quantum Computation. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
quasi-MV algebra, residuated structures, fuzzy logic, quantum computation, MV algebra, quantum logic |
34 | Bernhard Burgeth, Joachim Weickert |
An Explanation for the Logarithmic Connection between Linear and Morphological System Theory. |
Int. J. Comput. Vis. |
2005 |
DBLP DOI BibTeX RDF |
linear system theory, min-plus algebra, slope transform, Cramer transform, morphology, convex analysis, max-plus algebra |
34 | Hongbo Li 0012 |
Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving. |
Automated Deduction in Geometry |
2002 |
DBLP DOI BibTeX RDF |
Cayley algebra, bracket algebra, affine geometry, automated theorem proving, projective geometry, conics |
34 | Peter McBrien |
Principles of Implementing Historical Databases in RDBMS. |
BNCOD |
1993 |
DBLP DOI BibTeX RDF |
Temporal Relational Algebra, US Logic, Query Processing, Relational Algebra, RDBMS, Historical Databases |
34 | Gerald B. Folland, Jeffrey L. Stuart |
Linear Algebra by John B. Fraleigh; Raymond A. Beauregard; Linear Algebra and its Applications by David Lay; Linear Algebra: A Geometric Approach by Theodore Shifrin; Malcolm R. Adams; Introduction to Linear Algebra by Gilbert Strang. |
Am. Math. Mon. |
2005 |
DBLP BibTeX RDF |
|
34 | Daniel Lazard |
Commutative Algebra and Computer Algebra. |
EUROCAM |
1982 |
DBLP DOI BibTeX RDF |
|
34 | François Boulier, François Lemaire |
Differential Algebra and System Modeling in Cellular Biology. |
AB |
2008 |
DBLP DOI BibTeX RDF |
cellular biology, system modeling, Computer algebra, differential algebra |
34 | Murray R. Bremner, Michael J. Hancock, Yunfeng Piao |
Nonassociative structures on polynomial algebras arising from bio-operations on formal languages: an application of computer algebra to nonassociative systems. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
bio-operations, nonassociative algebra, polynomial identities, finite fields, formal languages, DNA computing, computer algebra, linear systems |
34 | Stephen Mann, Leo Dorst |
Geometric Algebra: A Computational Framework for Geometrical Applications (Part 2). |
IEEE Computer Graphics and Applications |
2002 |
DBLP DOI BibTeX RDF |
rotation reprensentation, Plucker coordinates, geometric differentiation, computational geometry, join, quaternions, meet, geometric algebra, Clifford algebra, homogeneous coordinates, dualization |
34 | 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 |
34 | Neil L. White |
Grassmann - Cayley algebra and robotics. |
J. Intell. Robotic Syst. |
1994 |
DBLP DOI BibTeX RDF |
Plücker coordinates, Grassmann-Cayley algebra, motion space, series-parallel, infinitesimal rigiditly, Cayley factorization, bracket algebra, robot, spline, projective geometry, mechanism |
34 | Anatolij Dvurecenskij |
Cyclic elements and subalgebras of GMV-algebras. |
Soft Comput. |
2010 |
DBLP DOI BibTeX RDF |
GMV-algebra, Unital ?-group, Cyclic element, Perfect GMV-algebra, n-Perfect GMV-algebra, Free product, Representation |
34 | Lawrence Peter Belluce, Revaz Grigolia, Ada Lettieri |
Representations of monadic MV -algebras. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
Monadic algebra, Projective algebra, MV -algebra |
34 | Thomas Vetterlein |
BL-algebras and effect algebras. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
Weak effect algebra, D-poset, Weak D-poset, Effect algebra, BL-algebra |
33 | Antonio Di Nola, Mirko Navara |
MV-Algebras with the Cantor-Bernstein Property. |
IFSA (2) |
2007 |
DBLP DOI BibTeX RDF |
Cantor-Bernstein theorem, boolean element of an MV-algebra, partition of unity, direct product decomposition, ?-complete MV-algebra, multiplicative MV-algebra, MV-algebra |
33 | Dumitru Daniel Dragulici |
Conservative extension of polyadic MV-algebras to polyadic pavelka algebras. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
Pavelka algebra, Polyadic MV-algebra, Polyadic Pavelka algebra, MV-algebra |
32 | Alin Bostan, Bruno Salvy, Éric Schost |
Fast Algorithms for Zero-Dimensional Polynomial Systems using Duality. |
Appl. Algebra Eng. Commun. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Linear recurrent sequences, Duality, Polynomial system solving |
31 | Hitoshi Furusawa |
A Free Construction of Kleene Algebras with Tests. |
MPC |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Alexander Moshe Rabinovich |
Logic of Trace Languages (Extended Abstract). |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
31 | Jacques Calmet |
Intelligent Computer Algebra System: Myth, Fancy or Reality? |
Trends in Computer Algebra |
1987 |
DBLP DOI BibTeX RDF |
|
31 | Qun Ni, Elisa Bertino, Jorge Lobo 0001 |
D-algebra for composing access control policy decisions. |
AsiaCCS |
2009 |
DBLP DOI BibTeX RDF |
many-valued logic, MV-algebras, decision, policy composition |
31 | Prathima Rao, Dan Lin 0001, Elisa Bertino, Ninghui Li, Jorge Lobo 0001 |
An algebra for fine-grained integration of XACML policies. |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
policy integration, access control, XACML |
31 | Mikolaj Bojanczyk |
Algebra for Tree Languages. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Josep Soler 0001, Imma Boada, Ferran Prados, Jordi Poch, Ramón Fabregat |
An Automatic Correction Tool for Relational Algebra Queries. |
ICCSA (2) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Uta Priss, L. John Old |
An Application of Relation Algebra to Lexical Databases. |
ICCS |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Uta Priss |
An FCA Interpretation of Relation Algebra. |
ICFCA |
2006 |
DBLP DOI BibTeX RDF |
|
31 | S. Durga Bhavani, Arun K. Pujari |
EvIA - Evidential Interval Algebra and Heuristic Backtrack-Free Algorithm. |
Constraints An Int. J. |
2004 |
DBLP DOI BibTeX RDF |
temporal CSP, heuristics, consistency checking, evidential reasoning |
31 | Tomoko Ninomiya, Masao Mukaidono |
Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra. |
ISMVL |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Robin N. Banerjee, Andrés Bujosa |
Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings. |
FoIKS |
2002 |
DBLP DOI BibTeX RDF |
|
31 | H. V. Jagadish, Laks V. S. Lakshmanan, Divesh Srivastava, Keith Thompson |
TAX: A Tree Algebra for XML. |
DBPL |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Burghard von Karger |
Temporal Algebra. |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Sibel Adali, Maria Luisa Sapino, V. S. Subrahmanian |
A Multimedia Presentation Algebra. |
SIGMOD Conference |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Sibel Adali, Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian |
A Multi-Similarity Algebra. |
SIGMOD Conference |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Zhaojun Bai, David Day, James Demmel, Jack J. Dongarra, Ming Gu 0002, Axel Ruhe, Henk A. van der Vorst |
Templates for Linear Algebra Problems. |
Computer Science Today |
1995 |
DBLP DOI BibTeX RDF |
|
31 | S. V. Kolyada |
Systems for Symbolic Computations in Boolean Algebra. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
31 | H. B. M. Jonkers |
Description Algebra. |
Algebraic Methods |
1987 |
DBLP DOI BibTeX RDF |
|
31 | Günter Hornung, Peter Raulefs |
Terminal Algebra Semantics and Retractions for Abstract Data Types. |
ICALP |
1980 |
DBLP DOI BibTeX RDF |
|
31 | João L. Sobrinho |
Network routing with path vector protocols: theory and applications. |
SIGCOMM |
2003 |
DBLP DOI BibTeX RDF |
path vector protocols, BGP, border gateway protocol, algebra |
30 | Akira Suzuki |
Computing Gröbner Bases within Linear Algebra. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Kim Solin |
A While Program Normal Form Theorem in Total Correctness. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Roland Glück, Bernhard Möller, Michel Sintzoff |
A Semiring Approach to Equivalences, Bisimulations and Control. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Jean-Lou De Carufel, Jules Desharnais |
On the Structure of Demonic Refinement Algebras with Enabledness and Termination. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa |
A Non-probabilistic Relational Model of Probabilistic Kleene Algebras. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Rudolf Berghammer |
Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView. |
CASC |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Hitoshi Furusawa |
A Framework for Kleene Algebra with an Embedded Structure. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Christophe Claramunt |
Extending Ladkin's algebra on non-convex intervals towards an algebra on union-of regions. |
ACM-GIS |
2000 |
DBLP DOI BibTeX RDF |
spatio-temporal relationships, union-of regions |
30 | James H. Davenport, Barry M. Trager |
Scratchpad's View of Algebra I: Basic Commutative Algebra. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Rahul Breh, Vivek Kumar |
Making mathematical problem solving exploratory and social-synergizing computer algebra systems with semantic and web-2.0 technology. |
Bangalore Compute Conf. |
2010 |
DBLP DOI BibTeX RDF |
web 2.0, semantic web technology, Sage, computer algebra systems |
30 | João Pedro Cerveira Cordeiro, Gilberto Câmara, Ubirajara Moura de Freitas, Felipe Almeida |
Yet Another Map Algebra. |
GeoInformatica |
2009 |
DBLP DOI BibTeX RDF |
map algebra, cartographic modeling, automata, formal languages, dynamic modeling, spatial analysis |
30 | Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota |
Encoding a process algebra using the Event B method. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
Event B method, User tasks validation, Human-computer interaction, Refinements, Process algebra |
30 | Yuqing Wu, Sofia Brenes, Tejas Totade, Shijin Joshua, Dhaval Damani, Michel Salim |
ASIC: algebra-based structural index comparison. |
CIKM |
2009 |
DBLP DOI BibTeX RDF |
XPath algebra, structural index |
30 | Florian Wörsdörfer, Florian Stock, Eduardo Bayro-Corrochano, Dietmar Hildenbrand |
Optimizations and Performance of a Robotics Grasping Algorithm Described in Geometric Algebra. |
CIARP |
2009 |
DBLP DOI BibTeX RDF |
Robot Grasping, Runtime Performance, CUDA, Conformal Geometric Algebra |
30 | Luciano Vieira de Araújo, Ester C. Sabino, João Eduardo Ferreira |
HIV drug resistance analysis tool based on process algebra. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
NPDL, drug resistance, genotypic drug resistance testing, process algebra, mutation analysis, HIV |
30 | Hrachya V. Astsatryan, Vladimir Sahakyan, Yuri Shoukouryan, Michel J. Daydé, Aurélie Hurault, Marc Pantel, Eddy Caron |
A Grid-Aware Web Portal with Advanced Service Trading for Linear Algebra Calculations. |
VECPAR |
2008 |
DBLP DOI BibTeX RDF |
Service Trading, Grid Computing, Scientific Computing, Linear Algebra, Web Portal |
30 | Alessandra Palmigiano, Yde Venema |
Nabla Algebras and Chu Spaces. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
relation lifting, Vietoris hyperspace, Chu space, coalgebra, modal algebra |
30 | Ainhoa Berciano, María José Jiménez 0001, Pedro Real 0001 |
On the Computation of Ainfinity-Maps. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
A ???-algebra, Basic Perturbation Lemma, computation, contraction, transference |
30 | 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 |
30 | Hennie Poulisse |
Computational communicative algebra. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
approximate commutative algebra |
30 | Harold W. Thimbleby |
User interface design with matrix algebra. |
ACM Trans. Comput. Hum. Interact. |
2004 |
DBLP DOI BibTeX RDF |
user interface design, Matrix algebra, feature interaction, usability analysis |
30 | Guoyin Wang 0001, Jun Zhao, Jiu-Jiang An, Yu Wu 0001 |
Theoretical Study on Attribute Reduction of Rough Set Theory: Comparison of Algebra and Information Views. |
IEEE ICCI |
2004 |
DBLP DOI BibTeX RDF |
attribute significance, attribute core, algebra view, information view, Rough set theory, attribute reduction |
30 | Jan Carlson, Björn Lisper |
An event detection algebra for reactive systems. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
event algebra, reactive systems, event detection, resource-efficiency |
30 | Dorel Lucanu, Gabriel Ciobanu |
Model Checking for Object Specifications in Hidden Algebra. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
hidden algebra, object specification, behavioral bisimulation, CTL models, model checking, labeled transition systems, SMV |
30 | Xin Zhang 0002, Bradford Pielech, Elke A. Rundensteiner |
Honey, I shrunk the XQuery!: an XML algebra optimization approach. |
WIDM |
2002 |
DBLP DOI BibTeX RDF |
optimization, XML, XQuery, algebra, relational, operator |
30 | John A. Gunnels, Fred G. Gustavson, Greg Henry, Robert A. van de Geijn |
FLAME: Formal Linear Algebra Methods Environment. |
ACM Trans. Math. Softw. |
2001 |
DBLP DOI BibTeX RDF |
performance, libraries, linear algebra, Formal derivation |
30 | 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 |
30 | Neven Jurkovic |
Diagnosing and correcting student's misconceptions in an educational computer algebra system. |
ISSAC |
2001 |
DBLP DOI BibTeX RDF |
mal-rules, intelligent tutoring systems (ITS), student modeling, computer algebra systems (CAS) |
30 | Ioannis Z. Emiris, Bernard Mourrain |
Computer Algebra Methods for Studying and Computing Molecular Conformations. |
Algorithmica |
1999 |
DBLP DOI BibTeX RDF |
Structure-based design, Geometric and kinematic constraints, Equation solving, Computer algebra, Molecular conformations |
30 | Eike Best, Raymond R. Devillers, Maciej Koutny |
The Box Algebra - A Model of Nets and Process Expressions. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, refinement, process algebras, recursion |
30 | 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 |
30 | Dexter Kozen |
Kleene Algebra with Tests. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
specification, dynamic logic, Kleene algebra |
30 | Debabrata Dey, Sumit Sarkar |
A Probabilistic Relational Model and Algebra. |
ACM Trans. Database Syst. |
1996 |
DBLP DOI BibTeX RDF |
data incompleteness, probabilistic relation, probability calculus, relational algebra, relational model, data uncertainty |
30 | Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska |
Computational Social Choice Using Relation Algebra and RelView. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Larissa Meinicke, Kim Solin |
Reactive Probabilistic Programs and Refinement Algebra. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Annabelle McIver, E. Cohen, Carroll Morgan |
Using Probabilistic Kleene Algebra for Protocol Verification. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Kamal Aboul-Hosn |
An Axiomatization of Arrays for Kleene Algebra with Tests. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 19248 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|