Georg Moser

Citée par

	Toutes	Depuis 2019
Citations	1424	483
indice h	22	12
indice i10	40	15

120

20032004200520062007200820092010201120122013201420152016201720182019202020212022202320244 4 6 12 11 34 53 74 64 107 68 70 96 88 113 86 99 60 92 53 59 119

Accès public

Tout afficher

41 articles

2 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Martin AvanziniCentre Inria d'Université Côte d'AzurAdresse e-mail validée de inria.fr
Richard ZachProfessor of Philosophy, University of CalgaryAdresse e-mail validée de ucalgary.ca
Sarah Winklerpostdoctoral researcher, Free University BolzanoAdresse e-mail validée de unibz.it
Ugo Dal LagoUniversity of Bologna and INRIA Sophia AntipolisAdresse e-mail validée de cs.unibo.it
Aart MiddeldorpUniversity of InnsbruckAdresse e-mail validée de uibk.ac.at
Florian ZulegerAssociate Professor, TU WienAdresse e-mail validée de forsyte.tuwien.ac.at
Manuel SchneckenreitherUniversity of InnsbruckAdresse e-mail validée de uibk.ac.at
Lorenz LeutgebDoctoral Researcher, Max Planck Institute for InformaticsAdresse e-mail validée de mpi-inf.mpg.de
Chris FermüllerProfessor of Computer Science, Vienna University of TechnologyAdresse e-mail validée de logic.at
Andreas WeiermannProfessur for mathematics and logic, Ghent UniversityAdresse e-mail validée de UGent.be
Andrei VoronkovThe University of Manchester; EasyChairAdresse e-mail validée de cs.man.ac.uk
Laura KovacsTU Wien, Vienna, AustriaAdresse e-mail validée de tuwien.ac.at
Simon PerdrixSenior Researcher, Inria-Mocqua, LORIAAdresse e-mail validée de loria.fr
Maria A SchettAdresse e-mail validée de maria-a-schett.net
Radu ProdanUniversity of KlagenfurtAdresse e-mail validée de itec.aau.at
Thomas FahringerUniversity of Innsbruck, Institute of Computer Science, Distributed and Parallel Systems GroupAdresse e-mail validée de dps.uibk.ac.at
Hamid M. FardPostdoctoral Fellow at Technical University of Darmstadt (TU Darmstadt), GermanyAdresse e-mail validée de tu-darmstadt.de
Vladimir ZamdzhievInriaAdresse e-mail validée de inria.fr
Thomas PowellSenior Lecturer, University of BathAdresse e-mail validée de bath.ac.uk
Aart MiddeldorpProfessor of Computer Science, Innsbruck UniversityAdresse e-mail validée de uibk.ac.at

Suivre

Georg Moser

Professor for Computer Science, University of Innsbruck

Adresse e-mail validée de uibk.ac.at - Page d'accueil

Logic Proof Theory Program Analysis Automation Quantum Computation


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Automated complexity analysis based on the dependency pair method N Hirokawa, G Moser International Joint Conference on Automated Reasoning, 364-379, 2008	122	2008
Analysing the complexity of functional programs: higher-order meets first-order M Avanzini, U Dal Lago, G Moser Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015	80	2015
A combination framework for complexity M Avanzini, G Moser Information and Computation 248, 22-55, 2016	75	2016
Complexity analysis of term rewriting based on matrix and context dependent interpretations G Moser, A Schnabl, J Waldmann IARCS Annual Conference on Foundations of Software Technology and …, 2008	68	2008
Closing the gap between runtime complexity and polytime computability M Avanzini, G Moser Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010	66	2010
Complexity analysis by rewriting M Avanzini, G Moser International Symposium on Functional and Logic Programming, 130-146, 2008	56	2008
TcT: Tyrolean complexity tool M Avanzini, G Moser, M Schaper Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016	45	2016
The epsilon calculus and Herbrand complexity G Moser, R Zach Studia Logica 82, 133-155, 2006	44	2006
A modular cost analysis for probabilistic programs M Avanzini, G Moser, M Schaper Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020	40	2020
Multivariate amortised resource analysis for term rewrite systems M Hofmann, G Moser 13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015	35	2015
Tyrolean complexity tool: Features and usage M Avanzini, G Moser 24th International Conference on Rewriting Techniques and Applications (RTA …, 2013	34	2013
The derivational complexity induced by the dependency pair method G Moser, A Schnabl Logical Methods in Computer Science 7, 2011	34	2011
Complexity, graphs, and the dependency pair method N Hirokawa, G Moser International Conference on Logic for Programming Artificial Intelligence …, 2008	31	2008
Amortised resource analysis and typed polynomial interpretations M Hofmann, G Moser International Conference on Rewriting Techniques and Applications, 272-286, 2014	30	2014
Joint spectral radius theory for automated complexity analysis of rewrite systems A Middeldorp, G Moser, F Neurauter, J Waldmann, H Zankl Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria …, 2011	30	2011
The Hydra battle revisited N Dershowitz, G Moser Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud …, 2007	27	2007
Dependency pairs and polynomial path orders M Avanzini, G Moser International Conference on Rewriting Techniques and Applications, 48-62, 2009	26	2009
Complexity analysis by graph rewriting M Avanzini, G Moser International Symposium on Functional and Logic Programming, 257-271, 2010	24	2010
The complexity of interaction S Gimenez, G Moser Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016	23	2016
Proving quadratic derivational complexities using context dependent interpretations G Moser, A Schnabl International Conference on Rewriting Techniques and Applications, 276-290, 2008	23	2008

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs