Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Bogdan Aman, Gabriel Ciobanu |
Behavioural Equivalences in Real-Time P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Conf. on Membrane Computing ![In: Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers, pp. 88-100, 2013, Springer, 978-3-642-54238-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Elena S. Oshevskaya, Irina B. Virbitskaite, Eike Best |
Unifying Equivalences for Higher Dimensional Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 119(3-4), pp. 357-372, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Marina Meila |
Local equivalences of distances between clusterings - a geometric perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 86(3), pp. 369-389, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Yifeng Zeng, Prashant Doshi |
Exploiting Model Equivalences for Solving Interactive Dynamic Influence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 43, pp. 211-255, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Weien Chen, Yongzhi Cao, Hanpin Wang |
Behavioural equivalences of a probabilistic pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 55(9), pp. 2031-2043, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Perdita Stevens |
Observations relating to the equivalences induced on model sets by bidirectional transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Fabian Lim |
Two Embedding Theorems for Data with Equivalences under Finite Group Action ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1207.6986, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Martin Lange, Étienne Lozes, Manuel Vargas Guzmán |
Model-Checking Process Equivalences ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., pp. 43-56, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Tom Hirschowitz, Damien Pous |
Innocent Strategies as Presheaves and Interactive Equivalences for CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Comput. Sci. ![In: Sci. Ann. Comput. Sci. 22(1), pp. 147-199, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Furio Honsell, Marina Lenisa, Rekha Redamalla |
Equivalences and Congruences on Infinite Conway Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 46(2), pp. 231-259, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Martin Emms, Hector-Hugo Franco-Penya |
On Order Equivalences between Distance and Similarity Measures on Sequences and Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPRAM (1) ![In: ICPRAM 2012 - Proceedings of the 1st International Conference on Pattern Recognition Applications and Methods, Volume 1, Vilamoura, Algarve, Portugal, 6-8 February, 2012, pp. 15-24, 2012, SciTePress, 978-989-8425-98-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Krzysztof Chris Ciesielski, Jayaram K. Udupa, Alexandre X. Falcão, Paulo A. V. Miranda |
A unifying graph-cut image segmentation framework: algorithms it encompasses and equivalences among them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image Processing ![In: Medical Imaging 2012: Image Processing, San Diego, California, USA, February 4, 2012, pp. 83143C, 2012, SPIE, 978-0-8194-8963-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Marc Finthammer, Christoph Beierle |
Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2012: Advances in Artificial Intelligence - 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings, pp. 49-60, 2012, Springer, 978-3-642-33346-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best |
Unifying Equivalences for Timed Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 386-404, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Marco Bernardo 0001, Rocco De Nicola, Michele Loreti |
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, pp. 195-209, 2012, Springer, 978-3-642-28728-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Krzysztof Kluza, Krzysztof Kaczor |
Overview of BPMN Model Equivalences. Towards normalization of BPMN diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KESE@ECAI ![In: Proceedings of 8th Workshop on Knowledge Engineering and Software Engineering, KESE@ECAI 2012, Montpellier, France, August 28, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Douglas Negrini, Deise de Brum Saccol, Francisco Tiago Machado de Avelar, Eduardo Kessler Piveta |
CMAP: Tracking equivalences from XML documents to relational schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: IEEE 13th International Conference on Information Reuse & Integration, IRI 2012, Las Vegas, NV, USA, August 8-10, 2012, pp. 332-339, 2012, IEEE, 978-1-4673-2282-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Bogdan Aman, Gabriel Ciobanu, Maciej Koutny |
Behavioural Equivalences over Migrating Processes with Timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS/FORTE ![In: Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, pp. 52-66, 2012, Springer, 978-3-642-30792-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Gracinda Carvalho, David Martins de Matos, Vítor Rocio |
Building and Exploring Semantic Equivalences Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Eighth International Conference on Language Resources and Evaluation, LREC 2012, Istanbul, Turkey, May 23-25, 2012, pp. 2038-2042, 2012, European Language Resources Association (ELRA), 978-2-9517408-7-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | |
Extensional Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Parallel Computing ![In: Encyclopedia of Parallel Computing, pp. 644, 2011, Springer, 978-0-387-09765-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Rocco De Nicola |
Behavioral Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Parallel Computing ![In: Encyclopedia of Parallel Computing, pp. 120-127, 2011, Springer, 978-0-387-09765-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Benoit Da Mota |
Équivalences et forme prénexe pour les formules booléennes quantifiées. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. d'Intelligence Artif. ![In: Rev. d'Intelligence Artif. 25(6), pp. 717-742, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Krzysztof Chris Ciesielski, Jayaram K. Udupa |
A framework for comparing different image segmentation methods and its use in studying equivalences between level set and fuzzy connectedness frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Vis. Image Underst. ![In: Comput. Vis. Image Underst. 115(6), pp. 721-734, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Vashti Galpin |
Equivalences for a biological process algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 412(43), pp. 6058-6082, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Gennady Shtakser, Leonid Leonenko |
Tracks of Relations and Equivalences-based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 97(3), pp. 385-413, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Tom Hirschowitz, Damien Pous |
Innocent strategies as presheaves and interactive equivalences for CCS ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE ![In: Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011., pp. 2-24, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Tom Hirschowitz, Damien Pous |
Strategies as sheaves and interactive equivalences for CCS ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1109.4356, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Rémy Haemmerlé |
Observational equivalences for linear logic CC languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1108.0329, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Arpan Saha, Karthik C. S. |
A Few Equivalences of Wall-Sun-Sun Prime Conjecture ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1102.1636, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Liam Roditty, Virginia Vassilevska Williams |
Minimum Weight Cycles and Triangles: Equivalences and Algorithms ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1104.2882, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Zbigniew Lonc, Miroslaw Truszczynski |
On graph equivalences preserved under extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 311(12), pp. 966-977, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Cezary Cieslinski |
T-Equivalences for positive Sentences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 4(2), pp. 319-325, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Michael Fink 0001 |
A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 11(2-3), pp. 171-202, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Rémy Haemmerlé |
Observational equivalences for linear logic concurrent constraint languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 11(4-5), pp. 469-485, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Natalya Gribovskaya |
A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers, pp. 142-152, 2011, Springer, 978-3-642-29708-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Liam Roditty, Virginia Vassilevska Williams |
Minimum Weight Cycles and Triangles: Equivalences and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: IEEE 52nd Annual Symposium on Foundations of Computer Science, FOCS 2011, Palm Springs, CA, USA, October 22-25, 2011, pp. 180-189, 2011, IEEE Computer Society, 978-1-4577-1843-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Cluzeau, Alban Quadrat |
A constructive version of Fitting's theorem on isomorphisms and equivalences of linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
nDS ![In: 7th International Workshop on Multidimensional (nD) Systems, nDS 2011, Poitiers, France, September 5-7, 2011, pp. 1-8, 2011, IEEE, 978-1-61284-815-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Chaodong He, Yuxi Fu, Hongfei Fu 0001 |
Decidability of Behavioral Equivalences in Process Calculi with Name Scoping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers, pp. 284-298, 2011, Springer, 978-3-642-29319-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Josje Lodder, Bastiaan Heeren |
A Teaching Tool for Proving Equivalences between Logical Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TICTTL ![In: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings, pp. 154-161, 2011, Springer, 978-3-642-21349-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Lei Song 0001, Lijun Zhang 0001, Jens Chr. Godskesen |
Bisimulations Meet PCTL Equivalences for Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings, pp. 108-123, 2011, Springer, 978-3-642-23216-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge |
Decomposing constraint systems: equivalences and computational properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3, pp. 149-156, 2011, IFAAMAS, 978-0-9826571-5-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Kathleen M. Gates, Peter C. M. Molenaar, Frank G. Hillary, Nilam Ram, Michael J. Rovine |
Automatic search for fMRI connectivity mapping: An alternative to Granger causality testing using formal equivalences among SEM path modeling, VAR, and unified SEM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 50(3), pp. 1118-1125, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Irina B. Virbitskaite, Natalya Gribovskaya |
Unifying behavioral equivalences of timed transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 36(3), pp. 138-148, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Michael Fink 0001 |
A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1006.3021, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Roberto Giuntini, Francesco Paoli, Antonio Ledda |
Categorical Equivalences for sqrt(') quasi-MV Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 20(4), pp. 795-810, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Sibylle B. Fröschle, Petr Jancar, Slawomir Lasota 0001, Zdenek Sawa |
Non-interleaving bisimulation equivalences on Basic Parallel Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 208(1), pp. 42-62, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Antonín Kucera 0001, Richard Mayr |
On the complexity of checking semantic equivalences between pushdown processes and finite-state processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 208(7), pp. 772-796, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Yongzhi Cao |
A Hierarchy of Behavioral Equivalences in the π-calculus with Noisy Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 53(1), pp. 3-20, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | José Luis Aznarte, José Manuel Benítez |
Equivalences between neural-autoregressive time series models and fuzzy systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 21(9), pp. 1434-1444, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Dionís Boixader, Jordi Recasens |
Approximating fuzzy preorders and equivalences. A similarity based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2010, IEEE International Conference on Fuzzy Systems, Barcelona, Spain, 18-23 July, 2010, Proceedings, pp. 1-6, 2010, IEEE, 978-1-4244-6919-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Magnus Johansson, Jesper Bengtson, Joachim Parrow, Björn Victor |
Weak Equivalences in Psi-Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 322-331, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
pi-calculus extension, weak bisimulation, barbed bisimulation |
16 | Virginia Vassilevska Williams, Ryan Williams 0001 |
Subcubic Equivalences between Path, Matrix and Triangle Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 51th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2010, October 23-26, 2010, Las Vegas, Nevada, USA, pp. 645-654, 2010, IEEE Computer Society, 978-0-7695-4244-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum |
Safe Equivalences for Security Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Theoretical Computer Science - 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings, pp. 55-70, 2010, Springer, 978-3-642-15239-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Marco Bernardo 0001 |
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009, pp. 3-23, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Sibylle B. Fröschle, Slawomir Lasota 0001 |
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 17-42, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Nicholas A. Loehr, Jeffrey B. Remmel |
Rook-by-rook rook theory: Bijective proofs of rook and hit equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 42(4), pp. 483-503, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Vakhtang Lomadze |
ARMA-models and their equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 82(11), pp. 2034-2039, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay |
Qualitative Logics and Equivalences for Probabilistic Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 5(2), 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Amy Glen, Florence Levé, Gwénaël Richomme |
Directive words of episturmian words: equivalences and normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 43(2), pp. 299-319, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Hans Hüttel, Naoki Kobayashi 0001, Takashi Suto |
Undecidable equivalences for basic parallel processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 207(7), pp. 812-829, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Dionís Boixader, Jordi Recasens |
Approximate fuzzy preorders and equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2009, IEEE International Conference on Fuzzy Systems, Jeju Island, Korea, 20-24 August 2009, Proceedings, pp. 564-568, 2009, IEEE, 978-1-4244-3596-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ming-Hong Bai, Jia-Ming You, Keh-Jiann Chen, Jason S. Chang |
Acquiring Translation Equivalences of Multiword Expressions by Normalized Correlation Frequencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing, EMNLP 2009, 6-7 August 2009, Singapore, A meeting of SIGDAT, a Special Interest Group of the ACL, pp. 478-486, 2009, ACL, 978-1-932432-59-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Nikesh Garera, Chris Callison-Burch, David Yarowsky |
Improving Translation Lexicon Induction from Monolingual Corpora via Dependency Contexts and Part-of-Speech Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNLL ![In: Proceedings of the Thirteenth Conference on Computational Natural Language Learning, CoNLL 2009, Boulder, Colorado, USA, June 4-5, 2009, pp. 129-137, 2009, ACL, 978-1-932432-29-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Zining Cao |
Distributed Viewpoint Equivalences for Higher Order Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIE (7) ![In: CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes, pp. 792-796, 2009, IEEE Computer Society, 978-0-7695-3507-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci |
On the Use of Behavioural Equivalences for Web Services' Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 89(4), pp. 479-510, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Sergio Maffeis, Philippa Gardner |
Behavioural equivalences for dynamic Web data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 75(1), pp. 86-138, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Bruno Blanchet, Martín Abadi, Cédric Fournet |
Automated verification of selected equivalences for security protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 75(1), pp. 3-51, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Vitus S. W. Lam |
Theory for classifying equivalences of unified modelling language activity diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Softw. ![In: IET Softw. 2(5), pp. 391-403, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino |
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 149-162, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Marco Bernardo 0001, Stefania Botta |
A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 18(1), pp. 29-55, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Alberto Facchini, Rogelio Fernández-Alonso |
Subdirect Products of Preadditive Categories and Weak Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(1-2), pp. 103-122, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 18E05, Secondary 08B26 |
16 | Tuan-Fang Fan, Churn-Jung Liau, Tsau Young Lin |
A theoretical investigation of regular equivalences for fuzzy graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 49(3), pp. 678-688, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Anak Agung Julius, Jan Willem Polderman, Arjan van der Schaft |
Parametrization of the Regular Equivalences of the Canonical Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 53(4), pp. 1032-1036, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
Compositional semantics and behavioral equivalences for P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 395(1), pp. 77-100, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Amy Glen, Florence Levé, Gwénaël Richomme |
Directive words of episturmian words: equivalences and normalization ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0802.3888, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Yongzhi Cao |
A hierarchy of behavioral equivalences in the π-calculus with noisy channels ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0801.3117, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Martin Charles Golumbic, Marina Lipshteyn, Michal Stern |
Equivalences and the complete hierarchy of intersection graphs of paths in a tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 156(17), pp. 3203-3215, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Mihir Bellare, Marc Fischlin, Adam O'Neill, Thomas Ristenpart |
Deterministic Encryption: Definitional Equivalences and Constructions without Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2008, pp. 267, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Gabriel Ciobanu |
Behaviour Equivalences in Timed Distributed pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software-Intensive Systems and New Computing Paradigms ![In: Software-Intensive Systems and New Computing Paradigms - Challenges and Visions, pp. 190-208, 2008, Springer, 978-3-540-89436-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Michael Fink 0001 |
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 99-113, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
uniform equivalence, knowledge representation, program optimization, answer-set programming |
16 | Bala Krushna Tripathy, Anirban Mitra, Jaladhar Ojha |
On Rough Equalities and Rough Equivalences of Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing, 6th International Conference, RSCTC 2008, Akron, OH, USA, October 23-25, 2008, Proceedings, pp. 92-102, 2008, Springer, 978-3-540-88423-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
bottom R-equal, top R-equal, R-equal, bottom R-equivalent, top R-equivalent and R-equivalent |
16 | Alessandro Aldini, Marco Bernardo 0001 |
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems VI, pp. 228-254, 2008, Springer, 978-3-642-10247-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Xiaowei Huang 0001, Li Jiao, Weiming Lu |
Weak Parametric Failure Equivalences and Their Congruence Formats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 15-26, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Marco Bernardo 0001 |
Non-bisimulation-based Markovian behavioral equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 72(1), pp. 3-49, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
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) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(3), pp. 17, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
strong equivalence, uniform equivalence, computational complexity, program optimization, stable models, Answer set semantics |
16 | Michele Pagani |
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 17(2), pp. 341-359, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Gaucher |
T-Homotopy and Refinement of Observation - Part II: Adding New T-Homotopy Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2007, pp. 87404:1-87404:20, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Sara Cohen, Werner Nutt, Yehoshua Sagiv |
Deciding equivalences among conjunctive aggregate queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(2), pp. 5, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
bag-set semantics, Aggregation, Datalog, query equivalence |
16 | Yuxin Deng |
A Simple Completeness Proof for the Axiomatisations of Weak Behavioural Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 93, pp. 207-219, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
16 | Janusz A. Brzozowski, Helmut Jürgensen |
Representation of Semiautomata by Canonical Words and Equivalences, Part II: Specification of Software Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 18(5), pp. 1065-1087, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | L. Méhats, Sergei Soloviev 0001 |
Coherence in SMCCS and equivalences on derivations in IMLL with unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 147(3), pp. 127-179, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay |
Qualitative Logics and Equivalences for Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK, pp. 237-248, 2007, IEEE Computer Society, 0-7695-2883-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Naoki Kobayashi 0001, Takashi Suto |
Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the pi -Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings, pp. 740-751, 2007, Springer, 978-3-540-73419-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Rajeev Alur, Pavol Cerný, Swarat Chaudhuri |
Model Checking on Trees with Path Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 664-678, 2007, Springer, 978-3-540-71208-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Maria V. Andreeva, Irina B. Virbitskaite |
Observational Equivalences for Timed Stable Event Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 72(1-3), pp. 1-19, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
16 | Marco Bernardo 0001, Stefania Botta |
Modal Logic Characterization of Markovian Testing and Trace Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMCS ![In: Proceedings of the Workshop on Logic, Models and Computer Science, LMCS 2006, Camerino, Italy, April 20-22, 2006, pp. 7-18, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Baldan, Fabio Gadducci, Ugo Montanari |
Modelling Calculi with Name Mobility using Graphs with Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TERMGRAPH@ETAPS ![In: Proceedings of the Third International Workshop on Term Graph Rewriting, TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006, pp. 85-97, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez |
Process Equivalences as Global Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 12(11), pp. 1521-1550, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Janusz A. Brzozowski, Helmut Jürgensen |
Errata: "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. 17(5), pp. 1231-1232, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Dorel Mihet, Viorel Radu |
T-equalities as fuzzy non-Archimedean metrics and Δ+-fuzzy equivalences of type S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 157(20), pp. 2751-2761, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|