Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | James W. Cannon, William J. Floyd, Walter R. Parry |
Combinatorially Regular Polyomino Tilings. |
Discret. Comput. Geom. |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Tuncer C. Aysal, Kenneth E. Barner |
Despeckling Utilizing M-Estimators. |
ICIP |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Yongtae Kim, Chang Han Kim, Taek-Young Youn |
On the Security of Multilevel Cryptosystems over Class Semigroups of Imaginary Quadratic Non-maximal Orders. |
EuroPKI |
2006 |
DBLP DOI BibTeX RDF |
Key generation algorithm, Class semigroup, Key exchange system, Hierarchy |
11 | Martin Grohe, Dániel Marx |
Constraint solving via fractional edge covers. |
SODA |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Sun S. Chung, Gultekin Özsoyoglu |
Anti-Tamper Databases: Processing Aggregate Queries over Encrypted Databases. |
ICDE Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Kim-Kwang Raymond Choo |
Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Problem Setting. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Wenjun Xiao, Behrooz Parhami |
Further Properties of Cayley Digraphs and Their Applications to Interconnection Networks. |
TAMC |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Kathy J. Horadam |
A Theory of Highly Nonlinear Functions. |
AAECC |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Bernd Burgstaller, Bernhard Scholz, Johann Blieberger |
Symbolic Analysis of Imperative Programming Languages. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Jan Hubicka, Jaroslav Nesetril |
Finite Paths are Universal. |
Order |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Konstantin Mischaikow, Marian Mrozek, Pawel Pilarczyk |
Graph Approach to the Computation of the Homology of Continuous Maps. |
Found. Comput. Math. |
2005 |
DBLP DOI BibTeX RDF |
Computational homology, Homology maps, Cubical complexes |
11 | Stefan Szeider |
The Complexity of Resolution with Generalized Symmetry Rules. |
Theory Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Sigrid Gürgens, Carsten Rudolph |
Security analysis of efficient (Un-)fair non-repudiation protocols. |
Formal Aspects Comput. |
2005 |
DBLP DOI BibTeX RDF |
Asynchronous product automata, Fairness, Non-repudiation, Protocol analysis |
11 | Giancarlo Guizzardi, Luís Ferreira Pires, Marten van Sinderen |
An Ontology-Based Approach for Evaluating the Domain Appropriateness and Comprehensibility Appropriateness of Modeling Languages. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Avi Wigderson, David Xiao |
A Randomness-Efficient Sampler for Matrix-valued Functions and Applications. |
FOCS |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Deepak Kapur, Paliath Narendran, Lida Wang |
A Unification Algorithm for Analysis of Protocols with Blinded Signatures. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Guillaume Fertin, Romeo Rizzi, Stéphane Vialette |
Finding Exact and Maximum Occurrences of Protein Complexes in Protein-Protein Interaction Graphs. |
MFCS |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Andreas Maletti |
The Power of Tree Series Transducers of Type I and II. |
Developments in Language Theory |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Jirí Fiala 0001, Daniël Paulusma, Jan Arne Telle |
Algorithms for Comparability of Matrices in Partial Orders Imposed by Graph Homomorphisms. |
WG |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Byonghyo Shim, Hyung G. Myung |
A novel metric representation for low-complexity log-MAP decoder. |
ISCAS (6) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Hubert Comon-Lundh, Stéphanie Delaune |
The Finite Variant Property: How to Get Rid of Some Algebraic Properties. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Katalin Friedl, Gábor Ivanyos, Miklos Santha |
Efficient testing of groups. |
STOC |
2005 |
DBLP DOI BibTeX RDF |
group multiplication testing, quantum computation, edit distance, probabilistic computation |
11 | Michal Walicki |
Bireachability and Final Multialgebras. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Chengyi Zhang |
Fuzzy sets and quotient spaces. |
GrC |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Jan Hubicka, Jaroslav Nesetril |
Finite Paths are Universal. |
Order |
2004 |
DBLP DOI BibTeX RDF |
universal posets, universal graphs, embeddings, on line, homomorphisms |
11 | Valdis Laan |
On Descent Theory for Monoid Actions. |
Appl. Categorical Struct. |
2004 |
DBLP DOI BibTeX RDF |
descent morphism, effective descent morphism, monoid action |
11 | Pilar Carrasco, Antonio R. Garzón |
Obstruction Theory for Extensions of Categorical Groups. |
Appl. Categorical Struct. |
2004 |
DBLP DOI BibTeX RDF |
categorical group, abstract kernel, obstruction, extension, cohomology |
11 | Eric R. Verheul |
Evidence that XTR Is More Secure than Supersingular Elliptic Curve Cryptosystems. |
J. Cryptol. |
2004 |
DBLP DOI BibTeX RDF |
Decision Diffie-Hellman problem, Supersingular elliptic curves, Inverting MOV embedding, Tripartite Diffie-Hellman key exchange, Escrow, XTR |
11 | YoungJu Choie, Steven T. Dougherty |
Codes over Sigma2m and Jacobi forms over the Quaternions. |
Appl. Algebra Eng. Commun. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Shiuh-Jeng Wang |
Anonymous Wireless Authentication on a Portable Cellular Mobile System. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Peter McMullen |
Mixed Fibre Polytopes. |
Discret. Comput. Geom. |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Andrei A. Bulatov |
A Graph of a Relational Structure and Constraint Satisfaction Problems. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Víctor Dalmau, Andrei A. Krokhin, Benoît Larose |
First-Order Definable Retraction Problems for Posets and Reflexive Graph. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Yasuhito Mukouchi, Masako Sato |
Learning Languages Generated by Elementary Formal Systems and Its Application to SH Languages. |
ALT |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Jean Monnerat, Serge Vaudenay |
Generic Homomorphic Undeniable Signatures. |
ASIACRYPT |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Hubie Chen, Víctor Dalmau |
(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Antoni Martínez-Ballesté, Francesc Sebé, Josep Domingo-Ferrer |
Secure Large-Scale Bingo. |
ITCC (2) |
2004 |
DBLP DOI BibTeX RDF |
Many-to-one communications, Multicast, Virtual gaming |
11 | Hongzhi Wang 0001, Jianzhong Li 0001, Jizhou Luo, Zhenying He |
XCpaqs: Compression of XML Document with XPath Query Support. |
ITCC (1) |
2004 |
DBLP DOI BibTeX RDF |
compressor, XML, query process, compression, XPath |
11 | Benjamin J. McMahan, Guoqiang Pan, Patrick Porter, Moshe Y. Vardi |
Projection Pushing Revisited. |
EDBT |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Hubert Comon-Lundh, Ralf Treinen |
Easy Intruder Deductions. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Anderson C. A. Nascimento, Akira Otsuka, Hideki Imai, Jörn Müller-Quade |
Unconditionally Secure Homomorphic Pre-distributed Commitments. |
AAECC |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Rui Zhang 0002, Hideki Imai |
Round Optimal Distributed Key Generation of Threshold Cryptosystem Based on Discrete Logarithm Problem. |
ACNS |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch |
Unification Modulo ACU I Plus Homomorphisms/Distributivity. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
E-Unification, Rewrite reachability, Minskymachine, Complexity, Set constraints, Post correspondence problem |
11 | Stefan Szeider |
The Complexity of Resolution with Generalized Symmetry Rules. |
STACS |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Ana Beatriz Vicentim Graciano, Roberto M. Cesar, Isabelle Bloch |
Inexact Graph Matching for Facial Feature Segmentation and Recognition in Video Sequences: Results on Face Tracking. |
CIARP |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Wenjun Xiao, Behrooz Parhami |
Some Conclusions on Cayley Digraphs and Their Applications to Interconnection Networks. |
GCC (2) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Jiri Mockor |
Semigroup homomorphisms and fuzzy automata. |
Soft Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Sihem Amer-Yahia, SungRan Cho, Laks V. S. Lakshmanan, Divesh Srivastava |
Tree pattern query minimization. |
VLDB J. |
2002 |
DBLP DOI BibTeX RDF |
Query minimization, XML, Tree patterns |
11 | Klaus Wich |
Universal Inherence of Cycle-Free Context-Free Ambiguity Functions. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
11 | David A. Schmidt |
Structure-Preserving Binary Relations for Program Abstraction. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Masayuki Abe, Ronald Cramer, Serge Fehr |
Non-interactive Distributed-Verifier Proofs and Proving Relations among Commitments. |
ASIACRYPT |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Sigrid Gürgens, Carsten Rudolph |
Security Analysis of (Un-) Fair Non-repudiation Protocols. |
FASec |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Alexander V. Shafarenko |
A symmetry-based formalism for array subtyping. |
ACM SIGAPL APL Quote Quad |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Eric R. Verheul |
Evidence that XTR Is More Secure than Supersingular Elliptic Curve Cryptosystems. |
EUROCRYPT |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Jef Wijsen, Alexis Bès |
Temporal Tableau Queries. |
TIME |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Detlef Hühnlein |
Faster Generation of NICE-Schnorr-Type Signatures. |
CT-RSA |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Martin Grohe, Thomas Schwentick, Luc Segoufin |
When is the evaluation of conjunctive queries tractable? |
STOC |
2001 |
DBLP DOI BibTeX RDF |
|
11 | John Havlicek |
Computable Obstructions to Wait-Free Computability. |
Distributed Comput. |
2000 |
DBLP DOI BibTeX RDF |
Decision tasks, Homology, Simplicial complexes, Wait-free computing |
11 | Sergei Gorlatch, Christian Lengauer |
Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach. |
Acta Informatica |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Ilijas Farah |
Approximate Homomorphisms II: Group Homomorphisms. |
Comb. |
2000 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (1991) Classes: 05D99, 20D99, 28A35, 28A60 |
11 | Keith Stenning |
Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Marcel Erné |
Z-Continuous Posets and Their Topological Manifestation. |
Appl. Categorical Struct. |
1999 |
DBLP DOI BibTeX RDF |
closure space, completely distributive, continuous poset, sober space, completion, compact, core |
11 | J. C. Lagarias 0001 |
Geometric Models for Quasicrystals I. Delone Sets of Finite Type. |
Discret. Comput. Geom. |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Tsuyoshi Nishioka, Goichiro Hanaoka, Hideki Imai |
A New Digital Signature Scheme on ID-Based Key-Sharing Infrastructures. |
ISW |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Gösta Grahne, Alberto O. Mendelzon |
Tableau Techniques for Querying Information Sources through Global Schemas. |
ICDT |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Sergei Gorlatch |
Programming with Divide-and-Conquer Skeletons: A Case Study of FFT. |
J. Supercomput. |
1998 |
DBLP DOI BibTeX RDF |
Parallel programmin, Bird-Meertens formalism (BMF), Fast Fourier Transform (FFT), skeletons, divide-and-conquer |
11 | Rolf Hennicker, Michel Bidoit |
Observational Logic. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Maurice Herlihy, Sergio Rajsbaum |
A Wait-Free Classification of Loop Agreement Tasks. |
DISC |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu |
Parallelization via Context Preservation. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Context Preservation, Second-Order Generalization, Parallelization |
11 | Jan J. M. M. Rutten |
Automata and Coinduction (An Exercise in Coalgebra). |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Gösta Grahne, Nicolas Spyratos, Daniel Stamate |
Semantics and Containment with Internal and External Conjunctions. |
ICDT |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Mohamad Afshar, J. Bates, Gavin M. Bierman, K. Moody |
A New General Purpose Parallel Database System. |
ISPAN |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Sergei Gorlatch |
Systematic Extraction and Implementation of Divide-and-Conquer Parallelism. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. |
Euro-Par, Vol. I |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
Construction of List Homomorphisms by Tupling and Fusion. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Qing Guo, Paliath Narendran, David A. Wolfram |
Unification and Matching Modulo Nilpotence. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
Subject area MECHANISMS, unification |
11 | Janos J. Sarbo |
Lattice Embedding. |
ICCS |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Boumediene Belkhouche, R. Raymond Lang, Chung Wa Ng |
A Branching Time Semantics for the Ada Rendezvous Mechanism. |
HICSS (1) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton |
Verifying Abstractions of Timed Systems. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Shinichi Shimozono |
An Approximation Algorithm for Alphabet Indexing Problem. |
ISAAC |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Volker Diekert, Anca Muscholl, Klaus Reinhardt |
On Codings of Traces. |
STACS |
1995 |
DBLP DOI BibTeX RDF |
Topics Formal languages, concurrency |
11 | Thomas Wilke |
Algebras for Classifying Regular Tree Languages and an Application to Frontier Testability. |
ICALP |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Robert P. Kurshan, Kenneth L. McMillan |
Analysis of digital circuits through symbolic reduction. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Hung-Yu Lin, Lein Harn |
A Generalized Secret Sharing Scheme With Cheater Detection. |
ASIACRYPT |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Richard J. Lipton |
Efficient Checking of Computations. |
STACS |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Gilles Brassard, Moti Yung |
One-Way Group Actions. |
CRYPTO |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Wolfgang Gutjahr, Emo Welzl, Gerhard J. Woeginger |
Polynomial Graph-Colorings. |
STACS |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Richard Banach |
Dataflow Analysis if Term Graph Rewriting Systems. |
PARLE (2) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Anthony C. Klug |
On conjunctive queries containing inequalities. |
J. ACM |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Teodor Rus |
Parsing Languages by Pattern Matching. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
BNF-rule, program parsing, specification mechanism, algorithm, complexity, compiler, programming language, pattern matching, language, Algebraic model, program evaluation |
11 | Manfred Broy, Martin Wirsing, Peter Pepper |
On the Algebraic Definition of Programming Languages. |
ACM Trans. Program. Lang. Syst. |
1987 |
DBLP DOI BibTeX RDF |
|
11 | Roger L. Norton |
Information systems as implementations (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
11 | Andrzej Blikle |
Denotational Engineering or from Denotations to Syntax. |
VDM Europe |
1987 |
DBLP DOI BibTeX RDF |
|
11 | Hans-Jörg Kreowski |
Partial Algebras Flow From Algebraic Specifications. |
ICALP |
1987 |
DBLP DOI BibTeX RDF |
|
11 | Walter Vogler |
Behaviour Preserving Refinement of Petri Nets. |
WG |
1986 |
DBLP DOI BibTeX RDF |
|
11 | Josh Cohen Benaloh |
Secret Sharing Homomorphisms: Keeping Shares of A Secret Sharing. |
CRYPTO |
1986 |
DBLP DOI BibTeX RDF |
|
11 | Peter Dybjer |
Domain Algebras. |
ICALP |
1984 |
DBLP DOI BibTeX RDF |
|
11 | Manfred Broy, Martin Wirsing |
Generalized Heterogeneous Algebras and Partial Interpretations. |
CAAP |
1983 |
DBLP DOI BibTeX RDF |
|
11 | Michael Yoeli |
Generalized Cascade Decompositions of Automata. |
J. ACM |
1965 |
DBLP DOI BibTeX RDF |
|