Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tibor Gregorics
A Unified Approach of Program Verification
Acta Universitatis Sapientiae, Informatica
Analogous Programming With a Template Class Library
Teaching Mathematics and Computer Science
Related publications
A Unified Approach to Authorship Attribution and Verification
American Statistician
Mathematics
Statistics
Uncertainty
Probability
A Guess-And-Assume Approach to Loop Fusion for Program Verification
Designated Confirmer Signatures With Unified Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Unified Approach to Integration Theory
International Journal of Applied Physics and Mathematics
A Unified Approach to Adaptive Observers
Transactions of the Society of Instrument and Control Engineers
Towards a Unified Modeling and Verification of Network and System Security Configurations
A Metric for Testing Program Verification Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Spelling Research and Practice: A Unified Approach
Focus on Exceptional Children
Intervention Policy of the BoJ: A Unified Approach
Journal of Banking and Finance
Economics
Econometrics
Finance