callback( { "result":{ "query":":facetid:toc:\"db/series/eptcs/eptcs247.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"183.29" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"6", "@dc":"6", "@oc":"6", "@id":"43491026", "text":":facetid:toc:db/series/eptcs/eptcs247.bht" } }, "hits":{ "@total":"6", "@computed":"6", "@sent":"6", "@first":"0", "hit":[{ "@score":"1", "@id":"3034143", "info":{"authors":{"author":[{"@pid":"172/2815","text":"Adrien Le Coënt"},{"@pid":"29/6096","text":"Florian De Vuyst"},{"@pid":"150/6195","text":"Ludovic Chamoin"},{"@pid":"95/6358","text":"Laurent Fribourg"}]},"title":"Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method.","venue":"SNR@ETAPS","pages":"18-33","year":"2017","type":"Conference and Workshop Papers","access":"open","key":"journals/corr/CoentVCF17","doi":"10.4204/EPTCS.247.2","ee":"https://doi.org/10.4204/EPTCS.247.2","url":"https://dblp.org/rec/journals/corr/CoentVCF17"}, "url":"URL#3034143" }, { "@score":"1", "@id":"3034149", "info":{"authors":{"author":[{"@pid":"153/6810","text":"Benoît Desrochers"},{"@pid":"24/6296","text":"Luc Jaulin"}]},"title":"Minkowski Operations of Sets with Application to Robot Localization.","venue":"SNR@ETAPS","pages":"34-45","year":"2017","type":"Conference and Workshop Papers","access":"open","key":"journals/corr/DesrochersJ17","doi":"10.4204/EPTCS.247.3","ee":"https://doi.org/10.4204/EPTCS.247.3","url":"https://dblp.org/rec/journals/corr/DesrochersJ17"}, "url":"URL#3034149" }, { "@score":"1", "@id":"3034178", "info":{"authors":{"author":{"@pid":"68/11447","text":"Ievgen Ivanov"}},"title":"On the Underapproximation of Reach Sets of Abstract Continuous-Time Systems.","venue":"SNR@ETAPS","pages":"46-51","year":"2017","type":"Conference and Workshop Papers","access":"open","key":"journals/corr/Ivanov17","doi":"10.4204/EPTCS.247.4","ee":"https://doi.org/10.4204/EPTCS.247.4","url":"https://dblp.org/rec/journals/corr/Ivanov17"}, "url":"URL#3034178" }, { "@score":"1", "@id":"3034206", "info":{"authors":{"author":[{"@pid":"229/8853","text":"Carna Radojicic"},{"@pid":"79/6092-1","text":"Christoph Grimm 0001"},{"@pid":"38/5744","text":"Axel Jantsch"},{"@pid":"121/1433","text":"Michael Rathmair"}]},"title":"Towards Verification of Uncertain Cyber-Physical Systems.","venue":"SNR@ETAPS","pages":"1-17","year":"2017","type":"Conference and Workshop Papers","access":"open","key":"journals/corr/Radojicic0JR17","doi":"10.4204/EPTCS.247.1","ee":"https://doi.org/10.4204/EPTCS.247.1","url":"https://dblp.org/rec/journals/corr/Radojicic0JR17"}, "url":"URL#3034206" }, { "@score":"1", "@id":"3034229", "info":{"authors":{"author":[{"@pid":"117/7994","text":"Yingfu Zeng"},{"@pid":"168/9534","text":"Ferenc A. Bartha"},{"@pid":"53/5525","text":"Walid Taha"}]},"title":"Compile-Time Extensions to Hybrid ODEs.","venue":"SNR@ETAPS","pages":"52-70","year":"2017","type":"Conference and Workshop Papers","access":"open","key":"journals/corr/ZengBT17","doi":"10.4204/EPTCS.247.5","ee":"https://doi.org/10.4204/EPTCS.247.5","url":"https://dblp.org/rec/journals/corr/ZengBT17"}, "url":"URL#3034229" }, { "@score":"1", "@id":"3038647", "info":{"authors":{"author":[{"@pid":"a/ErikaAbraham","text":"Erika Ábrahám"},{"@pid":"90/8556","text":"Sergiy Bogomolov"}]},"title":"Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April 2017.","venue":["SNR@ETAPS","EPTCS"],"volume":"247","year":"2017","type":"Editorship","access":"open","key":"journals/corr/AbrahamB17","ee":"http://arxiv.org/abs/1704.02421","url":"https://dblp.org/rec/journals/corr/AbrahamB17"}, "url":"URL#3038647" } ] } } } )