Search results for "Equivalences"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	Bisimulations in calculi modelling membranes.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Calculus of Looping Sequences, Brane Calculi, Labelled Semantics, Bioinformatics, Bisimulations
10	Aidan J. Delaney, John Taylor 0001, Simon J. Thompson	Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages.	Diagrams	2008	DBLP DOI BibTeX RDF
10	Cindy Eisner, Amir Nahir, Karen Yorav	Functional Verification of Power Gated Designs by Compositional Reasoning.	CAV	2008	DBLP DOI BibTeX RDF
10	Boris Feigin, Alan Mycroft	Jones optimality and hardware virtualization: a report on work in progress.	PEPM	2008	DBLP DOI BibTeX RDF	Jones optimality, virtual machines, virtualization, full abstraction
10	Dora Montagna	Multilingual idioms and proverbs: wiki as a tool in collaborative translation.	Int. Sym. Wikis	2008	DBLP DOI BibTeX RDF	multi-word expressions, paremiology, phraseology
10	Simone Tini	Non Expansive epsilon-Bisimulations.	AMAST	2008	DBLP DOI BibTeX RDF
10	Michele Bugliesi, Riccardo Focardi	Language Based Secure Communication.	CSF	2008	DBLP DOI BibTeX RDF
10	Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida	Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.	ICALP (2)	2008	DBLP DOI BibTeX RDF
10	Yinyu Ye 0001	Computational Economy Equilibrium and Application.	WINE	2008	DBLP DOI BibTeX RDF
10	Susumu Katayama	Efficient Exhaustive Generation of Functional Programs Using Monte-Carlo Search with Iterative Deepening.	PRICAI	2008	DBLP DOI BibTeX RDF
10	Jan Tretmans	Model Based Testing with Labelled Transition Systems.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
10	Shawn R. Jeffery, Michael J. Franklin, Alon Y. Halevy	Pay-as-you-go user feedback for dataspace systems.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	data integration, decision theory, user feedback, dataspace
10	Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar	Composed Bisimulation for Tree Automata.	CIAA	2008	DBLP DOI BibTeX RDF
10	Ye Zhang 0002, Torben Amtoft, Flemming Nielson	From generic to specific: off-line optimization for a general constraint solver.	GPCE	2008	DBLP DOI BibTeX RDF	off-line optimization, solver technology, constraints, program analysis, datalog, unification
10	Rui Qiao 0003, Yuan Wang, Xinyan Gao, Jinzhao Wu	Operational semantics of probabilistic Kleene algebra with tests.	ISCC	2008	DBLP DOI BibTeX RDF
10	Vivek Nigam, Dale Miller 0001	Focusing in Linear Meta-logic.	IJCAR	2008	DBLP DOI BibTeX RDF
10	Jan Brunner, Matús Mihalák, Subhash Suri, Elias Vicari, Peter Widmayer	Simple Robots in Polygonal Environments: A Hierarchy.	ALGOSENSORS	2008	DBLP DOI BibTeX RDF
10	Gianpiero Cabodi, Paolo Camurati, Marco Murciano	Automated abstraction by incremental refinement in interpolant-based model checking.	ICCAD	2008	DBLP DOI BibTeX RDF
10	Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg	A Context-Free Process as a Pushdown Automaton.	CONCUR	2008	DBLP DOI BibTeX RDF
10	Prakash Panangaden	Knowledge and Information in Probabilistic Systems.	CONCUR	2008	DBLP DOI BibTeX RDF
10	Bogdan Aman, Gabriel Ciobanu	Timed Mobile Ambients for Network Protocols.	FORTE	2008	DBLP DOI BibTeX RDF
10	Nadia Yacoubi Ayadi, Zoé Lacroix, Maria-Esther Vidal	BiOnMap: a deductive approach for resource discovery.	iiWAS	2008	DBLP DOI BibTeX RDF	scientific protocol, ontology, web service, semantic web, workflow, integration, bioinformatics, service composition, mediation, discovery
10	José Manuel Gascueña, Antonio Fernández-Caballero 0001	Prometheus and INGENIAS Agent Methodologies: A Complementary Approach.	AOSE	2008	DBLP DOI BibTeX RDF
10	Anabela Barreiro	ParaMT: A Paraphraser for Machine Translation.	PROPOR	2008	DBLP DOI BibTeX RDF	ParaMT, support verb construction, multiword expression, NooJ, Lexicon Grammar Theory, machine translation, paraphraser, paraphrase, controlled language
10	Martín Abadi, Bruno Blanchet, Cédric Fournet	Just fast keying in the pi calculus.	ACM Trans. Inf. Syst. Secur.	2007	DBLP DOI BibTeX RDF	IP security, key exchange, process calculus
10	Brian A. Davey, Miroslav Haviar, Hilary A. Priestley	Boolean Topological Distributive Lattices and Canonical Extensions.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06D05, Secondary 06B30, 06D50, 06B23, 03G10
10	Stephan Dahlke, Massimo Fornasier, Thorsten Raasch	Adaptive frame methods for elliptic operator equations.	Adv. Comput. Math.	2007	DBLP DOI BibTeX RDF	Mathematics subject classifications (2000) 41A25, 41A46, 42C40, 65F20, 65N55, 65F10, 65F50, 42C15, 65T60, 65N12, 46E35
10	Lifeng He, Yuyan Chao, Kenji Suzuki 0001	A Linear-Time Two-Scan Labeling Algorithm.	ICIP (5)	2007	DBLP DOI BibTeX RDF
10	Hartwig Jeschke	Efficiency Measures for Multimedia SOCs.	SAMOS	2007	DBLP DOI BibTeX RDF
10	Matthias Brantner, Norman May, Guido Moerkotte	Unnesting Scalar SQL Queries in the Presence of Disjunction.	ICDE	2007	DBLP DOI BibTeX RDF
10	Gianpiero Cabodi, Sergio Nocco, Stefano Quer	Boosting the role of inductive invariants in model checking.	DATE	2007	DBLP DOI BibTeX RDF
10	Maria Carla Palmeri, Rocco De Nicola, Mieke Massink	Basic Observables for Probabilistic May Testing.	QEST	2007	DBLP DOI BibTeX RDF
10	Bartek Klin	Bialgebraic Operational Semantics and Modal Logic.	LICS	2007	DBLP DOI BibTeX RDF
10	Rasmus Ejlers Møgelberg, Alex Simpson	Relational Parametricity for Computational Effects.	LICS	2007	DBLP DOI BibTeX RDF
10	Kristian Støvring, Søren B. Lassen	A complete, co-inductive syntactic theory of sequential control and state.	POPL	2007	DBLP DOI BibTeX RDF	mutable references, continuations, bisimulation
10	Damien Pous	Complete Lattices and Up-To Techniques.	APLAS	2007	DBLP DOI BibTeX RDF
10	A. V. S. Rajan, S. Bavan, Geetha Abeysinghe	Semantics for the Specification of Asynchronous Communicating Systems (SACS).	SCSS (1)	2007	DBLP DOI BibTeX RDF	Calculus of Communicating Systems (CCS), Synchronous Calculus of Communicating Systems (SCCS), Structured Operational Semantics (SOS), Labelled Transition System (LTS), bisimulation
10	Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang	Scalar Outcomes Suffice for Finitary Probabilistic Testing.	ESOP	2007	DBLP DOI BibTeX RDF
10	Natalya Gribovskaya, Irina B. Virbitskaite	A Categorical Observation of Timed Testing Equivalence.	PaCT	2007	DBLP DOI BibTeX RDF
10	Shien Jin Ong, Salil P. Vadhan	Zero Knowledge and Soundness Are Symmetric.	EUROCRYPT	2007	DBLP DOI BibTeX RDF
10	Balder ten Cate, Maarten Marx	Axiomatizing the Logical Core of XPath 2.0.	ICDT	2007	DBLP DOI BibTeX RDF
10	Axel Poschmann, Gregor Leander, Kai Schramm, Christof Paar	New Light-Weight Crypto Algorithms for RFID.	ISCAS	2007	DBLP DOI BibTeX RDF
10	Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann 0001	Relational semantics for effect-based program transformations with dynamic allocation.	PPDP	2007	DBLP DOI BibTeX RDF	region analysis, program transformation, parametricity, logical relations, type and effect systems
10	Marco Bernardo 0001, Luca Padovani	Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders.	FMOODS	2007	DBLP DOI BibTeX RDF
10	Hajime Ishihara	Unique Existence and Computability in Constructive Reverse Mathematics.	CiE	2007	DBLP DOI BibTeX RDF	unique existence, Brouwer’s fan theorem, weak König lemma, computability, constructive mathematics, reverse mathematics
10	Petra Malik, Robi Malik, David Streader, Steve Reeves	Modular Synthesis of Discrete Controllers.	ICECCS	2007	DBLP DOI BibTeX RDF
10	Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Andreas Kuehlmann	On Resolution Proofs for Combinational Equivalence.	DAC	2007	DBLP DOI BibTeX RDF
10	Roman Barták	Generating Implied Boolean Constraints Via Singleton Consistency.	SARA	2007	DBLP DOI BibTeX RDF	implied constraints, singleton consistency, SAT, reformulation
10	Marie-Laure Bougnol, José H. Dulá	Validating DEA as a ranking tool: An application of DEA to assess performance in higher education.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Nonparametric efficient frontiers, Tiered data envelopment analysis (TDEA), Linear programming, Data envelopment analysis (DEA)
10	Djamel Bouchaffra, Jun Tan	Structural Hidden Markov Models Using a Relation of Equivalence: Application to Automotive Designs.	Data Min. Knowl. Discov.	2006	DBLP DOI BibTeX RDF	relation of equivalence, statistical decoding, structural decoding, Hidden Markov models, local structures
10	Viktor Pekar 0001, Ruslan Mitkov, Dimitar Blagoev, Andrea Mulloni	Finding translations for low-frequency words in comparable corpora.	Mach. Transl.	2006	DBLP DOI BibTeX RDF	Translational equivalents, Distributional similarity, Data sparseness, Lexical acquisition, Comparable corpora
10	Jeremy Sproston, Susanna Donatelli	Backward Bisimulation in Markov Chain Model Checking.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	model checking, verification, temporal logic, Markov processes
10	Harald Fecher, Mila E. Majster-Cederbaum	Action Refinement Applied to Late Decisions.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Coarsest congruence, Equivalence, Action refinement, Event structure, True concurrency
10	Maya R. Gupta, Nathaniel P. Jacobson	Wavelet Principal Component Analysis and its Application to Hyperspectral Images.	ICIP	2006	DBLP DOI BibTeX RDF
10	Y. H. Qian, J. Y. Liang	Rough Set Method Based on Multi-Granulations.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
10	Matthias Brantner, Carl-Christian Kanne, Guido Moerkotte, Sven Helmer	Algebraic Optimization of Nested XPath Expressions.	ICDE	2006	DBLP DOI BibTeX RDF
10	Pedro Adão, Cédric Fournet	Cryptographically Sound Implementations for Communicating Processes.	ICALP (2)	2006	DBLP DOI BibTeX RDF
10	Takeshi Shibata, Ryo Yoshinaka, Takashi Chikayama	Probabilistic Generalization of Simple Grammars and Its Application to Reinforcement Learning.	ALT	2006	DBLP DOI BibTeX RDF
10	Puneet Bhateja, Paul Gastin, Madhavan Mukund	A Fresh Look at Testing for Asynchronous Communication.	ATVA	2006	DBLP DOI BibTeX RDF
10	David A. Schmidt	Comparing Completeness Properties of Static Analyses and Their Logics.	APLAS	2006	DBLP DOI BibTeX RDF
10	Sanghwa Yuh, Jungyun Seo	Multilingual Machine Translation of Closed Captions for Digital Television with Dynamic Dictionary Adaptation.	ICCPOL	2006	DBLP DOI BibTeX RDF	Multilingual Machine Translation, Dynamic Dictionary Adaptation, Named Entity Alignment, Dynamic Domain Identification, Closed Caption
10	Gosse Bouma, Ismail Fahmi, Jori Mur, Gertjan van Noord, Lonneke van der Plas, Jörg Tiedemann	Using Syntactic Knowledge for QA.	CLEF	2006	DBLP DOI BibTeX RDF
10	Arpan Darivemula, Chokchai Leangsuksun, Anand Tikotekar, Makan Pourzandi	Work in Progress: RASS Framework for a Cluster-Aware SELinux.	CCGRID	2006	DBLP DOI BibTeX RDF
10	David G. Haigh, Thomas J. W. Clarke, Paul M. Radmore	A mathematical framework for active circuits based on port equivalence using limit variables.	ISCAS	2006	DBLP DOI BibTeX RDF
10	Henri Hansen, Antti Valmari	Operational Determinism and Fast Algorithms.	CONCUR	2006	DBLP DOI BibTeX RDF
10	Josée Desharnais, François Laviolette, Sami Zhioua	Testing Probabilistic Equivalence Through Reinforcement Learning.	FSTTCS	2006	DBLP DOI BibTeX RDF
10	Darcy Dunne, Angelo B. Mingarelli	On the Dynamics of Some Exceptional Fuzzy Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF
10	Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida	Genericity and the pi-calculus.	Acta Informatica	2005	DBLP DOI BibTeX RDF
10	Georg Struth	Knuth-Bendix Completion as a Data Structure.	RelMiCS	2005	DBLP DOI BibTeX RDF
10	Carlos Enrique Cuesta Quintero, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano	Architectural Aspects of Architectural Aspects.	EWSA	2005	DBLP DOI BibTeX RDF
10	Rocco De Nicola	Languages and Process Calculi for Network Aware Programming - Short Summary -.	ICTAC	2005	DBLP DOI BibTeX RDF
10	Nick Benton, Benjamin Leperchey	Relational Reasoning in a Nominal Semantics for Storage.	TLCA	2005	DBLP DOI BibTeX RDF
10	Søren B. Lassen	Eager Normal Form Bisimulation.	LICS	2005	DBLP DOI BibTeX RDF
10	Peng Li, Steve Zdancewic	Downgrading policies and relaxed noninterference.	POPL	2005	DBLP DOI BibTeX RDF	downgrading policies, relaxed noninterference, information flow, language-based security, program equivalence
10	Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell 0001	An Accessible Approach to Behavioural Pseudometrics.	ICALP	2005	DBLP DOI BibTeX RDF
10	Rocco De Nicola, Daniele Gorla, Rosario Pugliese	Basic Observables for a Calculus for Global Computing.	ICALP	2005	DBLP DOI BibTeX RDF
10	Jittat Fakcharoenphol, Boonserm Kijsirikul	Constructing Multiclass Learners from Binary Learners: A Simple Black-Box Analysis of the Generalization Errors.	ALT	2005	DBLP DOI BibTeX RDF
10	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik	Finite Equational Bases in Process Algebra: Results and Open Questions.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
10	Sibylle B. Fröschle	Composition and Decomposition in True-Concurrency.	FoSSaCS	2005	DBLP DOI BibTeX RDF
10	Romain Janvier, Yassine Lakhnech, Laurent Mazaré	Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries.	ESOP	2005	DBLP DOI BibTeX RDF
10	Mohammed Javeed Zaki, Naren Ramakrishnan	Reasoning about sets using redescription mining.	KDD	2005	DBLP DOI BibTeX RDF	redescription, data mining, closed itemsets, minimal generators
10	Miklós Bartha	Strong Retiming Equivalence of Synchronous Schemes.	CIAA	2005	DBLP DOI BibTeX RDF
10	Chunguo Wu, Yanchun Liang 0001, Xiaowei Yang, Zhifeng Hao	Equivalence of Classification and Regression Under Support Vector Machine Theory.	ICNC (3)	2005	DBLP DOI BibTeX RDF
10	Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski 0001	Deriving Weak Bisimulation Congruences from Reduction Systems.	CONCUR	2005	DBLP DOI BibTeX RDF
10	Alex K. Simpson	Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics.	RTA	2005	DBLP DOI BibTeX RDF
10	Lorenzo Capra	Colored Petri Nets State-Space Reduction via Symbolic Execution.	SYNASC	2005	DBLP DOI BibTeX RDF	quotient graphs, symmetries, High-Level Petri Nets, linear constraints
10	César Sánchez 0001, Henny B. Sipma, Matteo Slanina, Zohar Manna	Final Semantics for Event-Pattern Reactive Programs.	CALCO	2005	DBLP DOI BibTeX RDF
10	Pavel Krcál, Radek Pelánek	On Sampled Semantics of Timed Systems.	FSTTCS	2005	DBLP DOI BibTeX RDF
10	Taolue Chen, Tingting Han 0001, Jian Lu 0001	On the Bisimulation Congruence in chi-Calculus.	FSTTCS	2005	DBLP DOI BibTeX RDF
10	Siva Anantharaman, Jing Chen, Gaétan Hains	A Synchronous Process Calculus for Service Costs.	SEFM	2005	DBLP DOI BibTeX RDF
10	Florencia G. Leonardi, Antonio Galves	Sequence Motif Identification and Protein Family Classification Using Probabilistic Trees.	BSB	2005	DBLP DOI BibTeX RDF
10	Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek	Precongruence formats for decorated trace semantics.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Decorated trace semantics, precongruence
10	Marat Fayzullin, V. S. Subrahmanian	An Algebra for PowerPoint Sources.	Multim. Tools Appl.	2004	DBLP DOI BibTeX RDF	multimedia, databases, algebra, presentation, powerpoint
10	Hai Quang Dinh 0001, Sergio R. López-Permouth	On the Equivalence of Codes over Finite Rings.	Appl. Algebra Eng. Commun. Comput.	2004	DBLP DOI BibTeX RDF	Equivalence of codes, Codes over finite rings, Finite Frobenius rings
10	Simon Helsen	Bisimilarity for the Region Calculus.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	region calculus, bisimulation, equational theory, contextual equivalence
10	Gerard Allwein, Hilmi Demir, Lee Pike	Logics for Classes of Boolean Monoids.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	algebras of relations, Boolean monoids, correspondence theory, Kripke frames, relative modalities, CMOS circuits
10	Simon Helsen, Peter Thiemann 0001	Polymorphic specialization for ML.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	regions, program specialization, Binding-time analysis
10	Birgit Schieder	Pointer Theory and Weakest Preconditions without Addresses and Heap.	MPC	2004	DBLP DOI BibTeX RDF
10	Jeremy Sproston, Susanna Donatelli	Backward Stochastic Bisimulation in CSL Model Checking.	QEST	2004	DBLP DOI BibTeX RDF
10	Prasanna Thati, Carolyn L. Talcott, Gul Agha	Techniques for Executing and Reasoning about Specification Diagrams.	AMAST	2004	DBLP DOI BibTeX RDF	Graphical specification languages, may testing, trace equivalence, rewriting logic, calculus