Joseph Boudou - RankMe

27 papers A* 1A 4B 5Journal 13Unranked 3

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Complete intuitionistic Temporal Logics for Topological dynamics. J. Symb. Log. Joseph Boudou, Martín Diéguez, David Fernández-Duque
2022	A*	`conf`	Itero: An Online Iterative Voting Application. IJCAI Joseph Boudou, Rachael Colley, Umberto Grandi
2021	J	`jnl`	Bisimulations for Intuitionistic Temporal Logics. FLAP Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
2021	J	`jnl`	Exploring the Jungle of Intuitionistic Temporal Logics. Theory Pract. Log. Program. Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer
2021	J	`jnl`	Resource separation in dynamic logic of propositional assignments. CoRR Joseph Boudou, Andreas Herzig, Nicolas Troquard
2021	J	`jnl`	Resource separation in dynamic logic of propositional assignments. J. Log. Algebraic Methods Program. Joseph Boudou, Andreas Herzig, Nicolas Troquard
2020	J	`jnl`	Intuitionistic Linear Temporal Logics. ACM Trans. Comput. Log. Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
2019	B	`conf`	Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. JELIA Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero
2019	J	`jnl`	Axiomatization and computability of a variant of iteration-free PDL with fork. J. Log. Algebraic Methods Program. Philippe Balbiani, Joseph Boudou
2019	J	`jnl`	Complete Intuitionistic Temporal Logics in Topological Dynamics. CoRR Joseph Boudou, Martín Diéguez, David Fernández-Duque
2019	J	`jnl`	Exploring the Jungle of Intuitionistic Temporal Logics. CoRR Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer
2019	J	`jnl`	Intuitionistic Linear Temporal Logics. CoRR Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
2019	—	`conf`	Resource Separation in Dynamic Logic of Propositional Assignments. DaLí Joseph Boudou, Andreas Herzig, Nicolas Troquard
2018	J	`jnl`	Axiomatic systems and topological semantics for intuitionistic temporal logic. CoRR Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero
2018	J	`jnl`	Bisimulations for intuitionistic temporal logics. CoRR Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
2018	A	`conf`	Concurrent Game Structures for Temporal STIT Logic. AAMAS Joseph Boudou, Emiliano Lorini
2018	J	`jnl`	Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization. J. Log. Comput. Philippe Balbiani, Joseph Boudou
2017	B	`conf`	A Decidable Intuitionistic Temporal Logic. CSL Joseph Boudou, Martín Diéguez, David Fernández-Duque
2017	—	`conf`	Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. DALI@TABLEAUX Philippe Balbiani, Joseph Boudou
2017	B	`conf`	Decidable Logics with Associative Binary Modalities. CSL Joseph Boudou
2016	A	`conf`	Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition. IJCAR Joseph Boudou
2016	B	`conf`	Decidability and Expressivity of Ockhamist Propositional Dynamic Logics. JELIA Joseph Boudou, Emiliano Lorini
2016	—	`—`	Decision procedures for modal logics of actions, resources and concurrency. (Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence). Joseph Boudou
2015	—	`conf`	Exponential-Size Model Property for PDL with Separating Parallel Composition. MFCS (1) Joseph Boudou
2015	A	`conf`	Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition. CADE Philippe Balbiani, Joseph Boudou
2014	A	`conf`	Skeptik: A Proof Compression System. IJCAR Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo
2013	B	`conf`	Compression of Propositional Resolution Proofs by Lowering Subproofs. TABLEAUX Joseph Boudou, Bruno Woltzenlogel Paleo