Search results for "Equivalences"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Lucian Ilie, Gonzalo Navarro 0001, Sheng Yu 0001	On NFA Reductions.	Theory Is Forever	2004	DBLP DOI BibTeX RDF
10	Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague	Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols.	FoSSaCS	2004	DBLP DOI BibTeX RDF
10	Pietro Di Gianantonio, Marino Miculan	Unifying Recursive and Co-recursive Definitions in Sheaf Categories.	FoSSaCS	2004	DBLP DOI BibTeX RDF
10	Martín Abadi, Bruno Blanchet, Cédric Fournet	Just Fast Keying in the Pi Calculus.	ESOP	2004	DBLP DOI BibTeX RDF
10	Francesco Ranzato, Francesco Tapparo	Strong Preservation as Completeness in Abstract Interpretation.	ESOP	2004	DBLP DOI BibTeX RDF
10	Fatih Kocan, Jason Meyer	Logic Modules with Shared SRAM Tables for Field-Programmable Gate Arrays.	FPL	2004	DBLP DOI BibTeX RDF
10	Sumit Gulwani, George C. Necula	Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions.	SAS	2004	DBLP DOI BibTeX RDF
10	Stefan Woltran	Characterizations for Relativized Notions of Equivalence in Answer Set Programming.	JELIA	2004	DBLP DOI BibTeX RDF
10	Jan Friso Groote, Tim A. C. Willemse	Parameterised Boolean Equation Systems (Extended Abstract).	CONCUR	2004	DBLP DOI BibTeX RDF
10	Johannes Borgström, Sébastien Briais, Uwe Nestmann	Symbolic Bisimulation in the Spi Calculus.	CONCUR	2004	DBLP DOI BibTeX RDF
10	Marco Carbone, Mogens Nielsen, Vladimiro Sassone	A Calculus for Trust Management.	FSTTCS	2004	DBLP DOI BibTeX RDF
10	David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss 0001, Lahcen Ouarbya	Formalizing Executable Dynamic and Forward Slicing.	SCAM	2004	DBLP DOI BibTeX RDF
10	Abhik Roychoudhury, C. R. Ramakrishnan 0001	Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
10	Fei Huang 0002, Stephan Vogel, Alex Waibel	Extracting named entity translingual equivalence with limited resources.	ACM Trans. Asian Lang. Inf. Process.	2003	DBLP DOI BibTeX RDF	Named entity translation, information extraction, machine translation, transliteration
10	Mireille Boutin	Polygon Recognition and Symmetry Detection.	Found. Comput. Math.	2003	DBLP DOI BibTeX RDF
10	Jeong-Yup Lee, Robert V. Moody, Boris Solomyak	Consequences of Pure Point Diffraction Spectra for Multiset Substitution Systems.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
10	Roberto Navigli, Paola Velardi, Aldo Gangemi	Ontology Learning and Its Application to Automated Terminology Translation.	IEEE Intell. Syst.	2003	DBLP DOI BibTeX RDF	corpus processing, Semantic Web, WordNet, ontology learning, terminology extraction
10	Matthieu Gaud, Jacques Traoré	On the Anonymity of Fair Offline E-cash Systems.	Financial Cryptography	2003	DBLP DOI BibTeX RDF
10	Vincent Danos, Cosimo Laneve	Core Formal Molecular Biology.	ESOP	2003	DBLP DOI BibTeX RDF
10	Alessandro Bevilacqua, Alessandro Lanza, Giorgio Baccarani, Riccardo Rovatti	A Single-Scan Algorithm for Connected Components Labelling in a Traffic Monitoring Application.	SCIA	2003	DBLP DOI BibTeX RDF
10	Felice Cardone, Mario Coppo	Decidability Properties of Recursive Types.	ICTCS	2003	DBLP DOI BibTeX RDF
10	Harald Ganzinger, Jürgen Stuber	Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation.	CADE	2003	DBLP DOI BibTeX RDF
10	Bartek Klin, Pawel Sobocinski 0001	Syntactic Formats for Free.	CONCUR	2003	DBLP DOI BibTeX RDF
10	Vishwani D. Agrawal, A. V. S. S. Prasad, Madhusudan V. Atre	Fault Collapsing via Functional Dominance.	ITC	2003	DBLP DOI BibTeX RDF
10	Philippa Gardner, Sergio Maffeis	Modelling Dynamic Web Data.	DBPL	2003	DBLP DOI BibTeX RDF
10	Ahmed Bouajjani, Tayssir Touili	Reachability Analysis of Process Rewrite Systems.	FSTTCS	2003	DBLP DOI BibTeX RDF
10	Gisela Klette	Simple Points in 2D and 3D Binary Images.	CAIP	2003	DBLP DOI BibTeX RDF	simple deformations, shape simplification, topology, thinning, simple points
10	Mario Bravetti, Roberto Gorrieri	Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	ST bisimulation, noninterleaving semantics, process algebra, axiomatization, Action refinement
10	Marco Bernardo 0001, Paolo Ciancarini, Lorenzo Donatiello	Architecting families of software systems with process algebras.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	Architectural mismatch detection, software architectures, process algebras, architectural styles
10	Cédric Fournet, Martín Abadi	Hiding Names: Private Authentication in the Applied Pi Calculus.	ISSS	2002	DBLP DOI BibTeX RDF
10	Markus Wedler, Dominik Stoffel, Wolfgang Kunz	Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation.	ISVLSI	2002	DBLP DOI BibTeX RDF
10	Prasannaa Thati, Reza Ziaei, Gul Agha	A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching.	AMAST	2002	DBLP DOI BibTeX RDF
10	Petr Jancar, Antonín Kucera 0001, Faron Moller, Zdenek Sawa	Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds.	FoSSaCS	2002	DBLP DOI BibTeX RDF
10	Stefan Hanenberg, Rainer Unland	Roles and Aspects: Similarities, Differences, and Synergetic Potential.	OOIS	2002	DBLP DOI BibTeX RDF
10	Jing Chen, Huimin Lin	Making Timed Automata Communicate.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF	value-passing, timed symbolic transition graph, real-time, timed automata
10	Diego Latella, Mieke Massink	On testing and conformance relations for UML statechart diagrams behaviours.	ISSTA	2002	DBLP DOI BibTeX RDF	UML statechart diagrams, formal testing theory, conformance testing, formal semantics, testing theory
10	A. V. S. S. Prasad, Vishwani D. Agrawal, Madhusudan V. Atre	A New Algorithm for Global Fault Collapsing into Equivalence and Dominance Sets.	ITC	2002	DBLP DOI BibTeX RDF
10	Carsten Fritz, Thomas Wilke	State Space Reductions for Alternating Büchi Automata.	FSTTCS	2002	DBLP DOI BibTeX RDF
10	Josep Silva, Isidro Ramos, José A. Carsí	An Algorithm to Compare OO-Conceptual Schemas.	ICSM	2002	DBLP DOI BibTeX RDF
10	Marcel Erné, Dongsheng Zhao	Z-Join Spectra of Z-Supercompactly Generated Lattices.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	(Z-)below relation, (Z-super)compact, completely distributive lattice, (Z-)continuous posets, (Z-join) ideal completion, (Z-super)sober space, spectrum
10	Michel Hébert	Concretely Locally Presentable and Locally Generated Categories.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	locally generated category, locally presentable category, partial operation, implicit operation, essentially algebraic theory
10	Rodica Ceterchi	Weak pseudo-Wajsberg and weak pseudo-MV algebras.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Wajsberg algebras, pseudo-Wajsberg algebras, MV algebras, pseudo-MV algebras
10	Asis Unyapoth, Peter Sewell	Nomadic pict: correct communication infrastructure for mobile computation.	POPL	2001	DBLP DOI BibTeX RDF
10	Davide Sangiorgi, Andrea Valente	A Distributed Abstract Machine for Safe Ambients.	ICALP	2001	DBLP DOI BibTeX RDF
10	Luca Cardelli, Giorgio Ghelli	A Query Language Based on the Ambient Logic.	ESOP	2001	DBLP DOI BibTeX RDF
10	Samik Basu 0001, Madhavan Mukund, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Rakesh M. Verma	Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.	ICLP	2001	DBLP DOI BibTeX RDF
10	Yaron Kanza, Yehoshua Sagiv	Flexible Queries Over Semistructured Data. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
10	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir	2-Nested Simulation Is Not Finitely Equationally Axiomatizable.	STACS	2001	DBLP DOI BibTeX RDF
10	Antti Puhakka, Antti Valmari	Liveness and Fairness in Process-Algebraic Verification.	CONCUR	2001	DBLP DOI BibTeX RDF
10	Robin Milner	Bigraphical Reactive Systems.	CONCUR	2001	DBLP DOI BibTeX RDF
10	M. Enamul Amyeen, W. Kent Fuchs, Irith Pomeranz, Vamsi Boppana	Fault Equivalence Identification Using Redundancy Information and Static and Dynamic Extraction.	VTS	2001	DBLP DOI BibTeX RDF
10	Giedrius Slivinskas, Christian S. Jensen	Enhancing an Extensible Query Optimizer with Support for Multiple Equivalence Types.	ADBIS	2001	DBLP DOI BibTeX RDF
10	Renato Betti	Weak Equivalence of Internal Categories.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	internal category, Morita equivalence, module
10	Benjamin C. Pierce, Davide Sangiorgi	Behavioral equivalence in the polymorphic pi-calculus.	J. ACM	2000	DBLP DOI BibTeX RDF	abstract data types, pi-calculus
10	Philippe Schnoebelen, Natalia Sidorova	Bisimulation and the Reduction of Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF
10	Kenji Suzuki 0001, Isao Horiba, Noboru Sugie	Fast Connected-Component Labeling Based on Sequential Local Operations in the Course of Forward Raster Scan Followed by Backward Raster Scan.	ICPR	2000	DBLP DOI BibTeX RDF
10	James Milton, Anastasia Garbi	Error Types in the Computer-Aided Translation of Tourism Texts.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	error types, computer aided translation, tourism texts, European-funded project, MLIS programm, computer-driven translation package, formulaic language, tourism brochures, translation equivalence, sentence level, multilanguage format, computer translators, interlanguage equivalence, translation packages, language translation, business communication, MIS
10	Marcin Jurdzinski, Mogens Nielsen	Hereditary History Preserving Bisimilarity Is Undecidable.	STACS	2000	DBLP DOI BibTeX RDF
10	Jack H. Lutz, Martin Strauss 0001	Bias Invariance of Small Upper Spans.	STACS	2000	DBLP DOI BibTeX RDF
10	Jean-Pierre Krimm, Laurent Mounier	Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems.	TACAS	2000	DBLP DOI BibTeX RDF
10	Thomas A. Henzinger, Sriram K. Rajamani	Fair Bisimulation.	TACAS	2000	DBLP DOI BibTeX RDF
10	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka	Verification of Parameterized Systems Using Logic Program Transformations.	TACAS	2000	DBLP DOI BibTeX RDF
10	James J. Leifer, Robin Milner	Deriving Bisimulation Congruences for Reactive Systems.	CONCUR	2000	DBLP DOI BibTeX RDF
10	Jouni Järvinen	Approximations and Rough Sets Based on Tolerances.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
10	Thierry Coquand, Guo-Qiang Zhang 0001	Sequents, Frames, and Completeness.	CSL	2000	DBLP DOI BibTeX RDF
10	Thomas Eiter, Thomas Lukasiewicz, Michael Walter 0008	Extension of the Relational Algebra to Probabilistic Complex Values.	FoIKS	2000	DBLP DOI BibTeX RDF
10	Sheetanshu L. Pandey, Kothanda Umamageswaran, Philip A. Wilsey	VHDL semantics and validating transformations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
10	Martin Otto 0001	Bounded variable logics: two, three, and more.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF
10	Naoki Kobayashi 0001, Benjamin C. Pierce, David N. Turner	Linearity and the pi-calculus.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	linear types, concurrency, pi-calculus, process calculi, confluence
10	Peter Buchholz 0001, Peter Kemper	A Toolbox for the Analysis of Discrete Event Dynamic Systems.	CAV	1999	DBLP DOI BibTeX RDF
10	Uwe Nestmann, António Ravara	Semantics of Objects as Processes (SOAP).	ECOOP Workshops	1999	DBLP DOI BibTeX RDF
10	Michel Serfati	Multivalued Binary Relations and Post Algebras.	ISMVL	1999	DBLP DOI BibTeX RDF
10	Peter Buchholz 0001, Peter Kemper	Modular State Level Analysis of Distributed Systems Techniques and Tool Support.	TACAS	1999	DBLP DOI BibTeX RDF	ordered natural decision diagrams, model checking, Petri nets, bisimulation, Software analysis, Kronecker algebra
10	Peter Buneman, Benjamin C. Pierce	Union Types for Semistructured Data.	DBPL	1999	DBLP DOI BibTeX RDF
10	Pietro Cenciarelli	An Algebraic View of Program Composition.	AMAST	1998	DBLP DOI BibTeX RDF
10	Andrew M. Pitts	Existential Types: Logical Relations and Operational Equivalence.	ICALP	1998	DBLP DOI BibTeX RDF
10	Benjamin C. Pierce	Type Systems for Concurrent Calculi (Abstract).	CONCUR	1998	DBLP DOI BibTeX RDF
10	Simone Veglioni, Rocco De Nicola	Possible Worlds for Process Algebras.	CONCUR	1998	DBLP DOI BibTeX RDF
10	Slawomir Lasota 0001	Weak Bisimilarity and Open Maps.	SOFSEM	1998	DBLP DOI BibTeX RDF
10	Laks V. S. Lakshmanan, Nicola Leone, Robert B. Ross, V. S. Subrahmanian	ProbView: A Flexible Probabilistic Database System.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF	probabilistic databases, view maintenance
10	Roope Kaivola	Using Compositional Preorders in the Verification of Sliding Window Protocal.	CAV	1997	DBLP DOI BibTeX RDF
10	Marina Lenisa	A Uniform Syntactical Method for Proving Coinduction Principles in Lambda-Calculi.	TAPSOFT	1997	DBLP DOI BibTeX RDF
10	Harry Buhrman, Lance Fortnow	Resource-Bounded Kolmogorov Complexity Revisited.	STACS	1997	DBLP DOI BibTeX RDF
10	Rom Langerak, Ed Brinksma, Joost-Pieter Katoen	Causal Ambiguity and Partial Orders in Event Structures.	CONCUR	1997	DBLP DOI BibTeX RDF
10	Andrew D. Gordon 0001, Paul D. Hankin, Søren B. Lassen	Compilation and Equivalence of Imperative Objects.	FSTTCS	1997	DBLP DOI BibTeX RDF
10	Rob J. van Glabbeek, W. P. Weijland	Branching Time and Abstraction in Bisimulation Semantics.	J. ACM	1996	DBLP DOI BibTeX RDF	process algebra semantic equivalence, concurrency, abstraction, bisimulation, action refinement, branching time
10	Philippe Besnard, Torsten Schaub	A Simple Signed System for Paraconsistent Reasoning.	JELIA	1996	DBLP DOI BibTeX RDF
10	Peter W. O'Hearn, Robert D. Tennent	Parametricity and Local Variables.	J. ACM	1995	DBLP DOI BibTeX RDF	algol-like languages, local state, parametric polymorphism, logical relations
10	Walter Vogler	The Limit of Split_n-Language Equivalence.	ICALP	1995	DBLP DOI BibTeX RDF	concurrency, action refinement, partial order semantics
10	Pierpaolo Degano, Corrado Priami	Causality for Mobile Processes.	ICALP	1995	DBLP DOI BibTeX RDF
10	Rajiv Bagai, Mehmet A. Orgun	A temporal paraconsistent relational algebra for incomplete and inconsistent information.	ACM Southeast Regional Conference	1995	DBLP DOI BibTeX RDF
10	Huimin Lin	Unique Fixpoint Induction for Mobile Processes.	CONCUR	1995	DBLP DOI BibTeX RDF
10	Martin Odersky	Polarized Name Passing.	FSTTCS	1995	DBLP DOI BibTeX RDF
10	Ann Gopestake, Ted Briscoe, Piek Vossen, Alicia Ageno, Irene Castellón, Francesc Ribas, German Rigau, Horacio Rodríguez, Anna Samiotou	Acquisition of lexical translation relations from MRDS.	Mach. Transl.	1994	DBLP DOI BibTeX RDF	lexical knowledge bases, lexical acquisition, machine readable dictionaries
10	Adnan Aziz, Thomas R. Shiple, Vigyan Singhal	Formula-Dependent Equivalence for Compositional CTL Model Checking.	CAV	1994	DBLP DOI BibTeX RDF
10	Björn Victor, Faron Moller	The Mobility Workbench - A Tool for the pi-Calculus.	CAV	1994	DBLP DOI BibTeX RDF
10	Dale Miller 0001	Specifications Using Multiple-Conclusion Logic Programs.	PLILP	1994	DBLP DOI BibTeX RDF
10	Martin Odersky	A Functional Theory of Local Names.	POPL	1994	DBLP DOI BibTeX RDF
10	Flavio Corradini, Rocco De Nicola	Distribution and Locality of Concurrent Systems.	ICALP	1994	DBLP DOI BibTeX RDF
10	K. V. S. Prasad	Broadcasting with Priority. (journal version: Science of Computer Programming 25 (1995))	ESOP	1994	DBLP DOI BibTeX RDF	Broadcast, functional programming, bisimulation, priority, process calculi