Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Judith Gal-Ezer, Mark B. Trakhtenbrot |
Algebraic characterization of regular languages: how to cope with all these equivalences? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy, June 26-28, 2006, pp. 325, 2006, ACM, 1-59593-055-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
reasoning problems, automata theory, equivalence relations |
16 | Gianpiero Cattaneo, Davide Ciucci |
Some Methodological Remarks About Categorical Equivalences in the Abstract Approach to Roughness - Part II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongqing, China, July 24-26, 2006, Proceedings, pp. 284-289, 2006, Springer, 3-540-36297-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
topological operators, BZ lattices, similarity approximations |
16 | Gianpiero Cattaneo, Davide Ciucci |
Some Methodological Remarks About Categorical Equivalences in the Abstract Approach to Roughness - Part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongqing, China, July 24-26, 2006, Proceedings, pp. 277-283, 2006, Springer, 3-540-36297-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
abstract approximations, topological operators, BZ lattice |
16 | Stelios Piperidis, Ioannis Harlas |
Mining Bilingual Lexical Equivalences Out of Parallel Corpora. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Advances in Artificial Intelligence, 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings, pp. 311-322, 2006, Springer, 3-540-34117-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Augusto Sarti, Giovanni De Sanctis |
Structural equivalences in Wave Digital systems based on dynamic scattering cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSIPCO ![In: 14th European Signal Processing Conference, EUSIPCO 2006, Florence, Italy, September 4-8, 2006, pp. 1-4, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
16 | Cédric Fournet, Georges Gonthier |
A hierarchy of equivalences for asynchronous calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 63(1), pp. 131-173, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Marco Bernardo 0001 |
Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APC 25 ![In: Proceedings of the Workshop `Essays on Algebraic Process Calculi`, APC 25, Bertinoro, Italy, August 1-5, 2005, pp. 87-99, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Zdenek Sawa, Petr Jancar |
Behavioural Equivalences on Finite-State Systems are PTIME-hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Artif. Intell. ![In: Comput. Artif. Intell. 24(5), pp. 513-528, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
16 | Sara Cohen, Yehoshua Sagiv, Werner Nutt |
Equivalences among aggregate queries with negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(2), pp. 328-360, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Aggregation, Datalog, negation, query equivalence |
16 | Martin W. Bunder, W. J. M. Dekkers |
Equivalences between Pure Type Systems and Systems of Illative Combinatory Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 46(2), pp. 181-205, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Sven Beuchler, Reinhold Schneider, Christoph Schwab |
Multiresolution weighted norm equivalences and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerische Mathematik ![In: Numerische Mathematik 102(2), pp. 365-366, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Eiter, Michael Fink 0001, Stefan Woltran |
Semantical Characterizations and Complexity of Equivalences in Answer Set Programming ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0502078, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
16 | Janusz A. Brzozowski, Helmut Jürgensen |
Representation of semiautomata by canonical words and equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 16(5), pp. 831-850, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Hong-Cheu Liu, Jeffrey Xu Yu |
Algebraic equivalences of nested relational operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 30(3), pp. 167-204, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Rade T. Zivaljevic |
WI-posets, graph complexes and Z2-equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 111(2), pp. 204-223, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Radu Mateescu 0001 |
On-the-fly state space reductions for weak equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005, pp. 80-89, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Irina B. Virbitskaite, Natalya S. Gribovskaja |
Open Maps and Observational Equivalences for Timed Partial Order Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 60(1-4), pp. 383-399, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Suzana Andova, Tim A. C. Willemse |
Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004, pp. 53-66, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Riccardo Pucella |
On Equivalences for a Class of Timed Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Proceedings of the Workshop on Coalgebraic Methods in Computer Science, CMCS 2004, Barcelona, Spain, March 27-29, 2004, pp. 315-333, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Harald Fecher |
A completed hierarchy of true concurrent equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 89(5), pp. 261-265, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Dror G. Feitelson |
On identifying name equivalences in digital libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Res. ![In: Inf. Res. 9(4), 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Matthew Hennessy, Julian Rathke |
Typed behavioural equivalences for processes in the presence of subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 14(5), pp. 651-684, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Sven Beuchler, Reinhold Schneider, Christoph Schwab |
Multiresolution weighted norm equivalences and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerische Mathematik ![In: Numerische Mathematik 98(1), pp. 67-97, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Feng Dai, Kunyang Wang |
A note on the equivalences between the averages and the K-functionals related to the Laplacian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 130(1), pp. 38-45, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Rocco A. Servedio, Steven J. Gortler |
Equivalences and Separations Between Quantum and Classical Learnability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 33(5), pp. 1067-1092, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Natalia López, Manuel Núñez 0001 |
An Overview of Probabilistic Process Algebras and their Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Stochastic Systems ![In: Validation of Stochastic Systems - A Guide to Current Research, pp. 89-123, 2004, Springer, 3-540-22265-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Janusz A. Brzozowski, Helmut Jürgensen |
Representation of Semiautomata by Canonical Words and Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 6th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2004, London, Ontario, Canada, July 26 - 28, 2004. Pre-proceedings, pp. 13-27, 2004, Department of Computer Science, The University of Western Ontario, Canada, 0-7714-2506-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Antonín Kucera 0001, Richard Mayr |
A Generic Framework for Checking Semantic Equivalences between Pushdown Automata and Finite-State Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France, pp. 395-408, 2004, Kluwer/Springer, 1-4020-8140-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Sergio Maffeis, Philippa Gardner |
Behavioural Equivalences for Dynamic Web Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France, pp. 535-548, 2004, Kluwer/Springer, 1-4020-8140-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Jan Rothe |
Behavioural equivalences for coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
16 | Dirk A. Lorenz |
Wavelet shrinkage in signal & image processing: an investigation of relations and equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
16 | Dug Hun Hong |
T-equivalences generated by shape function on the real line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 39(3), pp. 281-288, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
16 | Jan Rothe, Dragan Masulovic |
Modal Logics for Observation Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: 6th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 303-320, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Furio Honsell, Marina Lenisa, Rekha Redamalla |
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMETA ![In: Proceedings of the Workshop of the COMETA Project on Computational Metamodels, COMETA 2003, Udine, Italy, December 15-17, 2003, pp. 163-180, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Lucian Ilie, Sheng Yu 0001 |
Reducing NFAs by invariant equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 306(1-3), pp. 373-390, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Valentin Goranko |
The Basic Algebra of Game Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 75(2), pp. 221-238, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
game operations, game algebra, game identities, completeness, modal logic, axiomatization |
16 | Huimin Lin |
Complete inference systems for weak bisimulation equivalences in the pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 180(1), pp. 1-29, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Michele Bugliesi, Ambra Ceccato, Sabina Rossi |
Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings, pp. 364-375, 2003, Springer, 3-540-40543-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Vitus S. W. Lam, Julian A. Padget |
Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 28-31 October 2003, Auckland, New Zealand, pp. 137-144, 2003, IEEE Computer Society, 0-7803-8225-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
Quantitative Relations and Approximate Process Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings, pp. 498-512, 2003, Springer, 3-540-40753-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Hennessy, Julian Rathke |
Typed behavioural equivalences for processes in the presence of subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Computing: the Australasian Theory Symposium, CATS 2002, Melbourne, Australia, pp. 122-139, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Vincent van Oostrom, Roel C. de Vrijer |
Four equivalent equivalences of reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings, pp. 21-61, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Mauricio Ayala-Rincón, Alexsandro F. da Fonseca, Haydée Werneck Poubel, José de Siqueira |
A framework to visualize equivalences between computational models of regular languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 84(1), pp. 5-16, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Sara Cohen, Werner Nutt, Yehoshua Sagiv |
Equivalences Among Aggregate Queries with Negation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.DB/0210028, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
16 | Martin Kochol |
Equivalences between hamiltonicity and flow conjectures, and the sublinear defect property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 254(1-3), pp. 221-230, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Baldan, Andrea Corradini 0001, Ugo Montanari |
Bisimulation Equivalences for Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal and Natural Computing ![In: Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002], pp. 158-190, 2002, Springer, 3-540-43190-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Antonín Kucera 0001, Richard Mayr |
On the Complexity of Semantic Equivalences for Pushdown Automata and BPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings, pp. 433-445, 2002, Springer, 3-540-44040-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Julian C. Bradfield, Sibylle B. Fröschle |
On Logical and Concurrent Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 8th International Workshop on Expressiveness in Concurrency, EXPRESS 2001, Satellite Workshop from CONCUR 2001, Aalborg, Denmark, August 20, 2001, pp. 32-45, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Mariangiola Dezani-Ciancaglini, Elio Giovannetti |
From Bohm's Theorem to Observational Equivalences: an Informal Account. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BOTH ![In: Bohm's theorem: applications to Computer Science Theory, BOTH 2001, Satellite Workshop of ICALP 2001, Crete, Greece, July 13, 2001, pp. 83-116, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Jorge L. Ramírez Alfonsín |
Lawrence Oriented Matroids and a Problem of McMullen on Projective Equivalences of Polytopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 22(5), pp. 723-731, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Xiao Jun Chen, Rocco De Nicola |
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 254(1-2), pp. 337-361, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Petr Jancar |
Nonprimitive recursive complexity and undecidability for Petri net equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 256(1-2), pp. 23-30, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Petr Jancar, Antonín Kucera 0001, Richard Mayr |
Deciding bisimulation-like equivalences with finite-state processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 258(1-2), pp. 409-433, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | John P. Boyd 0002, Kai J. Jonas |
Are social equivalences ever regular?: Permutation and exact tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Networks ![In: Soc. Networks 23(2), pp. 87-123, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Susana Montes, Inés Couso, Pedro Gil |
One-to-one correspondences between ε-partitions, (1-ε)-equivalences and ε-pseudometrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 124(1), pp. 87-95, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Sara Cohen, Werner Nutt, Yehoshua Sagiv |
Equivalences among Aggregate Queries with Negation. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 21-23, 2001, Santa Barbara, California, USA, 2001, ACM, 1-58113-361-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Schnoebelen |
Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings, pp. 385-399, 2001, Springer, 3-540-42736-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Anatolij Dvurecenskij |
On Categorical Equivalences of Commutative BCK-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 64(1), pp. 21-36, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Vashti Galpin |
A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
South Afr. Comput. J. ![In: South Afr. Comput. J. 26, pp. 4-12, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Prakash Ishwar, Pierre Moulin |
Fundamental equivalences between set-theoretic and maximum-entropy methods in multiple-domain image restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech, and Signal Processing. ICASSP 2000, 5-9 June, 2000, Hilton Hotel and Convention Center, Istanbul, Turkey, pp. 161-164, 2000, IEEE, 0-7803-6293-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Adnan Aziz, Felice Balarin, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
Equivalences for Fair Kripke Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Chic. J. Theor. Comput. Sci. ![In: Chic. J. Theor. Comput. Sci. 1999, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
16 | Sotiris Boutsis, Stelios Piperidis, Iason Demiros |
Generating Bilingual Lexical Equivalences from Parallel Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Artif. Intell. ![In: Appl. Artif. Intell. 13(6), pp. 583-606, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Enrico Nardelli, Guido Proietti |
Probabilistic models for images and quadtrees: differences and equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Image Vis. Comput. ![In: Image Vis. Comput. 17(9), pp. 659-665, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | K. C. Gupta, Tajinder Pal Singh |
Fuzzy G-equivalences and G-congruences on a groupoid under semibalanced maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 108(1), pp. 111-116, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Zhoujun Li, Huowang Chen |
Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, pp. 300-314, 1999, Springer, 3-540-65703-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | C. Balzarotti, Fiorella de Cindio, Lucia Pomello |
Observation equivalences for the semantics of inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy, 1999, Kluwer, 0-7923-8429-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
16 | Antti Puhakka, Antti Valmari |
Weakest-Congruence Results for Livelock-Preserving Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings, pp. 510-524, 1999, Springer, 3-540-66425-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Igor V. Tarasyuk |
Equivalences for concurrent and distributed systems: a survey of dissertation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1999 |
RDF |
|
16 | Luís Monteiro |
Semantic domains based on sets with families of equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: First Workshop on Coalgebraic Methods in Computer Science, CMCS 1998, Lisbon, Portugal, March 28-29, 1998, pp. 71-104, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Igor V. Tarasyuk |
Place bisimulation equivalences for design of concurrent and sequential systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS Workshop on Concurrency ![In: Proceedings of the MFCS '98 Workshop on Concurrency, Brno, Czech Republic, August 27-29, 1998, pp. 191-206, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Allan Cheng, Mogens Nielsen |
Open Maps, Behavioural Equivalences, and Congruences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 190(1), pp. 87-112, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Paola Quaglia |
Pi-Congruences as CCS Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 358-372, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Werner Nutt, Yehoshua Sagiv, Sara Shurin |
Deciding Equivalences Among Aggregate Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 1-3, 1998, Seattle, Washington, USA, pp. 214-223, 1998, ACM Press, 0-89791-996-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
SQL |
16 | Astrid Kiehn, Matthew Hennessy |
On the Decidability of Non-Interleaving Process Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 30(1), pp. 11-30, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Dusko Pavlovic |
Chu I: Cofree Equivalences, Dualities and *-Autonomous Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 7(1), pp. 49-73, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Alfonseca 0001, Alfonso Ortega 0002 |
A study of the representation of fractal curves by L systems and their equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM J. Res. Dev. ![In: IBM J. Res. Dev. 41(6), pp. 727-736, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Mads Dam |
On the Decidability of Process Equivalences for the pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 183(2), pp. 215-228, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Jaana Eloranta, Martti Tienari, Antti Valmari |
Essential Transitions to Bisimulation Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 179(1-2), pp. 397-419, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Lane A. Hemaspaandra, Zhigen Jiang |
Logspace Reducibility: Models and Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 8(1), pp. 95-, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Peter Sewell |
Nonaxiomatisability of Equivalences over Finite State Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 90(1-3), pp. 163-191, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Marina Lenisa |
Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for Lambda-calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings, pp. 248-266, 1997, Springer, 3-540-62688-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Igor V. Tarasyuk |
Back-Forth Equivalences for Design of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, pp. 374-384, 1997, Springer, 3-540-63045-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | V. Yu. Shavrukov |
Remarks on Uniformly Finitely Precomplete Positive Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 42, pp. 67-82, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Hsu-Chun Yen, Shi-Tsuen Jian, Ta-Pang Lao |
Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 170(1-2), pp. 445-464, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Lalita Jategaonkar, Albert R. Meyer |
Deciding True Concurrency Equivalences on Safe, Finite Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 154(1), pp. 107-143, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Artur Czumaj, Alan Gibbons |
Guthrie's Problem: New Equivalences and Rapid Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 154(1), pp. 3-22, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Allan Cheng, Mogens Nielsen |
Open Maps, Behavioural Equivalences, and Congruences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings, pp. 257-271, 1996, Springer, 3-540-61064-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Open maps, P-bisimilarity, P-factorisability, process algebra, category theory, congruences |
16 | Thomas A. Henzinger, Peter W. Kopke |
State Equivalences for Rectangular Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, pp. 530-545, 1996, Springer, 3-540-61604-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Philippa Gardner |
Equivalences between Logics and Their Representing Type Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 5(3), pp. 323-349, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Dany Serrato, Jean-Pierre Olivier |
Initial Objects, Universal Objects for Squares, Equivalences and Congruences in Relation Semi-Algebras and Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 41, pp. 455-475, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Pasquale Malacaria |
Studying Equivalences of Transition Systems with Algebraic Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 139(1&2), pp. 187-205, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Petr Jancar |
All action-based behavioural equivalences are undecidable for labelled Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 56, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
16 | Sylvie Galichet, Laurent Foulloy |
Fuzzy controllers: synthesis and equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 3(2), pp. 140-148, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Brüning |
Exploiting Equivalences in Connection Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 3(6), pp. 857-886, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
Observable Behaviors and Equivalences of Logic Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 122(1), pp. 1-29, October 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | John Shawe-Taylor |
Sample Sizes for Threshold Networks with Equivalences ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 118(1), pp. 65-72, April 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Dung T. Huynh, Lu Tian |
On Deciding Readiness and Failure Equivalences for Processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 117(2), pp. 193-205, March 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Antti Valmari |
Failure-based Equivalences Are Faster Than Many Believe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRICT ![In: Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995, pp. 326-340, 1995, Springer, 978-3-540-19982-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Mads Dam |
On the Decidability of Process Equivalences for the pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 169-183, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Daniela Florescu, Louiqa Raschid, Patrick Valduriez |
Using Heterogeneous Equivalences for Query Rewriting in Multidatabase Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS ![In: Proceedings of the Third International Conference on Cooperative Information Systems (CoopIS-95), May 9-12, 1995, Schloss Wilhelminenburg Hotel, Vienna, Austria., pp. 158-169, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|