Bassel Mannaa - RankMe

14 papers A* 1B 2Journal 10Unranked 1

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Modal dependent type theory and dependent right adjoints. Math. Struct. Comput. Sci. Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters
2020	J	`jnl`	Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory. CoRR Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri
2020	J	`jnl`	Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory. Log. Methods Comput. Sci. Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri
2018	J	`jnl`	Modal Dependent Type Theory and Dependent Right Adjoints. CoRR Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters
2018	B	`conf`	The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory. FSCD Bassel Mannaa, Rasmus Ejlers Møgelberg
2018	J	`jnl`	The clocks they are adjunctions: Denotational semantics for Clocked Type Theory. CoRR Bassel Mannaa, Rasmus Ejlers Møgelberg
2017	J	`jnl`	Stack Semantics of Type Theory. CoRR Thierry Coquand, Bassel Mannaa, Fabian Ruch
2017	A*	`conf`	Stack semantics of type theory. LICS Thierry Coquand, Bassel Mannaa, Fabian Ruch
2017	J	`jnl`	The Independence of Markov's Principle in Type Theory. Log. Methods Comput. Sci. Thierry Coquand, Bassel Mannaa
2016	B	`conf`	The Independence of Markov's Principle in Type Theory. FSCD Thierry Coquand, Bassel Mannaa
2016	J	`jnl`	The Independence of Markov's Principle in Type Theory. CoRR Thierry Coquand, Bassel Mannaa
2014	—	`conf`	A Sheaf Model of the Algebraic Closure. CL&C Bassel Mannaa, Thierry Coquand
2013	J	`jnl`	Dynamic Newton-Puiseux theorem. J. Log. Anal. Bassel Mannaa, Thierry Coquand
2010	J	`jnl`	Cluster editing problem for points on the real line: A polynomial time algorithm. Inf. Process. Lett. Bassel Mannaa

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski