Login
中文
Jose Meseguer
HIndex: 22
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Programming language
Rewriting
Verification and validation
Formal specification
Rotation formalisms in three dimensions
Program analysis
Model checking
Cryptography
Real-time computing
Data structure
Logical framework
Formal verification
Information system
Satisfiability
Mathematical model
Communications protocol
Computer network
Model of computation
Verification
Software verification
Formal methods
Cryptographic protocol
Computer Science
Theory of computation
Logic
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Programming language
Rewriting
Verification and validation
Formal specification
Rotation formalisms in three dimensions
Program analysis
Model checking
Cryptography
Real-time computing
Data structure
Logical framework
Formal verification
Information system
Satisfiability
Mathematical model
Communications protocol
Computer network
Model of computation
Verification
Software verification
Formal methods
Cryptographic protocol
Computer Science
Theory of computation
Logic
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Jose Meseguer
Department Of Computer Science University Of Illinois At Urbana Champaign
254
Jose Meseguer
Department Of Computer Science University Of Illinois At Urbana Champaign
198
Jose Meseguer
University Of Murcia
181
Jose Meseguer
Universiti Putra Malaysia
22
Jose Meseguer
Polytechnic University Of Valencia
21
×
Share to your followers
Submit