HTTP/2 302 content-type: text/plain; charset=utf-8 date: Sun, 18 Jan 2026 22:57:00 GMT location: https://oadoi.org/10.1109/LICS.2013.34 nel: {"report_to":"heroku-nel","response_headers":["Via"],"max_age":3600,"success_fraction":0.01,"failure_fraction":0.1} report-to: {"group":"heroku-nel","endpoints":[{"url":"https://nel.heroku.com/reports?s=sZDoijZA0wbK8DNeXQDhzt7qFINlGrQ63r0ssW557W4%3D\u0026sid=67ff5de4-ad2b-4112-9289-cf96be89efed\u0026ts=1768777020"}],"max_age":3600} reporting-endpoints: heroku-nel="https://nel.heroku.com/reports?s=sZDoijZA0wbK8DNeXQDhzt7qFINlGrQ63r0ssW557W4%3D&sid=67ff5de4-ad2b-4112-9289-cf96be89efed&ts=1768777020" server: Heroku vary: Accept via: 2.0 heroku-router x-powered-by: Express content-length: 59 HTTP/1.1 302 Found Access-Control-Allow-Headers: origin, content-type, accept, x-requested-with Access-Control-Allow-Methods: POST, GET, OPTIONS, PUT, DELETE, PATCH Access-Control-Allow-Origin: * Content-Length: 283 Content-Security-Policy: default-src 'self'; object-src 'none' Content-Type: text/html; charset=utf-8 Date: Sun, 18 Jan 2026 22:57:01 GMT Location: https://oadoi.org/10.1109/LICS.2013.34 Nel: {"report_to":"heroku-nel","response_headers":["Via"],"max_age":3600,"success_fraction":0.01,"failure_fraction":0.1} Referrer-Policy: strict-origin-when-cross-origin Report-To: {"group":"heroku-nel","endpoints":[{"url":"https://nel.heroku.com/reports?s=%2B9WIBQD7Hm2xAKjUM4J4xYsweaBx4EXstgcyBR4HHUQ%3D\u0026sid=929419e7-33ea-4e2f-85f0-7d8b7cd5cbd6\u0026ts=1768777021"}],"max_age":3600} Reporting-Endpoints: heroku-nel="https://nel.heroku.com/reports?s=%2B9WIBQD7Hm2xAKjUM4J4xYsweaBx4EXstgcyBR4HHUQ%3D&sid=929419e7-33ea-4e2f-85f0-7d8b7cd5cbd6&ts=1768777021" Server: Heroku Via: 1.1 heroku-router X-Content-Type-Options: nosniff X-Frame-Options: SAMEORIGIN X-Xss-Protection: 1; mode=block HTTP/2 302 access-control-allow-headers: origin, content-type, accept, x-requested-with access-control-allow-methods: POST, GET, OPTIONS, PUT, DELETE, PATCH access-control-allow-origin: * content-security-policy: default-src 'self'; object-src 'none' content-type: text/html; charset=utf-8 date: Sun, 18 Jan 2026 22:57:02 GMT location: https://doi.org/10.1109/LICS.2013.34 nel: {"report_to":"heroku-nel","response_headers":["Via"],"max_age":3600,"success_fraction":0.01,"failure_fraction":0.1} referrer-policy: strict-origin-when-cross-origin report-to: {"group":"heroku-nel","endpoints":[{"url":"https://nel.heroku.com/reports?s=%2B9WIBQD7Hm2xAKjUM4J4xYsweaBx4EXstgcyBR4HHUQ%3D\u0026sid=929419e7-33ea-4e2f-85f0-7d8b7cd5cbd6\u0026ts=1768777021"}],"max_age":3600} reporting-endpoints: heroku-nel="https://nel.heroku.com/reports?s=%2B9WIBQD7Hm2xAKjUM4J4xYsweaBx4EXstgcyBR4HHUQ%3D&sid=929419e7-33ea-4e2f-85f0-7d8b7cd5cbd6&ts=1768777021" server: Heroku strict-transport-security: max-age=31556926; includeSubDomains via: 2.0 heroku-router x-content-type-options: nosniff x-frame-options: SAMEORIGIN x-xss-protection: 1; mode=block content-length: 277 HTTP/1.1 301 Moved Permanently Date: Sun, 18 Jan 2026 22:57:02 GMT Content-Length: 0 Connection: keep-alive Location: https://doi.org/10.1109/LICS.2013.34 Vary: accept-encoding Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=0inS6FBSIy%2FW03BT8IvIETj33jvWt8bkH2XgW93Maxs9%2Fi9fOe%2BdXUSrz1ofTfPOVeD%2F%2F0NMcdOX3P0hILCLcoKa0bJl6w%3D%3D"}]} Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800} Server: cloudflare CF-RAY: 9c01b0647cfcf470-BLR alt-svc: h3=":443"; ma=86400 HTTP/2 302 date: Sun, 18 Jan 2026 22:57:02 GMT content-type: text/html;charset=utf-8 location: https://ieeexplore.ieee.org/document/6571560/ server: cloudflare vary: Origin vary: Accept expires: Sun, 18 Jan 2026 23:11:00 GMT permissions-policy: interest-cohort=(),browsing-topics=() cf-cache-status: DYNAMIC nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800} strict-transport-security: max-age=31536000; includeSubDomains; preload report-to: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=2dZlJzqd5PGkKbm2RwjAgI%2BfAXD1GPqBRxB6qSUXy%2BvUW%2F%2BvJQb5q82NL7jgpTxWFvpIciDArvY3toH2II%2F1vLQW5jiA2Q%3D%3D"}]} cf-ray: 9c01b064ab609dfd-BLR alt-svc: h3=":443"; ma=86400 HTTP/1.1 301 Moved Permanently Server: CloudFront Date: Sun, 18 Jan 2026 22:57:02 GMT Content-Type: text/html Content-Length: 167 Connection: keep-alive Location: https://ieeexplore.ieee.org/document/6571560/ X-Cache: Redirect from cloudfront Via: 1.1 bf658c6f0f2d06ecca53cc9868d27b02.cloudfront.net (CloudFront) X-Amz-Cf-Pop: BOM78-P4 X-Amz-Cf-Id: f-hTQanVu0ENHGJ9Q88MDxagLLzbSI371c5OBLzj1jm5tE5_ODATiw== HTTP/2 200 content-type: text/html;charset=UTF-8 date: Sun, 18 Jan 2026 22:57:02 GMT x-frame-options: SAMEORIGIN content-language: en set-cookie: JSESSIONID=A461884AB8A7FAA180D51515BB892420; Path=/; Secure; HttpOnly;HttpOnly;Secure set-cookie: ERIGHTS=""; Domain=ieeexplore.ieee.org; Expires=Thu, 01-Jan-1970 00:00:10 GMT; Path=/;HttpOnly;Secure set-cookie: ERIGHTS=""; Domain=ieeexplore.ieee.org; Expires=Thu, 01-Jan-1970 00:00:10 GMT; Path=/;HttpOnly;Secure set-cookie: ERIGHTS=""; Domain=ieeexplore.ieee.org; Expires=Thu, 01-Jan-1970 00:00:10 GMT; Path=/;HttpOnly;Secure set-cookie: AWSALBAPP-0=AAAAAAAAAAAJ++pkqUUHjQnoCJcMW8mbwaPtBPOzoqYxRQGcuj87CRZIsIUDuir7RccyExl9z0XStzj2f4NFRsoAAYSboBnP3uzedi7lknZ91Xgbhdbx4LNz1UGwcIY6EXzW/4m0b4ZqTljYoXuqtq/lMV9j0IVKysORTfjFm4M7URC2VwdleA/o03DrppSDpapw8qnoYTkZ/OYcGM4jYA==; Expires=Sun, 25 Jan 2026 22:57:02 GMT; Path=/; Secure set-cookie: AWSALBAPP-1=_remove_; Expires=Sun, 25 Jan 2026 22:57:02 GMT; Path=/; Secure set-cookie: AWSALBAPP-2=_remove_; Expires=Sun, 25 Jan 2026 22:57:02 GMT; Path=/; Secure set-cookie: AWSALBAPP-3=_remove_; Expires=Sun, 25 Jan 2026 22:57:02 GMT; Path=/; Secure set-cookie: WLSESSION=2046980618.47873.0000; expires=Mon, 19-Jan-2026 22:57:02 GMT; path=/; Httponly; Secure set-cookie: TS016349ac=01f15fc87c0a25de1b76c85967d44bcfd1805f1f49781136eb7d24cc6ff2ae6a5480c12bf1f31970a407eb83bfe58d0130ec909f8d; Path=/; Domain=.ieeexplore.ieee.org set-cookie: TSaf720a17029=0807dc117eab2800d7100b2496e089530efce59fb81929521a61fa7fd696cdcd1780049b7466ea597e0a43e3f0179351; Max-Age=30; Path=/ set-cookie: TS8b476361027=0807dc117eab2000b43786f4f69507128a90bbbe86bd7cbfc418ea46f5d101f61d5f917df9018ac008051008951130002aa747d3c4a2da3cc104115ea4426f17b18b545bc60081a1f4911d0f8031331d4137331bd01b4c4611009c1f56558eb7; Path=/ x-xss-protection: 1 content-security-policy: upgrade-insecure-requests x-content-type-options: text/html; charset=UTF-8; nosniff strict-transport-security: max-age=31536000; includeSubDomains x-cache: Miss from cloudfront via: 1.1 a1ace081afaa01eee6efbc2bb1e8d5ea.cloudfront.net (CloudFront) x-amz-cf-pop: BOM78-P4 x-amz-cf-id: ve_QeBLhmJD2ut4UiY1atYEF4nGBRBU7RFr9ljg9tIZ7KpKuKZtpTA==