Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Filippo Bonchi |
Abstract Semantics by Observable Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 478-480, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | I. Burhan Türksen |
Ontological and Epistemological Grounding of Fuzzy Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 109-118, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Michele Bugliesi, Marco Giunti |
Secure implementations of typed channel abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 251-262, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
language encodings, typed behavioral theories, full abstraction |
20 | Lijun Zhang 0001, Holger Hermanns |
Deciding Simulations on Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings, pp. 207-222, 2007, Springer, 978-3-540-75595-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Jiu-Tao Nie, Xu Cheng 0001 |
An Efficient SSA-Based Algorithm for Complete Global Value Numbering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings, pp. 319-334, 2007, Springer, 978-3-540-76636-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Miroslav Ciric 0001, Aleksandar Stamenkovic, Jelena Ignjatovic, Tatjana Petkovic |
Factorization of Fuzzy Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings, pp. 213-225, 2007, Springer, 978-3-540-74239-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Lifeng He, Yuyan Chao, Kenji Suzuki 0001 |
A Run-Based Two-Scan Labeling Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR ![In: Image Analysis and Recognition, 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007, Proceedings, pp. 131-142, 2007, Springer, 978-3-540-74258-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
label equivalence, run data, pattern recognition, connected components, linear-time algorithm, Labeling algorithm |
20 | Dunren Che, Karl Aberer, M. Tamer Özsu |
Query optimization in XML structured-document databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 15(3), pp. 263-289, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
XML query optimization, Deterministic query optimization, XML database, XML query processing, Query transformation |
20 | Luis Paricio |
Homotopy Categories for Simply Connected Torsion Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(5-6), pp. 421-451, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2001) 55U35, 55U40, 55N25, 55Q70 |
20 | Fai Wong, Dong-Cheng Hu, Yu-Hang Mao, Ming-Chui Dong, Yi-Ping Li |
Machine Translation Based on Constraint-Based Synchronous Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNLP ![In: Natural Language Processing - IJCNLP 2005, Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings, pp. 612-623, 2005, Springer, 3-540-29172-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez |
Bisimulations Up-to for the Linear Time Branching Time Spectrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, pp. 278-292, 2005, Springer, 3-540-28309-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Norman May, Sven Helmer, Guido Moerkotte |
Nested Queries and Quantifiers in an Ordered Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 20th International Conference on Data Engineering, ICDE 2004, 30 March - 2 April 2004, Boston, MA, USA, pp. 239-250, 2004, IEEE Computer Society, 0-7695-2065-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Yuxin Deng, Davide Sangiorgi |
Towards an Algebraic Theory of Typed Mobile Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, pp. 445-456, 2004, Springer, 3-540-22849-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Mark Lawford, Hong Zhang 0016 |
Equivalence Verification of Timed Transition Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada, pp. 155-164, 2004, IEEE Computer Society, 0-7695-2077-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Yuxi Fu, Xiaoju Dong |
Formalizing the Environment View of Process Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS ![In: Computational and Information Science, First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings, pp. 336-345, 2004, Springer, 3-540-24127-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Norman May, Sven Helmer, Guido Moerkotte |
Quantifiers in XQuery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: 4th International Conference on Web Information Systems Engineering, WISE 2003, Rome, Italy, December 10-12, 2003, pp. 313-316, 2003, IEEE Computer Society, 0-7695-1999-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Mariëlle Stoelinga, Frits W. Vaandrager |
A Testing Scenario for Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 464-477, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Norman May, Sven Helmer, Guido Moerkotte |
Three Cases for Query Decorrelation in XQuery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Xsym ![In: Database and XML Technologies, First International XML Database Symposium, XSym 2003, Berlin, Germany, September 8, 2003, Proceedings, pp. 70-84, 2003, Springer, 3-540-20055-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Giedrius Slivinskas, Christian S. Jensen, Richard T. Snodgrass |
Bringing Order to Query Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 31(2), pp. 5-14, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Michele Boreale, Daniele Gorla |
On Compositional Reasoning in the Spi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings, pp. 67-81, 2002, Springer, 3-540-43366-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
reasoning on security, process calculi, axiomatization |
20 | Dan Olteanu, Holger Meuss, Tim Furche, François Bry |
XPath: Looking Forward. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT Workshops ![In: XML-Based Data Management and Multimedia Engineering - EDBT 2002 Workshops, EDBT 2002 Workshops XMLDM, MDDE, and YRWS, Prague, Czech Republic, March 24-28, 2002, Revised Papers, pp. 109-127, 2002, Springer, 3-540-00130-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Flavio Corradini, Marco Pistore |
'Closed Interval Process Algebra' versus 'Interval Process Algebra'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 37(7), pp. 467-509, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Giedrius Slivinskas, Christian S. Jensen, Richard T. Snodgrass |
A Foundation for Conventional and Temporal Query Optimization Addressing Duplicates and Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 13(1), pp. 21-49, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
temporal algebra, query optimization, Temporal databases, transformation rules, duplicate elimination, coalescing |
20 | Irina B. Virbitskaite |
Observational Semantics for Timed Event Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, pp. 214-224, 2001, Springer, 3-540-43075-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Marco Bernardo 0001, Paolo Ciancarini, Lorenzo Donatiello |
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: 2001 Working IEEE / IFIP Conference on Software Architecture (WICSA 2001), 28-31 August 2001, Amsterdam, The Netherlands, pp. 77-86, 2001, IEEE Computer Society, 0-7695-1360-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Cédric Fournet, Georges Gonthier |
The Join Calculus: A Language for Distributed Mobile Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPSEM ![In: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures, pp. 268-332, 2000, Springer, 3-540-44044-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Torben Amtoft, Franklyn A. Turbak |
Faithful Translations between Polyvariant Flows and Polymorphic Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 26-40, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Proof Techniques for Cryptographic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 157-166, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Logical aspects of protocol security, Formal methods, Semantics, Concurrency |
20 | Luigi Di Stefano, Andrea Bulgarelli |
A Simple and Efficient Connected Components Labeling Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAP ![In: 1oth International Conference on Image Analysis and Processing (ICIAP 1999), 27-29 September 1999, Venice, Italy, pp. 322-327, 1999, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Femke van Raamsdonk |
Higher-Order Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings, pp. 220-239, 1999, Springer, 3-540-66201-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Michele Boreale, Davide Sangiorgi |
A Fully Abstract Semantics for Causality in the \pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 35(5), pp. 353-400, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
Representing and Reasoning on SGML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings, pp. 540-549, 1997, Springer, 3-540-63614-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Kim Sunesen, Mogens Nielsen |
Behavioural Equivalence for Infinite Systems - Partially Decidable! ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 460-479, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Behavioural Equivalence, Petri Nets, Decidability, Process Calculi, Partial Order Methods |
20 | Ursula Goltz, Heike Wehrheim |
Causal Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings, pp. 394-406, 1996, Springer, 3-540-61550-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Marina Lenisa |
Final Semantics for a Higher Order Concurrent Language. ![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. 102-118, 1996, Springer, 3-540-61064-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
second order assignment, F-coalgebra, F-bisimulation, final semantics, hyperset, complete metric space, mixed induction-coinduction, operational semantics, coinduction |
20 | Jon G. Riecke, Ramesh Viswanathan |
Isolating Side Effects in Sequential Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 1-12, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Standard ML |
20 | Mogens Nielsen, Allan Cheng |
Obseving Behaviour Categorically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings, pp. 263-278, 1995, Springer, 3-540-60692-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | André Arnold |
Verification and Comparison of Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings, pp. 121-135, 1993, Springer, 3-540-56610-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Rob J. van Glabbeek |
The Linear Time - Branching Time Spectrum II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 66-81, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Davide Sangiorgi |
A Theory of Bisimulation for the pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 127-142, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Padmanabhan Krishnan |
Distributed CCS. ![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. 393-407, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Philippe Schnoebelen |
Experiments on Processes with Backtracking. ![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. 480-494, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Sophie Pinchinat |
Ordinal Processes in Comparative Concurrency Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings, pp. 293-305, 1991, Springer, 3-540-55789-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Rocco De Nicola, Gian-Luigi Ferrari 0002 |
Observational Logics and Concurrency Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings, pp. 301-315, 1990, Springer, 3-540-53487-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Rance Cleaveland, Matthew Hennessy |
Testing Equivalence as a Bisimulation Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Verification Methods for Finite State Systems ![In: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings, pp. 11-23, 1989, Springer, 3-540-52148-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Pierre-Louis Curien |
Typed Categorial Combinatory Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85), pp. 157-172, 1985, Springer, 3-540-15198-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
20 | Stephen D. Brookes, William C. Rounds |
Behavioural Equivalence Relations Induced by Programming Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings, pp. 97-108, 1983, Springer, 3-540-12317-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
20 | Rocco De Nicola, Matthew Hennessy |
Testing Equivalence for Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings, pp. 548-560, 1983, Springer, 3-540-12317-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
20 | Günter Hotz |
Übertragung automatentheoretischer Sätze auf Chomsky-Sprachen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 4(1), pp. 30-42, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
|
20 | Philip Gilbert |
On the Syntax of Algorithmic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 13(1), pp. 90-107, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
16 | Azadeh Farzan, Umang Mathur 0001 |
Coarser Equivalences for Causal Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 8(POPL), pp. 911-941, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Marta Fiori-Carones, Alberto Marcone, Paul Shafer, Giovanni Soldà |
(Extra)ordinary Equivalences with the ascending/descending sequence Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 89(1), pp. 262-307, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Michael Ren |
Wilf equivalences for patterns in rooted labeled forests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 156, pp. 102675, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Tomohiko Uyematsu, Tetsunao Matsuta |
Equivalences among Some Information Measures for Individual Sequences and Their Applications for Fixed-Length Coding Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 107(3), pp. 393-403, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Frederico Messa, André Grahl Pereira |
Policy-Space Search: Equivalences, Improvements, and Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.19883, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Anand Kumar Narayanan, Youming Qiao, Gang Tang |
Algorithms for Matrix Code and Alternating Trilinear Form Equivalences via New Isomorphism Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2024, pp. 368, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
16 | Anand Kumar Narayanan, Youming Qiao, Gang Tang |
Algorithms for Matrix Code and Alternating Trilinear Form Equivalences via New Isomorphism Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT (3) ![In: Advances in Cryptology - EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part III, pp. 160-187, 2024, Springer, 978-3-031-58733-7. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Linan Chen, Florence Clerc, Prakash Panangaden |
Behavioural equivalences for continuous-time Markov processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 33(4-5), pp. 222-258, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hui Deng |
Exploring Equivalences in Multi-Valued Systems: Concepts, Properties, and Generation Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 129945-129953, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Amir Abboud, Fabrizio Grandoni 0001, Virginia Vassilevska Williams |
Subcubic Equivalences between Graph Centrality Problems, APSP, and Diameter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 19(1), pp. 3:1-3:30, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Qinglun Zhong, Chang'an Xu, Rudong Yang, Qingwei Zhong |
Equivalences between analytical railway capacity methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Rail Transp. Plan. Manag. ![In: J. Rail Transp. Plan. Manag. 25, pp. 100367, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Vaibhav Krishan |
MidBit+, Torus Polynomials and Non-classical Polynomials: Equivalences for ACC Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR23, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
16 | Minna Hirvonen |
The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.03579, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Nhan-Phu Chung, Jaeseong Jeong, Namhun Koo, Soonhak Kwon |
cc-differential uniformity, (almost) perfect cc-nonlinearity, and equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.09325, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Tim Seppelt |
Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.11290, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Pratik Patil, Jin-Hong Du |
Generalized equivalences between subsampling and ridge regularization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.18496, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Chiraag Kaushik, Andrew D. McRae, Mark A. Davenport, Vidya Muthukumar |
New Equivalences Between Interpolation and SVMs: Kernels and Structured Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.02304, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jin-Hong Du, Pratik Patil, Arun Kumar Kuchibhotla |
Subsample Ridge Ensembles: Equivalences and Generalized Cross-Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.13016, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Kevin Kappelmann |
Transport via Partial Galois Connections and Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.05244, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Arnaldo Cesco, Roberto Gorrieri |
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 19(4), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Kevin Kappelmann |
Transport via Partial Galois Connections and Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2023, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
16 | Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine |
Compositional equivalences based on open pNets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 131, pp. 100842, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Formal lumping of polynomial differential equations through approximate equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 134, pp. 100876, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Anuj Dawar, Erich Grädel, Moritz Lichter |
Limitations of the invertible-map equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 33(5), pp. 961-969, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Ugur Gözütok, Hüsnü Anil Çoban, Yasemin Sagiroglu, Juan Gerardo Alcázar |
A new method to detect projective equivalences and symmetries of rational 3D curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 419, pp. 114782, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Khaled Khalfaoui, Elhillali Kerkouche, Tahar Boudjedaa, Allaoua Chaoui |
Optimized exploration of quantum circuits space based on sub-circuits equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 22(1), pp. 71, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hyunjoon Kim, Yunyoung Choi, Kunsoo Park, Xuemin Lin 0001, Seok-Hee Hong 0001, Wook-Shin Han |
Fast subgraph query processing and subgraph matching via static and dynamic equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 32(2), pp. 343-368, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Kevin Kappelmann |
Transport via Partial Galois Connections and Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings, pp. 225-245, 2023, Springer, 978-981-99-8310-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Tim Seppelt |
Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France, pp. 82:1-82:15, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-292-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Shufan Mao, Jon Willits |
Structural and Processing Equivalences Between Graphical and Vector-based Models of Knowledge Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 45th Annual Meeting of the Cognitive Science Society, CogSci 2023, Sydney, NSW, Australia, July 26-29, 2023, 2023, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
16 | Pratik Patil, Jin-Hong Du |
Generalized equivalences between subsampling and ridge regularization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
16 | Jin-Hong Du, Pratik Patil, Arun K. Kuchibhotla |
Subsample Ridge Ensembles: Equivalences and Generalized Cross-Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 8585-8631, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
16 | Tilmann Gneiting, Peter Vogel |
Receiver operating characteristic (ROC) curves: equivalences, beta model, and minimum distance estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 111(6), pp. 2147-2159, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Azadeh Farzan, Umang Mathur 0001 |
Coarser Equivalences for Concurrent Program Runs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.12117, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | An-Dan Nguyen, Duc-Thinh Pham, Nimrod Lilith, Sameer Alam |
Model Generalization in Arrival Runway Occupancy Time Prediction by Feature Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.11654, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
16 | Dipak K. Bhunia, Cristina Fernández-Córdoba, Carlos Vela, Mercè Villanueva |
Equivalences among Z_{p^s}-linear Generalized Hadamard Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.15407, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin Bisping, David N. Jansen, Uwe Nestmann |
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(3), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Clément Aubert, Daniele Varacca |
Processes against tests: On defining contextual equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 129, pp. 100799, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Juan Gerardo Alcázar, Georg Muntingh |
Affine equivalences of surfaces of translation and minimal surfaces, and applications to symmetry detection and design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 411, pp. 114206, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Juan Gerardo Alcázar, Carlos Hermoso, Sonia Pérez-Díaz, Li-Yong Shen |
Using μ-bases to reduce the degree in the computation of projective equivalences between rational curves in n-space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 416, pp. 114571, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo |
Characterising spectra of equivalences for event structures, logically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 285(Part), pp. 104887, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Vincent Cheval, Raphaëlle Crubillé, Steve Kremer |
Symbolic protocol verification with dice: process equivalences in the presence of probabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 319-334, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Yuichi Asahiro, Jesper Jansson 0001, Guohui Lin, Eiji Miyano, Hirotaka Ono 0001, Tadatoshi Utashima |
Polynomial-Time Equivalences and Refined Algorithms for Longest Common Subsequence Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: 33rd Annual Symposium on Combinatorial Pattern Matching, CPM 2022, June 27-29, 2022, Prague, Czech Republic., pp. 15:1-15:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-234-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Jean Basset, Badr Ouannas, Ludovic Hoyet, Franck Multon, Stefanie Wuhrer |
Impact of Self-Contacts on Perceived Pose Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIG ![In: MIG '22: ACM SIGGRAPH Conference on Motion, Interaction and Games, Guanajuato, Mexico, November 3 - 5, 2022, pp. 6:1-6:10, 2022, ACM, 978-1-4503-9888-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Minna Hirvonen |
The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems - 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings, pp. 130-146, 2022, Springer, 978-3-031-11320-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Stavros Vologiannidis, Efstathios N. Antoniou, Nicholas P. Karampetakis, Antonis-Ioannis G. Vardulakis |
Polynomial matrix equivalences: system transformations and structural invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMA J. Math. Control. Inf. ![In: IMA J. Math. Control. Inf. 38(1), pp. 54-73, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Juan Gerardo Alcázar, Carlos Hermoso |
Computing projective equivalences of planar curves birationally equivalent to elliptic and hyperelliptic curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Geom. Des. ![In: Comput. Aided Geom. Des. 91, pp. 102048, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Juan S. Auli, Sergi Elizalde |
Wilf equivalences between vincular patterns in inversion sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 388, pp. 125514, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Arpit Sharma 0002 |
The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 850, pp. 148-167, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | A. Gupta, Bart De Schutter, Jacob W. van der Woude, Ton J. J. van den Boom |
Max-algebraic hybrid automata: Modelling and equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.10318, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|