Author of the publication

Analysis and Real-Time Prediction of Local Incident Impact on Transportation Networks.

, , , and . ICDM Workshops, page 158-166. IEEE Computer Society, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

How to Make AXIOM into a Scratchpad., and . ISSAC, page 32-40. ACM, (1994)Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry., , , , , and . Formal Methods Syst. Des., 45 (2): 189-212 (2014)Decomposition of Algebras., , and . ISSAC, volume 358 of Lecture Notes in Computer Science, page 300-308. Springer, (1988)CertRL: formalizing convergence proofs for value and policy iteration in Coq., , , , and . CPP, page 18-31. ACM, (2021)Computing with Polynomials Given By Black Boxes for Their Evaluation: Greatest Common Divisors, Factorization, Separation of Numerators and Denominators, and . FOCS, page 296-305. IEEE Computer Society, (1988)Direct multi-bit search (DMS) screen algorithm., , , and . ICIP, page 817-820. IEEE, (2012)Towards a Unification of Logic and Information Theory., , , , , , and . CoRR, (2023)Integral Closure of Noetherian Rings., and . ISSAC, page 212-216. ACM, (1997)A Reordered Schur Factorization Method for Zero-dimensional Polynomial Systems with Multiple Roots., , and . ISSAC, page 133-140. ACM, (1997)Factorization over finitely generated fields., and . SYMSACC, page 200-205. ACM, (1981)