Jose Meseguer

Affiliations: 
University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Computer Science
Google:
"Jose Meseguer"

Children

Sign in to add trainee
Azadeh Farzan grad student 2007 UIUC
Joseph D. Hendrix grad student 2008 UIUC
Musab A. Al-Turki grad student 2011 UIUC
Michael K. Katelman grad student 2011 UIUC
Hernan C. Rocha Nino grad student 2012 UIUC
Ralf Sasse grad student 2012 UIUC
Kyungmin Bae grad student 2014 UIUC
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Alpuente M, Cuenca-Ortega A, Escobar S, et al. (2020) A Partial Evaluation Framework for Order-sorted Equational Programs modulo Axioms The Journal of Logic and Algebraic Programming. 110: 100501
Durán F, Eker S, Escobar S, et al. (2020) Programming and symbolic computation in Maude The Journal of Logic and Algebraic Programming. 110: 100497
Liu S, Ölveczky PC, Wang Q, et al. (2019) Read atomic transactions with prevention of lost updates: ROLA and its formal analysis Formal Aspects of Computing. 31: 503-540
Meseguer J. (2016) Variant-based satisfiability in initial algebras Communications in Computer and Information Science. 596: 3-34
Skeirik S, Meseguer J. (2016) Metalevel algorithms for variant satisfiability Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9942: 167-184
Lucas S, Meseguer J. (2016) Normal forms and normal theories in conditional rewriting Journal of Logical and Algebraic Methods in Programming. 85: 67-97
Liu S, Ölveczky PC, Meseguer J. (2016) Modeling and analyzing mobile ad hoc networks in Real-Time Maude The Journal of Logic and Algebraic Programming. 85: 34-66
Meseguer J. (2016) Order-sorted rewriting and congruence closure Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9634: 493-509
Cholewa A, Escobar S, Meseguer J. (2015) Constrained narrowing for conditional equational theories modulo axioms Science of Computer Programming. 112: 24-57
Bae K, Krisiloff J, Meseguer J, et al. (2015) Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study Science of Computer Programming. 103: 13-50
See more...