Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
139 | Neelesh Korade, S. Arun-Kumar |
A Logical Characterization of Efficiency Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers, pp. 99-112, 2004, Springer, 3-540-25304-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
efficiency preorders, Hennessy-Milner Logic, Concurrency, bisimulation, transition systems, process efficiency |
105 | 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 |
|
94 | Lucian Ilie, Roberto Solis-Oba, Sheng Yu 0001 |
Reducing the Size of NFAs by Using Equivalences and Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings, pp. 310-321, 2005, Springer, 3-540-26201-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
state complexity, finite automata, equivalences, regular expression matching, preorders |
94 | Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek |
Precongruence Formats for Decorated Trace Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 107-118, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
semantic equivalences and preorders, Concurrency, compositionality, labeled transition systems, full abstraction, structural operational semantics |
90 | Roberto Segala |
Testing Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, pp. 299-314, 1996, Springer, 3-540-61604-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
82 | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang |
Characterising Testing Preorders for Finite Probabilistic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 313-325, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
67 | Fabio Alessi |
Type Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: Trees in Algebra and Programming - CAAP'94, 19th International Colloquium, Edinburgh, UK, April 11-13, 1994, Proceedings, pp. 37-51, 1994, Springer, 3-540-57879-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
52 | Marco Bernardo 0001, Luca Padovani |
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, pp. 269-284, 2007, Springer, 978-3-540-72919-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
52 | Ufuk Celikkan, Rance Cleaveland |
Generating Diagnostic Information for Behavioral Preorders. ![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. 370-383, 1992, Springer, 3-540-56496-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
45 | Jirí Srba |
Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings, pp. 89-103, 2006, Springer, 3-540-45458-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek |
Precongruence formats for decorated trace semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(1), pp. 26-78, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Decorated trace semantics, precongruence |
37 | Gianni Bosi, Javier Gutiérrez García, Esteban Induráin |
Unified Representability of Total Preorders and Interval Orders through a Single Function: The Lattice Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 26(3), pp. 255-275, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 54F05 |
37 | Richard Booth 0001, Thomas Andreas Meyer |
On the Dynamics of Total Preorders: Revising Abstract Interval Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 42-53, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Roope Kaivola |
Using Compositional Preorders in the Verification of Sliding Window Protocal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 48-59, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
37 | Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka |
Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, pp. 497-512, 1994, Springer, 3-540-58329-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
30 | Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida |
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, pp. 99-111, 2008, Springer, 978-3-540-70582-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Marc Aiguier, Diane Bahrami |
Structures for Abstract Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 38(4), pp. 303-351, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
abstract rewriting, abstract deduction procedure, abstract completion procedure, rewrite system, axiomatization |
30 | Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink |
Compositionality for Markov Reward Chains with Fast Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings, pp. 18-32, 2007, Springer, 978-3-540-75210-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
discontinuous Markov reward chains, Markov reward chains with fast transitions, lumpability, Kronecker product and sum, reduction, compositionality, parallel composition |
30 | Maria Carla Palmeri, Rocco De Nicola, Mieke Massink |
Basic Observables for Probabilistic May Testing. ![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. 189-200, 2007, IEEE Computer Society, 0-7695-2883-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Jean-Marc Champarnaud, Fabien Coulon |
NFA Reduction Algorithms by Means of Regular Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings, pp. 194-205, 2003, Springer, 3-540-40434-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Bartek Klin, Pawel Sobocinski 0001 |
Syntactic Formats for Free. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings, pp. 72-86, 2003, Springer, 3-540-40753-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Asynchronous Observations of Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 95-109, 1998, Springer, 3-540-64300-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Basic Observables for Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings, pp. 482-492, 1997, Springer, 3-540-63165-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Lars Jenner, Walter Vogler |
Fast Asynchronous Systems in Dense Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings, pp. 75-86, 1996, Springer, 3-540-61440-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Roberto Segala |
Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 324-338, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
30 | Ed Brinksma, Bengt Jonsson 0001, Fredrik Orava |
Refining Interfaces of Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD), pp. 297-312, 1991, Springer, 3-540-53981-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
30 | Franz Baader |
Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings, pp. 86-97, 1991, Springer, 3-540-53904-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
30 | 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 |
|
30 | Rocco De Nicola, Matthew Hennessy |
CCS without tau's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87), pp. 138-152, 1987, Springer, 3-540-17660-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Paolo Boldi, Flavio Chierichetti, Sebastiano Vigna |
Pictures from Mongolia. Extracting the Top Elements from a Partially Ordered Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 44(2), pp. 269-288, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Algorithms, Ranking, Partial orders, Preorders |
27 | Marc Pouzet, Pascal Raymond |
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 215-224, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
real-time systems, compilation, semantics, np-completeness, partial orders, synchronous languages, block-diagrams, preorders |
27 | Eerke A. Boiten, John Derrick |
Modelling Divergence in Relational Concurrent Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 183-199, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
internal operations, process algebraic refinement preorders, simulations, divergence, Data refinement |
22 | Gianni Bosi, Roberto Daris, Magalì E. Zuanon |
Continuous Multi-Utility Representations of Preorders and the Chipman Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 13(3), pp. 148, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Jonas Frey |
Uniform Preorders and Partial Combinatory Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.17340, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Juan-De-Dios González-Hedström, Juan-José Miñana, Óscar Valero |
Fuzzy preorders and generalized distances: The aggregation problem revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 474, pp. 108760, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Gianni Bosi |
Continuous Order-Preserving Functions for All Kind of Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 40(1), pp. 87-97, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner |
Epistemic State Mappings among Ranking Functions and Total Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 10(2), pp. 155-191, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Rocco De Nicola, Hernán C. Melgratti |
Multiparty testing preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 19(1), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Xiaojuan Zhao |
Monoids with quantale-valued preorders: Globalizations and localizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 455, pp. 124-144, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Jonas Philipp Haldimann, Christoph Beierle |
Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023., pp. 747-751, 2023, 978-1-956792-02-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Romain Demangeon, Catalin Dima, Daniele Varacca |
Observational Preorders for Alternating Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUMAS ![In: Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings, pp. 312-327, 2023, Springer, 978-3-031-43263-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Dusko Pavlovic |
Lambek pregroups are Frobenius spiders in preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 4, pp. 1, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Dominique Bourn |
On the Cocartesian Image of Preorders and Equivalence Relations in Regular Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 30(6), pp. 1153-1176, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger |
Index appearance record with preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 59(5), pp. 585-618, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Víctor Hugo Almendra-Hernández, Leonardo Martínez-Sandoval |
On prescribing total orders and preorders to pairwise distances of points in Euclidean space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 107, pp. 101898, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Jonas Haldimann, Christoph Beierle |
Model Transformations for Ranking Functions and Total Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.14018, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Dusko Pavlovic |
Lambek pregroups are Frobenius spiders in preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.03038, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Víctor Hugo Almendra-Hernández, Leonardo Martínez-Sandoval |
On prescribing total preorders and linear orders to pairwise distances of points in Euclidean space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.08895, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Gianni Bosi, Magalì E. Zuanon |
Topologies for the Continuous Representability of All Continuous Total Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 188(2), pp. 420-431, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Jonas Haldimann, Gabriele Kern-Isberner |
On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCR@KI ![In: Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021., pp. 34-47, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Chase Ford, Stefan Milius, Lutz Schröder |
Behavioural Preorders via Graded Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, pp. 1-13, 2021, IEEE, 978-1-6654-4895-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Pavel Alaev, Victor L. Selivanov |
Complexity Issues for the Iterated h-Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings, pp. 1-12, 2021, Springer, 978-3-030-93488-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Theofanis I. Aravanis |
Relevance-Sensitive Belief Revision in the Realm of Partial Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCI ![In: PCI 2021: 25th Pan-Hellenic Conference on Informatics, Volos, Greece, November 26 - 28, 2021, pp. 1-5, 2021, ACM, 978-1-4503-9555-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Chase Ford, Stefan Milius, Lutz Schröder |
Behavioural Preorders via Graded Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.14339, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Michel De Lara, Pedro Gajardo, Diego Vicencio |
Comparison theorem for viability kernels via conic preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 145, pp. 104799, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa |
Preorders, Partial Semigroups, and Quantales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 237-252, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Caleb C. Levy, Robert E. Tarjan |
Splaying Preorders and Postorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.06309, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Mathias Ruggaard Pedersen |
Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.08531, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Caleb C. Levy, Robert E. Tarjan |
Splaying Preorders and Postorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Algorithms and Data Structures - 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5-7, 2019, Proceedings, pp. 510-522, 2019, Springer, 978-3-030-24765-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Alexander P. Sostak, Ingrida Uljane, Aleksandrs Elkins |
Many-level fuzzy rough approximation spaces induced by many-level fuzzy preorders and the related ditopological structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT Conf. ![In: Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019, Prague, Czech Republic, September 9-13, 2019, 2019, Atlantis Press, 978-94-6252-770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Gregor Kemper, Ngô Viêt Trung, Nguyen Thi Van Anh |
Toward a theory of monomial preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 87(313), pp. 2513-2537, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | David McCarthy, Kalle M. Mikkola |
Continuity and completeness of strongly independent preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 93, pp. 141-145, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Maciej Gazda, Tim A. C. Willemse |
Cooking Your Own Parity Game Preorders Through Matching Plays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 29(4), pp. 571-590, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Giovanni Tito Bernardi, Adrian Francalanza |
Full-abstraction for client testing preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 168, pp. 94-117, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | José Guerrero, Juan-José Miñana, Óscar Valero |
On the Use of Fuzzy Preorders in Multi-robot Task Allocation Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU (1) ![In: Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations - 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I, pp. 195-206, 2018, Springer, 978-3-319-91472-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Aliaume Lopez, Alex Simpson |
Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 29:1-29:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Josep Freixas, Montserrat Pons |
Preorders in Simple Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Collect. Intell. ![In: Transactions on Computational Collective Intelligence XXVII, pp. 63-73, 2017, Springer, 978-3-319-70646-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Ferenc Bujtor, Lev Sorokin, Walter Vogler |
Testing Preorders for dMTS: Deadlock- and the New Deadlock-/DivergenceTesting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 16(2), pp. 41:1-41:28, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Carlos Bejines, María Jesús Chasco, Jorge Elorza, Susana Montes |
Some Results About Fuzzy Consequence Operators and Fuzzy Preorders Using Conjunctors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGOP ![In: Aggregation Functions in Theory and in Practice, 9th International Summer School on Aggregation Functions, Skövde, Sweden, 19-22 June 2017, pp. 253-262, 2017, Springer, 978-3-319-59305-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Giovanni Bernardi 0001, Adrian Francalanza |
Full-Abstraction for Must Testing Preorders - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, pp. 237-255, 2017, Springer, 978-3-319-59745-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Yong Chan Kim |
Categories of fuzzy preorders, approximation operators and Alexandrov topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 31(3), pp. 1787-1793, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Rocco De Nicola, Hernán C. Melgratti |
Multiparty testing preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.03191, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
22 | Gianni Bosi, Gerhard Herden |
On continuous multi-utility representations of semi-closed and closed preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 79, pp. 20-29, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Lucia Gallina, Andrea Marin, Sabina Rossi |
Connectivity and energy-aware preorders for mobile ad-hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 63(2), pp. 307-333, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi |
Name-passing calculi: From fusions to preorders and types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 251, pp. 335-360, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | José Carlos Rodriguez Alcantud, Susana Díaz |
Fuzzy preorders: conditional extensions, extensions and their representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Optim. Decis. Mak. ![In: Fuzzy Optim. Decis. Mak. 15(4), pp. 371-396, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Eman Ramadan, Hesham Mekky, Braulio Dumba, Zhi-Li Zhang |
Adaptive resilient routing via preorders in SDN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC@PODC ![In: Proceedings of the 4th Workshop on Distributed Cloud Computing, DCC@PODC 2016, Chicago, IL, USA, July 25, 2016, pp. 5:1-5:6, 2016, ACM, 978-1-4503-4220-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Maciej Gazda, Tim A. C. Willemse |
On Parity Game Preorders and the Logic of Matching Plays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings, pp. 277-289, 2016, Springer, 978-3-662-49191-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Jasen Markovski |
Employing behavioral preorders to define controllability for nondeterministic discrete-event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 25(1-2), pp. 227-250, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Yong Chan Kim |
Join-meet approximation operators and fuzzy preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 28(3), pp. 1089-1097, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu 0001 |
A behavioural theory for a π-calculus with preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 84(6), pp. 806-825, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Dionís Boixader, Jordi Recasens |
Generation and Characterization of Fuzzy T-preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Artif. Intell. ![In: Appl. Artif. Intell. 29(5), pp. 514-530, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | José Carlos R. Alcantud, Susana Díaz |
Conditional extensions of fuzzy preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 278, pp. 3-19, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Rocco De Nicola, Hernán C. Melgratti |
Multiparty Testing Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers, pp. 16-31, 2015, Springer, 978-3-319-28765-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Ulrich Höhle |
Many-Valued Preorders I: The Basis of Many-Valued Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Passion for Fuzzy Sets ![In: Enric Trillas: A Passion for Fuzzy Sets - A Collection of Recent Works on Fuzzy Logic, pp. 125-150, 2015, Springer, 978-3-319-16234-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Ulrich Höhle |
Many-Valued Preorders II: The Symmetry Axiom and Probabilistic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Passion for Fuzzy Sets ![In: Enric Trillas: A Passion for Fuzzy Sets - A Collection of Recent Works on Fuzzy Logic, pp. 151-165, 2015, Springer, 978-3-319-16234-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Ferenc Bujtor, Lev Sorokin, Walter Vogler |
Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 60-69, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu 0001 |
A Behavioural Theory for a π-calculus with Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers, pp. 143-158, 2015, Springer, 978-3-319-24643-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Tetsuya Sato 0001 |
Identifying All Preorders on the Subdistribution Monad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014, pp. 309-327, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Egor Ianovski, Russell G. Miller, Keng Meng Ng, André Nies |
Complexity of Equivalence Relations and Preorders from Computability Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 79(3), pp. 859-881, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Efe A. Ok, Gil Riella |
Topological Closure of Translation Invariant Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Oper. Res. ![In: Math. Oper. Res. 39(3), pp. 737-745, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Yuanye Tao, Hongliang Lai, Dexue Zhang |
Quantale-valued preorders: Globalization and cocompleteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 256, pp. 236-251, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Jeffrey T. Denniston, Austin Melton, Stephen Ernest Rodabaugh |
Enriched categories and many-valued preorders: Categorical, semantical, and topological perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 256, pp. 4-56, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Peter Hertling, Victor L. Selivanov |
Complexity issues for Preorders on finite labeled forests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation, Hierarchies ![In: Logic, Computation, Hierarchies, pp. 165-190, 2014, De Gruyter, 978-1-61451-804-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Andrea Cerone, Matthew Hennessy |
Characterising Testing Preorders for Broadcasting Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers, pp. 67-81, 2014, Springer, 978-3-662-45916-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Dionís Boixader, Jordi Recasens |
One-dimensional T-preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIA ![In: Artificial Intelligence Research and Development - Proceedings of the 17th International Conference of the Catalan Association for Artificial Intelligence, Barcelona, Catalonia, Spain, October 22-24, 2014., pp. 183-192, 2014, IOS Press, 978-1-61499-451-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez |
On the Existence of Isotone Galois Connections between Preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis - 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014. Proceedings, pp. 67-79, 2014, Springer, 978-3-319-07247-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Marcus Pivato |
Multiutility representations for incomplete difference preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 66(3), pp. 196-220, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Kosta Dosen, Zoran Petric |
Syntax for split preorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 164(4), pp. 443-481, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Jorge Elorza, Ramón Fuentes-González, Jean Bragard, Pedro J. Burillo |
On the relation between fuzzy closing morphological operators, fuzzy consequence operators induced by fuzzy preorders and fuzzy closure and co-closure systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 218, pp. 73-89, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|