Search results for "LSFA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
102	Chao Wang 0071, De-Shuang Huang, Bo Li 0002	A Novel Local Sensitive Frontier Analysis for Feature Extraction.	ICIC (2)	2009	DBLP DOI BibTeX RDF	LSFA, LSDA, SVM, Dimensionality Reduction, LDA, UDP
51	Daniele Nantes-Sobrinho, Pascal Fontaine (eds.)	Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2022, Belo Horizonte, Brazil (hybrid), 23-24 September 2022.	LSFA	2023	DBLP DOI BibTeX RDF
51	Mauricio Ayala-Rincón, Eduardo Bonelli (eds.)	Proceedings 16th Logical and Semantic Frameworks with Applications, LSFA 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021.	LSFA	2022	DBLP DOI BibTeX RDF
51	Liye Guo, Deivid Vale	Analyzing Innermost Runtime Complexity Through Tuple Interpretations.	LSFA	2022	DBLP DOI BibTeX RDF
51	Sebastián Urciuoli	A Formal Proof of the Strong Normalization Theorem for System T in Agda.	LSFA	2022	DBLP DOI BibTeX RDF
51	Ana Cruz, Alexandre Madeira, Luís Soares Barbosa	Paraconsistent Transition Systems.	LSFA	2022	DBLP DOI BibTeX RDF
51	Dohan Kim 0001	Equational Theorem Proving for Clauses over Strings.	LSFA	2022	DBLP DOI BibTeX RDF
51	Miguel Pagano, José E. Solsona	Nominal Sets in Agda - A Fresh and Immature Mechanization.	LSFA	2022	DBLP DOI BibTeX RDF
51	Erick Simas Grilo, Bruno Lopes 0001	ReLo: a Dynamic Logic to Reason About Reo Circuits.	LSFA	2022	DBLP DOI BibTeX RDF
51	Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen	SeCaV: A Sequent Calculus Verifier in Isabelle/HOL.	LSFA	2021	DBLP DOI BibTeX RDF
51	Patricia Johann, Enrico Ghiorzi, Daniel Jeffries	GADTs, Functoriality, Parametricity: Pick Two.	LSFA	2021	DBLP DOI BibTeX RDF
51	Rafael Romero 0002, Alejandro Díaz-Caro	A note on confluence in typed probabilistic lambda calculi.	LSFA	2021	DBLP DOI BibTeX RDF
51	Alejandro Díaz-Caro	A Quick Overview on the Quantum Control Approach to the Lambda Calculus.	LSFA	2021	DBLP DOI BibTeX RDF
51	Daniele Nantes, Carlos Olarte, Daniel Ventura	A subexponential view of domains in session types.	LSFA	2021	DBLP DOI BibTeX RDF
51	Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez	About Opposition and Duality in Paraconsistent Type Theory.	LSFA	2021	DBLP DOI BibTeX RDF
51	Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos 0001, Umberto Rivieccio	On Logics of Perfect Paradefinite Algebras.	LSFA	2021	DBLP DOI BibTeX RDF
51	Amy P. Felty, João Marcos 0001 (eds.)	Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2019, Natal, Brazil, August, 2019	LSFA	2020	DBLP BibTeX RDF
51	Cláudia Nalon, Giselle Reis (eds.)	Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2020	LSFA	2020	DBLP BibTeX RDF
51	Alexis Martin, Alejandro Ríos 0001, Andrés Viso	Pure Pattern Calculus à la de Bruijn.	LSFA	2020	DBLP DOI BibTeX RDF
51	Susannah Mansky, Elsa L. Gunter	Safety of a Smart Classes-Used Regression Test Selection Algorithm.	LSFA	2020	DBLP DOI BibTeX RDF
51	Carlos Olarte, Elaine Pimentel, Bruno Xavier	A Fresh View of Linear Logic as a Logical Framework.	LSFA	2020	DBLP DOI BibTeX RDF
51	Cláudia Nalon, Giselle Reis	Preface.	LSFA	2020	DBLP DOI BibTeX RDF
51	Cecilia Manzino, Alberto Pardo	Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types.	LSFA	2020	DBLP DOI BibTeX RDF
51	Sandro Preto, Marcelo Finger	An Efficient Algorithm for Representing Piecewise Linear Functions into Logic.	LSFA	2020	DBLP DOI BibTeX RDF
51	Linda Brodo, Carlos Olarte	A Constraint-based Language for Multiparty Interactions.	LSFA	2020	DBLP DOI BibTeX RDF
51	Sandra Alves, Maribel Fernández, Miguel Ramos 0002	EVL: A Typed Higher-order Functional Language for Events.	LSFA	2020	DBLP DOI BibTeX RDF
51	Sebastián Urciuoli, Álvaro Tasistro, Nora Szasz	Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda.	LSFA	2020	DBLP DOI BibTeX RDF
51	Sepehr Amir-Mohammadian, Chadi Kari	Correct Audit Logging in Concurrent Systems.	LSFA	2020	DBLP DOI BibTeX RDF
51	Beniamino Accattoli, Carlos Olarte (eds.)	Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, September 26-28, 2018	LSFA	2019	DBLP BibTeX RDF
51	Miguel Campercholi, Mauricio Tellechea, Pablo Ventura	Deciding Quantifier-free Definability in Finite Algebraic Structures.	LSFA	2019	DBLP DOI BibTeX RDF
51	Vitor Machado, Mario R. F. Benevides	Populational Announcement Logic (PPAL).	LSFA	2019	DBLP DOI BibTeX RDF
51	Uwe Wolter, Alfio Martini, Edward Hermann Häusler	Indexed and Fibred Structures for Hoare Logic.	LSFA	2019	DBLP DOI BibTeX RDF
51	Manisha Jain, Alexandre Madeira, Manuel A. Martins 0001	A Fuzzy Modal Logic for Fuzzy Transition Systems.	LSFA	2019	DBLP DOI BibTeX RDF
51	Leandro Gomes 0001, Alexandre Madeira, Luís Soares Barbosa	Introducing Synchrony in Fuzzy Automata.	LSFA	2019	DBLP DOI BibTeX RDF
51	Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale	On Solving Nominal Disunification Constraints.	LSFA	2019	DBLP DOI BibTeX RDF
51	Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, P. Selene Linares-Arévalo	Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence.	LSFA	2019	DBLP DOI BibTeX RDF
51	Amy P. Felty, João Marcos 0001	Preface.	LSFA	2019	DBLP DOI BibTeX RDF
51	Sandra Alves, Renata Wasserman (eds.)	12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017	LSFA	2018	DBLP BibTeX RDF
51	Marcus V. M. Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy J. G. B. de Queiroz	Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages.	LSFA	2018	DBLP DOI BibTeX RDF
51	Alejandro Díaz-Caro, Octavio Malherbe	A Concrete Categorical Semantics of Lambda-S.	LSFA	2018	DBLP DOI BibTeX RDF
51	Mario Roberto Folhadela Benevides, Isaque Macalam Saab Lima	Dynamic Epistemic Logic with Communication Actions.	LSFA	2018	DBLP DOI BibTeX RDF
51	Umberto Rivieccio, Matthew Spinks	Quasi-Nelson Algebras.	LSFA	2018	DBLP DOI BibTeX RDF
51	Giuseppe Greco 0001, Fei Liang, Krishna Manoorkar, Alessandra Palmigiano	Proper Multi-Type Display Calculi for Rough Algebras.	LSFA	2018	DBLP DOI BibTeX RDF
51	Sandra Alves, Sabine Broda	Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types.	LSFA	2018	DBLP DOI BibTeX RDF
51	Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira	On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank.	LSFA	2018	DBLP DOI BibTeX RDF
51	Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf	First Steps Towards a Formalization of Forcing.	LSFA	2018	DBLP DOI BibTeX RDF
51	Alexandre Madeira, Manuel A. Martins 0001, Mario R. F. Benevides	Epistemic Logics with Structured Knowledge.	LSFA	2018	DBLP DOI BibTeX RDF
51	Beniamino Accattoli, Carlos Olarte	Preface.	LSFA	2018	DBLP DOI BibTeX RDF
51	João F. L. Alcântara, Samy Sá	On Three-Valued Acceptance Conditions of Abstract Dialectical Frameworks.	LSFA	2018	DBLP DOI BibTeX RDF
51	Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho	A Formalisation of Nominal C-Matching through Unification with Protected Variables.	LSFA	2018	DBLP DOI BibTeX RDF
51	Vivek Nigam, Mário Florido (eds.)	11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016	LSFA	2017	DBLP BibTeX RDF
51	Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam	Mechanizing Focused Linear Logic in Coq.	LSFA	2017	DBLP DOI BibTeX RDF
51	Sandra Alves, Renata Wasserman	Preface.	LSFA	2017	DBLP DOI BibTeX RDF
51	Stefano Del Vecchio, Virgile Mogbil	An Interpretation of CCS into Ludics.	LSFA	2017	DBLP DOI BibTeX RDF
51	Mohamed Yousri Mahmoud, Amy P. Felty	Formal Meta-level Analysis Framework for Quantum Programming Languages.	LSFA	2017	DBLP DOI BibTeX RDF
51	Maribel Fernández, Hélène Kirchner, Bruno Pinaud	Labelled Port Graph - A Formal Structure for Models and Computations.	LSFA	2017	DBLP DOI BibTeX RDF
51	Emmanuel Gunther, Alejandro Gadea, Miguel Pagano	Formalization of Universal Algebra in Agda.	LSFA	2017	DBLP DOI BibTeX RDF
51	Guillermo Calderón	Formalizing Constructive Projective Geometry in Agda.	LSFA	2017	DBLP DOI BibTeX RDF
51	Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins 0001	A Family of Graded Epistemic Logics.	LSFA	2017	DBLP DOI BibTeX RDF
51	Beniamino Accattoli	(In)Efficiency and Reasonable Cost Models.	LSFA	2017	DBLP DOI BibTeX RDF
51	Alejandro Díaz-Caro, Guido Martínez	Confluence in Probabilistic Rewriting.	LSFA	2017	DBLP DOI BibTeX RDF
51	Arve Gengelbach, Tjark Weber	Model-Theoretic Conservative Extension for Definitional Theories.	LSFA	2017	DBLP DOI BibTeX RDF
51	Alexandre Madeira, Renato Neves, Manuel A. Martins 0001, Luís Soares Barbosa	Hierarchical Hybrid Logic.	LSFA	2017	DBLP DOI BibTeX RDF
51	Ernesto Copello, Nora Szasz, Álvaro Tasistro	Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory.	LSFA	2017	DBLP DOI BibTeX RDF
51	Polina Vinogradova, Amy P. Felty, Philip J. Scott	Formalizing Abstract Computability: Turing Categories in Coq.	LSFA	2017	DBLP DOI BibTeX RDF
51	Mario R. F. Benevides, René Thiemann (eds.)	Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2015, Natal, Brazil, August 31 - September 1, 2015	LSFA	2016	DBLP BibTeX RDF
51	Márcia Farias, Ana Teresa C. Martins, Francicleber Martins Ferreira	The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results.	LSFA	2016	DBLP DOI BibTeX RDF
51	Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel	From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction.	LSFA	2016	DBLP DOI BibTeX RDF
51	Carlos Lombardi, Alejandro Ríos 0001, Roel de Vrijer	Projections for Infinitary Rewriting.	LSFA	2016	DBLP DOI BibTeX RDF
51	Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho	A Formalisation of Nominal α-equivalence with A and AC Function Symbols.	LSFA	2016	DBLP DOI BibTeX RDF
51	Vivek Nigam, Mário Florido	Preface.	LSFA	2016	DBLP DOI BibTeX RDF
51	José Espírito Santo	The Polarized λ-calculus.	LSFA	2016	DBLP DOI BibTeX RDF
51	Rakan Alsowail, Ian Mackie	Controlling File Access with Types.	LSFA	2016	DBLP DOI BibTeX RDF
51	Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel	Hybrid and Subexponential Linear Logics.	LSFA	2016	DBLP DOI BibTeX RDF
51	Kaustuv Chaudhuri, Leonardo Lima 0001, Giselle Reis	Formalized Meta-Theory of Sequent Calculi for Substructural Logics.	LSFA	2016	DBLP DOI BibTeX RDF
51	Carlos Caleiro, Filipe Casal, Andreia Mordido	Generalized Probabilistic Satisfiability.	LSFA	2016	DBLP DOI BibTeX RDF
51	Mauricio Ayala-Rincón, Ian Mackie (eds.)	Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014	LSFA	2015	DBLP BibTeX RDF
51	Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón	Type Soundness for Path Polymorphism.	LSFA	2015	DBLP DOI BibTeX RDF
51	Mauricio Ayala-Rincón, Maribel Fernández, Murdoch James Gabbay, Ana Cristina Rocha Oliveira	Checking Overlaps of Nominal Rewriting Rules.	LSFA	2015	DBLP DOI BibTeX RDF
51	Ofer Arieli, Christian Straßer	Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations.	LSFA	2015	DBLP DOI BibTeX RDF
51	Leonardo Rodríguez, Miguel Pagano, Daniel Fridlender	Proving Correctness of a Compiler Using Step-indexed Logical Relations.	LSFA	2015	DBLP DOI BibTeX RDF
51	Antonio Bucciarelli, Delia Kesner, Daniel Ventura	Strong Normalization through Intersection Types and Memory.	LSFA	2015	DBLP DOI BibTeX RDF
51	Ernesto Copello, Alvaro Tasistro, Nora Szasz, Ana Bove, Maribel Fernández	Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory.	LSFA	2015	DBLP DOI BibTeX RDF
51	Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev	On Strong Normalization in Proof-Graphs for Propositional Logic.	LSFA	2015	DBLP DOI BibTeX RDF
51	Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira	Completeness in PVS of a Nominal Unification Algorithm.	LSFA	2015	DBLP DOI BibTeX RDF
51	Paulo A. S. Veloso, Sheila R. M. Veloso	On Graphs for Intuitionistic Modal Logics.	LSFA	2015	DBLP DOI BibTeX RDF
51	Mario R. F. Benevides, René Thiemann	Preface.	LSFA	2015	DBLP DOI BibTeX RDF
51	Elaine Pimentel, Vivek Nigam, João Neto	Multi-focused Proofs with Different Polarity Assignments.	LSFA	2015	DBLP DOI BibTeX RDF
51	Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz	Normalization of N-Graphs via Sub-N-Graphs.	LSFA	2015	DBLP DOI BibTeX RDF
51	Valeria de Paiva, Eike Ritter	Fibrational Modal Type Theory.	LSFA	2015	DBLP DOI BibTeX RDF
51	Zakaria Chihani, Dale Miller 0001	Proof Certificates for Equality Reasoning.	LSFA	2015	DBLP DOI BibTeX RDF
51	Roy L. Crole, Amy Elizabeth Furniss	Canonical HybridLF: Extending Hybrid with Dependent Types.	LSFA	2015	DBLP DOI BibTeX RDF
51	Maribel Fernández, Marcelo Finger (eds.)	Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013	LSFA	2014	DBLP BibTeX RDF
51	Abeer S. Al-Humaimeedy, Maribel Fernández	Enabling Synchronous and Asynchronous Communications in CSP for SOC.	LSFA	2014	DBLP DOI BibTeX RDF
51	Cécilia Englander, Gilles Dowek, Edward Hermann Haeusler	Yet Another Bijection Between Sequent Calculus and Natural Deduction.	LSFA	2014	DBLP DOI BibTeX RDF
51	Christian Sternagel, René Thiemann	A Framework for Developing Stand-Alone Certifiers.	LSFA	2014	DBLP DOI BibTeX RDF
51	Ugo Montanari, Matteo Sammartino	Network-Conscious π-calculus - A Model of Pastry.	LSFA	2014	DBLP DOI BibTeX RDF
51	Jaime Arias 0001, Michell Guzmán, Carlos Olarte	A Symbolic Model for Timed Concurrent Constraint Programming.	LSFA	2014	DBLP DOI BibTeX RDF
51	Carlos Olarte, Elaine Pimentel	Proving Concurrent Constraint Programming Correct, Revisited.	LSFA	2014	DBLP DOI BibTeX RDF
51	Sandra Alves, Maribel Fernández	A Framework for the Analysis of Access Control Policies with Emergency Management.	LSFA	2014	DBLP DOI BibTeX RDF