Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Albert R. Meyer |
Concurrent Process Equivalences: Some Decision Problems (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 95, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995, Proceedings, pp. 349, 1995, Springer, 3-540-59042-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Monica Lara de Souza, Robert de Simone |
Using PO Methods for Verfying Behavioural Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995, pp. 75-90, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
16 | Till Mossakowski |
Equivalences among Various Logical Frameworks of Partial Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers, pp. 403-433, 1995, Springer, 3-540-61377-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Rosario Uceda-Sosa |
A modular approach to observational equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
16 | Simonetta Balsamo, Vittoria de Nitto Persone |
A survey of product form queueing networks with blocking and their equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 48(1), pp. 31-61, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Astrid Kiehn |
Comparing Locality and Causality Based Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 31(8), pp. 697-718, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Dung T. Huynh, Lu Tian |
On Deciding some Equivalences for Concurrent Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 28(1), pp. 51-71, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Jan Friso Groote, Hans Hüttel |
Undecidable Equivalences for Basic Process Algebra ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 115(2), pp. 354-371, December 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Hong-Cheu Liu, Kotagiri Ramamohanarao |
Algebraic Equivalences Among Nested Relational Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29 - December 2, 1994, pp. 234-243, 1994, ACM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Patrick Bosc, Olivier Pivert |
Quelques aspects de la sémantique et des équivalences de requêtes dans le langage SOLf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDA ![In: Dixièmes Journées Bases de Données Avancées, 30 Août - 2 Septembre 1994, Clermont-Ferrand, France (Informal Proceedings)., 1994, INRIA. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Hans Hüttel |
Undecidable Equivalences for Basic Parallel Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings, pp. 454-464, 1994, Springer, 3-540-57887-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Jon G. Riecke, Ramesh Subrahmanyam |
Extensions to Type Systems Can Preserve Operational Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings, pp. 76-95, 1994, Springer, 3-540-57887-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Milan Mares |
Algebraic equivalences over fuzzy quantities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 29(2), pp. 121-132, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Dung T. Huynh, Lu Tian |
On deciding trace equivalences for processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 72(1-2), pp. 105-121, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Harald Tveit Alvestrand, Steven J. Thompson |
Equivalences between 1988 X.400 and RFC-822 Message Bodies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 1494, pp. 1-19, August 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Joachim Parrow |
Structural and Behavioural Equivalences of Networks ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 107(1), pp. 58-90, November 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Bengt Jonsson 0001, Joachim Parrow |
Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 107(2), pp. 272-302, December 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Pasquale Malacaria |
Equivalences of Transition Systems in an Algebraic Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 263-270, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Astrid Kiehn |
Proof Systems for Cause Based Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings, pp. 547-556, 1993, Springer, 3-540-57182-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | André Arnold, Anne Dicky |
Equivalences and Preorders of Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings, pp. 20-31, 1993, Springer, 3-540-57182-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
temporal logic, bisimulation, transition system |
16 | Pascal Bernard |
Some elements of methods to deal with equivalences in specification and program development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPL ![In: 2èmes Journées Francophones de Programmation Logique (JFPL 93), Nimes, France, pp. 29-48, 1993, TEKNEA, 2-87717-034-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Kai Salomaa, Derick Wood, Sheng Yu 0001 |
Structural Equivalences and ET0L Grammars (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 430-439, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Jinzhao Wu, Lian Li |
The Regular Problem and Green Equivalences for Special Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ISSAC '93, Kiev, Ukraine, July 6-8, 1993, pp. 78-85, 1993, ACM, 0-89791-604-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Michele Boreale, Paola Inverardi, Monica Nesi |
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 43(3), pp. 155-160, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Karlis Cerans |
Decidability of Bisimulation Equivalences for Parallel Timer Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings, pp. 302-315, 1992, Springer, 3-540-56496-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Irek Ulidowski |
Equivalences on Observable Processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), Santa Cruz, California, USA, June 22-25, 1992, pp. 148-159, 1992, IEEE Computer Society, 0-8186-2735-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
Observational Equivalences for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JICSLP ![In: Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992, pp. 131-145, 1992, MIT Press, 0-262-51064-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | Huajun Qin, Philip Lewis |
Factorisation of Finite State Machines under Strong and Observational Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 3(3), pp. 284-307, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Claude Fernandez, Laurent Mounier |
"On the Fly" Verification of Behavioural Equivalences and Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings, pp. 181-191, 1991, Springer, 3-540-55179-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Huajun Qin, Philip Lewis |
Decomposition of Finite State Machines under Isomorphic and Bisimulation Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 559-570, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
16 | John Shawe-Taylor |
Threshold Network Learning in the Presence of Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 4, [NIPS Conference, Denver, Colorado, USA, December 2-5, 1991], pp. 879-886, 1991, Morgan Kaufmann, 1-55860-222-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
16 | Jean-Claude Fernandez, Laurent Mounier |
A Tool Set for deciding Behavioral Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 23-42, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Rob van Glabbeek, Ursula Goltz |
Equivalences and refinement ![Search on Bibsonomy](Pics/bibsonomy.png) |
Forschungsberichte, TU Munich ![In: Forschungsberichte, TU Munich TUM I 9024, pp. 1-25, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
RDF |
|
16 | Chilukuri K. Mohan |
Equivalences of Rewrite Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 92-97, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Chi-Chang Jou, Scott A. Smolka |
Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings, pp. 367-383, 1990, Springer, 3-540-53048-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Gianfranco Mascari, Antonio Vincenzi |
Model-Theoretic Specifications and Back-and-Forth Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADT ![In: Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990, pp. 166-184, 1990, Springer, 3-540-54496-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Yehuda Rav |
Lattice Theoretical Equivalences of the Ultrafilter Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 35(2), pp. 131-136, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Mike Livesey |
Stable Families of Behavioural Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 63(1), pp. 19-41, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | André Arnold, Anne Dicky |
An Algebraic Characterization of Transition System Equivalences ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 82(2), pp. 198-229, August 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Bengt Jonsson 0001, Joachim Parrow |
Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings, pp. 421-433, 1989, Springer, 3-540-50840-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Michael J. Maher |
Equivalences of Logic Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Deductive Databases and Logic Programming. ![In: Foundations of Deductive Databases and Logic Programming, pp. 627-658, 1988, Morgan Kaufmann, 0-934613-40-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Roberto M. Amadio |
A fixed point extension of the second order lambda-calculus: observable equivalences and models ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), Edinburgh, Scotland, UK, July 5-8, 1988, pp. 51-60, 1988, IEEE Computer Society, 0-8186-0853-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | James S. Prater, Charles M. Loeffler |
Equivalences and optimal designs of PTV systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP '88, New York, New York, USA, April 11-14, 1988, pp. 1934-1937, 1988, IEEE. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Aïda Batarekh, V. S. Subrahmanian |
Semantical Equivalences of (Non-Classical) Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 960-977, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
16 | Rocco De Nicola |
Extensional Equivalences for Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 24(2), pp. 211-237, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Michael G. Main |
Trace, failure and testing equivalences for communicating processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 16(5), pp. 383-400, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari |
Observational equivalences for concurrency models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 105-134, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
16 | Bruno Courcelle |
Equivalences and Transformations of Regular Systems-Applications to Recursive Program Schemes and Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 42, pp. 1-122, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | R. P. Nederpelt |
Bijections between formulae and trees which are compatible with equivalences of the type ((f·g)·h)~((f·h)·g). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 59(1-2), pp. 99-105, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Luca Aceto, Rocco De Nicola, Alessandro Fantechi |
Testing Equivalences for Event Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Models for the Semantics of Parallelism ![In: Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings, pp. 1-20, 1986, Springer, 3-540-18419-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Rocco De Nicola |
Testing equivalences and fully abstract models for communicating systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1986 |
RDF |
|
16 | Raul Cordovil, Ilda P. F. da Silva |
A Problem of McMullen on the Projective Equivalences of Polytopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 6(2), pp. 157-161, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Bruno Courcelle |
Equivalences and Transformations of Recursive Definitions ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 26th Annual Symposium on Foundations of Computer Science, Portland, Oregon, USA, 21-23 October 1985, pp. 354-359, 1985, IEEE Computer Society, 0-8186-0644-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Rocco De Nicola, Matthew Hennessy |
Testing Equivalences for Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 34, pp. 83-133, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Albert R. Meyer, Jerzy Tiuryn |
Equivalences among Logics of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 29(2), pp. 160-170, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Jorma Rissanen |
On Equivalences of Database Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the ACM Symposium on Principles of Database Systems, March 29-31, 1982, Los Angeles, California, USA, pp. 23-26, 1982, ACM, 0-89791-070-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
16 | Peter H. Farquhar, Peter C. Fishburn |
Equivalences and Continuity in Multivalent Preference Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 29(2), pp. 282-293, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
16 | Albert R. Meyer, Jerzy Tiuryn |
A Note On Equivalences Among Logics of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic of Programs ![In: Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, pp. 282-299, 1981, Springer, 3-540-11212-X. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
16 | Yehoshua Sagiv, Mihalis Yannakakis |
Equivalences Among Relational Expressions with the Union and Difference Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 27(4), pp. 633-655, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Jonell Duda Comerford |
Affine and General Linear Equivalences of Boolean Functions ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 45(2), pp. 156-169, May 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Susan E. Conry, J. Robert Jump |
On Functional Equivalences in a Model for Parallel Computation ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 41(3), pp. 247-274, June 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman |
Equivalences Among Relational Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 8(2), pp. 218-246, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Gary L. Peterson |
Time-Space Trade-Offs for Asynchronous Parallel Models: Reducibilities and Equivalences ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1979, Atlanta, Georgia, USA, pp. 224-230, 1979, ACM. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Sik K. Leung-Yan-Cheong, Thomas M. Cover |
Some equivalences between Shannon entropy and Kolmogorov complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 24(3), pp. 331-338, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Jirí Demel |
Maximal frequencies of equivalences with small classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 23(1), pp. 67-71, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Joel V. Brawley, Jack Levine |
Equivalences of Vigenere Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptologia ![In: Cryptologia 1(4), pp. 338-361, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
16 | Marek Karpinski |
The Equivalences Problems for Binary EOL-Systems are Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, Proceedings of the 1977 International FCT-Conference, Poznan-Kórnik, Poland, September 19-23, 1977, pp. 423-434, 1977, Springer, 3-540-08442-8. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
16 | Karel Culík |
Equivalences of Parallel Courses of Algorithmic Nets and Precedence Flow Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, Strbské Pleso, High Tatras, Czechoslovakia, September 3-8, 1973., pp. 27-38, 1973, Mathematical Institute of the Slovak Academy of Sciences. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP BibTeX RDF |
|
16 | Hisao Yamada, Serafino Amoroso |
Structural and Behavioral Equivalences of Tessellation Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 18(1), pp. 1-31, February 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
16 | Robin Milner |
Equivalences on Program Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 4(3), pp. 205-219, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
16 | Carl V. Page |
Equivalences between Probalistic and Deterministic Sequential Machines ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 9(5), pp. 469-520, October 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
16 | Jack W. Carlyle |
State-calculable stochastic sequential machines, equivalences, and events ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWCT ![In: 6th Annual Symposium on Switching Circuit Theory and Logical Design, Ann Arbor, Michigan, USA, October 6-8, 1965, pp. 258-263, 1965, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1965 |
DBLP DOI BibTeX RDF |
|
10 | Fritz Henglein |
Optimizing relational algebra operations using generic equivalence discriminators and lazy products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 73-82, 2010, ACM, 978-1-60558-727-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cross-product, disriminator, optimization, optimize, optimizing, evaluation, generic, query, product, algebra, formal, relational, equivalence, join, discrimination, symbolic, lazy |
10 | Limin Jia 0001, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich |
Dependent types and program equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 275-286, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
dependent types, program equivalence |
10 | Michael Schmidt 0002, Michael Meier 0002, Georg Lausen |
Foundations of SPARQL query optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2010, 13th International Conference, Lausanne, Switzerland, March 23-25, 2010, Proceedings, pp. 4-33, 2010, ACM, 978-1-60558-947-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
SPARQL algebra, complexity, query optimization, RDF, SPARQL, semantic query optimization |
10 | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
Strengthening Model Checking Techniques With Inductive Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(1), pp. 154-158, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Balder ten Cate, Maarten Marx |
Axiomatizing the Logical Core of XPath 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 44(4), pp. 561-589, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
XML, XPath, Query rewriting, Axiomatization |
10 | E. Patrick Shironoshita, Yves R. Jean-Mary, Ray M. Bradley, Mansur R. Kabuka |
semQA: SPARQL with Idempotent Disjunction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 21(3), pp. 401-414, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Shyue-Wen Yang, Ming-Hwa Sheu, Jun-Jie Lin, Chuang-Chun Hu, Tzu-Hsiung Chen, Shau-Yin Tseng |
Parallel 3-Pixel Labeling Method and its Hardware Architecture Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: Proceedings of the Fifth International Conference on Information Assurance and Security, IAS 2009, Xi'An, China, 18-20 August 2009, pp. 185-188, 2009, IEEE Computer Society, 978-0-7695-3744-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Brendan Nagle, Annika Poerschke, Vojtech Rödl, Mathias Schacht |
Hypergraph regularity and quasi-randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2009, New York, NY, USA, January 4-6, 2009, pp. 227-235, 2009, SIAM, 978-0-89871-680-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Gilles Nachouki, Mirna Nachouki, Marie-Pierre Chastang |
Semantic reconciliation in peer multi-data source management system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: International Database Engineering and Applications Symposium (IDEAS 2009), September 16-18, 2009, Cetraro, Calabria, Italy, pp. 326-329, 2009, ACM, 978-1-60558-402-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multi-data source fusion language, semantic reconciliation, XML, interoperability, P2P, PDMS |
10 | Derek Dreyer, Amal Ahmed 0001, Lars Birkedal |
Logical Step-Indexed Logical Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 71-80, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner |
Equality saturation: a new approach to optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 264-276, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
equality reasoning, compiler optimization, intermediate representation |
10 | Hugo L. Jonker, Sjouke Mauw, Jun Pang 0001 |
Measuring Voter-Controlled Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan, pp. 289-298, 2009, IEEE Computer Society, 978-1-4244-3572-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Kristian Støvring, Søren B. Lassen |
A Complete, Co-inductive Syntactic Theory of Sequential Control and State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 329-375, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Imène Kadi, Nihal Pekergin, Jean-Marc Vincent |
Different Monotonicity Definitions in Stochastic Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASMTA ![In: Analytical and Stochastic Modeling Techniques and Applications, 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings, pp. 144-158, 2009, Springer, 978-3-642-02204-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Jan Kofron, Pavel Parízek, Ondrej Sery |
On Teaching Formal Methods: Behavior Models and Code Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFM ![In: Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 144-157, 2009, Springer, 978-3-642-04911-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Elena S. Oshevskaya |
Open Maps Bisimulations for Higher Dimensional Automata Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings, pp. 274-286, 2009, Springer, 978-3-642-03408-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira |
Verifying Cryptographic Software Correctness with Respect to Reference Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, pp. 37-52, 2009, Springer, 978-3-642-04569-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Luke Simon |
Optimizing Pointer Analysis Using Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings, pp. 222-237, 2009, Springer, 978-3-642-03236-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann 0001 |
Relational semantics for effect-based program transformations: higher-order store. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 301-312, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
higher-order store, logical relation, side effect |
10 | Michinori Nakata, Hiroshi Sakai |
Rough Sets under Non-deterministic Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 76-85, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Imprecise values, Possible equivalence classes, Rough sets, Incomplete information, Non-deterministic information |
10 | Rohit Chadha, Stéphanie Delaune, Steve Kremer |
Epistemic Logic for the Applied Pi Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS/FORTE ![In: Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, pp. 182-197, 2009, Springer, 978-3-642-02137-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Paolo Tranquilli |
Confluence of Pure Differential Nets with Promotion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 500-514, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Eijiro Sumii |
A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 455-469, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Hong Yao, Howard J. Hamilton |
Mining functional dependencies from data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 16(2), pp. 197-219, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Discovering functional dependencies, Mining functional dependencies, Implication rule, FD_Mine, Data mining, Relational databases, Knowledge discovery, Functional dependencies |
10 | Matteo Magnani, Danilo Montesi |
Management of interval probabilistic data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 45(2), pp. 93-130, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | José L. Castiglioni, Matías Menni, Marta Sagastume |
On Some Categories of Involutive Centered Residuated Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 90(1), pp. 93-124, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Kalman functor, residuated lattices, involution |
10 | A. Mani |
Esoteric Rough Set Theory: Algebraic Semantics of a Generalized VPRS and VPFRS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets VIII, pp. 175-223, 2008, Springer, 978-3-540-85063-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Esoteric Rough Set Theory, Variable Precision Rough Set Theory, Algebraic Semantics of Generalized Rough Set Theory, Irreflexive Rough Set Theory, VPRFS, GVPRFS, Rough Sets |
10 | Louis L. Scharf, Edwin K. P. Chong, Michael D. Zoltowski, J. Scott Goldstein, Irving S. Reed |
Subspace Expansion and the Equivalence of Conjugate Direction and Multistage Wiener Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(10-2), pp. 5013-5019, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|