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
Formal specification
Model checking
Logical framework
Cryptography
Communications protocol
Rewriting
Verification and validation
Information system
Model of computation
Program analysis
Rotation formalisms in three dimensions
Verification
Programming language
Logic
Software verification
Computer network
Formal verification
Data structure
Theory of computation
Formal methods
Computer Science
Cryptographic protocol
Mathematical model
Satisfiability
Real-time computing
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Formal specification
Model checking
Logical framework
Cryptography
Communications protocol
Rewriting
Verification and validation
Information system
Model of computation
Program analysis
Rotation formalisms in three dimensions
Verification
Programming language
Logic
Software verification
Computer network
Formal verification
Data structure
Theory of computation
Formal methods
Computer Science
Cryptographic protocol
Mathematical model
Satisfiability
Real-time computing
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