<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="/sbasu/sitemap_generator/default/sitemap.xsl"?>
<!--Generated by the Simple XML Sitemap Drupal module: https://drupal.org/project/simple_sitemap.-->
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9" xmlns:image="http://www.google.com/schemas/sitemap-image/1.1">
 <url>
  <loc>https://faculty.sites.iastate.edu/sbasu/</loc>
  <lastmod>2026-03-20T15:38:53-05:00</lastmod>
  <changefreq>daily</changefreq>
  <priority>1.0</priority>
 </url>
 <url>
  <loc>https://faculty.sites.iastate.edu/sbasu/publications</loc>
  <lastmod>2024-07-25T10:15:37-05:00</lastmod>
  <priority>0.5</priority>
 </url>
 <url>
  <loc>https://faculty.sites.iastate.edu/sbasu/formal-methods-group</loc>
  <lastmod>2026-09-19T11:25:47-05:00</lastmod>
  <priority>0.5</priority>
 </url>
 <url>
  <loc>https://faculty.sites.iastate.edu/sbasu/pmck</loc>
  <lastmod>2021-03-05T22:29:47-06:00</lastmod>
  <priority>0.5</priority>
 </url>
 <url>
  <loc>https://faculty.sites.iastate.edu/sbasu/preference-reasoner</loc>
  <lastmod>2021-03-05T17:52:17-06:00</lastmod>
  <priority>0.5</priority>
 </url>
 <url>
  <loc>https://faculty.sites.iastate.edu/sbasu/icfem-09</loc>
  <lastmod>2021-03-05T22:49:37-06:00</lastmod>
  <priority>0.5</priority>
 </url>
 <url>
  <loc>https://faculty.sites.iastate.edu/sbasu/gore-pref</loc>
  <lastmod>2021-03-05T18:01:35-06:00</lastmod>
  <priority>0.5</priority>
 </url>
 <url>
  <loc>https://faculty.sites.iastate.edu/sbasu/wscomp</loc>
  <lastmod>2021-03-05T18:09:07-06:00</lastmod>
  <priority>0.5</priority>
 </url>
 <url>
  <loc>https://faculty.sites.iastate.edu/sbasu/people/samik-basu</loc>
  <lastmod>2026-03-20T15:38:53-05:00</lastmod>
  <priority>0.5</priority>
 </url>
</urlset>
