Sign In

Login

Password

Forgot Password ? Sign Up

Rajeev Alur (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Rajeev Alur" in French language version.

refsWebsite
Global rank French rank
1upenn.edu
702nd place
1,152nd place
1nodak.edu
5,218th place
2,467th place
1acm.org
1,185th place
1,318th place
1web.archive.org
1st place
1st place
1rwth-aachen.de
low place
low place
1eatcs.org
low place
low place

acm.org

fellows.acm.org

  • « Rajeev Alur » [archive du ], ACM Fellows, ACM, (consulté le ) : « For contributions to the specification and verification of reactive and hybrid systems. ».

eatcs.org

nodak.edu

genealogy.math.ndsu.nodak.edu

rwth-aachen.de

lics.rwth-aachen.de

  • (en) « LICS Test-of-Time Award » : « This paper was a pioneer in the model checking of real-time systems. »

upenn.edu

cis.upenn.edu

web.archive.org

  • « Rajeev Alur » [archive du ], ACM Fellows, ACM, (consulté le ) : « For contributions to the specification and verification of reactive and hybrid systems. ».