Mauro Jaskelioff - Concepedia

Author

Mauro Jaskelioff

National University of Rosario ORCID

Also Known As

Jaskelioff, Mauro Javier, MAURO JASKELIOFF, Mauro J. Jaskelioff, Mauro Jaskelioff

Publications

365

Citations

H-Index

Concepts

All Affiliations

National University of Rosario Centro Internacional Franco-Argentino de Ciencias de la Información y de Sistemas KU Leuven Consejo Nacional de Investigaciones Científicas y Técnicas University of Wrocław

About

Mauro Jaskelioff is an author at National University of Rosario specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	143
2	Computer Science	6	6	143
3	Language Studies	2	2	45
4	Linguistics	1	1	26
5	Systems Engineering	1	1	34

Mauro Jaskelioff

Publications

233

Citations

H-Index

Page 1

	Year	Citations
Precise Enforcement of Confidentiality for Reactive Systems Dante Zanarini, Mauro Jaskelioff, Alejandro Russo Precise EnforcementEngineeringInformation SecurityVerificationWeb Pages	2013	34
Monad transformers as monoid transformers Mauro Jaskelioff, Eugenio Moggi Theoretical Computer Science Monad TransformersFunctional Programming LanguageUniversal Algebra	2010	32
Monad transformers and modular algebraic effects: what binds them together Tom Schrijvers, Maciej Piróg, Nicolas Wu, Algebraic LogicAbstract AlgebraEngineeringRepresentation TheoryModern Algebra	2019	30
Syntax and Semantics for Operations with Scopes Maciej Piróg, Tom Schrijvers, Nicolas Wu, EngineeringAbstract SyntaxSemanticsSoftware AnalysisSyntax	2018	26
Proving the Correctness of Disk Paxos. Mauro Jaskelioff, Stephan Merz Archive of formal proofs Virtual MemoryDisk PaxosVoronoi Diagram	2005	23
A Represention Theorem for Second-Order Functionals Mauro Jaskelioff, Russell O’Connor Americanae (AECID Library)	2015	22
Factorising folds for faster functions Graham Hutton, Mauro Jaskelioff, Andy Gill Journal of Functional Programming Mathematical ProgrammingEngineeringSoftware EngineeringSubdivision SurfaceSoftware Analysis	2010	19
Modularity and Implementation of Mathematical Operational Semantics Mauro Jaskelioff, Neil Ghani, Graham Hutton Electronic Notes in Theoretical Computer Science EngineeringStructural Operational SemanticsSemanticsSoftware AnalysisFormal Verification	2011	19
An Investigation of the Laws of Traversals Mauro Jaskelioff, Ondřej Rypáček Electronic Proceedings in Theoretical Computer Science EngineeringReachability ProblemComputational ComplexitySoftware AnalysisFormal Verification	2012	15
From monoids to near-semirings Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers Topological SemigroupsApplicative FunctorsRing TheoryHigher Category TheoryTransformation Semigroups	2015	13

Page 1