BibTeX records: Arpit Sharma

download as .bib file

@inproceedings{DBLP:conf/formats/Sharma18,
  author    = {Arpit Sharma},
  title     = {Trace Relations and Logical Preservation for Markov Automata},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
               Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
  pages     = {162--178},
  year      = {2018},
  crossref  = {DBLP:conf/formats/2018},
  url       = {https://doi.org/10.1007/978-3-030-00151-3\_10},
  doi       = {10.1007/978-3-030-00151-3\_10},
  timestamp = {Mon, 27 Aug 2018 11:26:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/Sharma18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Sharma18a,
  author    = {Arpit Sharma},
  title     = {Non-bisimulation Based Behavioral Relations for Markov Automata},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
               Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
  pages     = {179--196},
  year      = {2018},
  crossref  = {DBLP:conf/formats/2018},
  url       = {https://doi.org/10.1007/978-3-030-00151-3\_11},
  doi       = {10.1007/978-3-030-00151-3\_11},
  timestamp = {Mon, 27 Aug 2018 11:26:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/Sharma18a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/Sharma17,
  author    = {Arpit Sharma},
  title     = {Interactive Markovian Equivalence},
  booktitle = {Computer Performance Engineering - 14th European Workshop, {EPEW}
               2017, Berlin, Germany, September 7-8, 2017, Proceedings},
  pages     = {33--49},
  year      = {2017},
  crossref  = {DBLP:conf/epew/2017},
  url       = {https://doi.org/10.1007/978-3-319-66583-2\_3},
  doi       = {10.1007/978-3-319-66583-2\_3},
  timestamp = {Thu, 31 Aug 2017 15:25:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/epew/Sharma17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Sharma17,
  author    = {Arpit Sharma},
  title     = {Trace Relations and Logical Preservation for Continuous-Time Markov
               Decision Processes},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International
               Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings},
  pages     = {192--209},
  year      = {2017},
  crossref  = {DBLP:conf/ictac/2017},
  url       = {https://doi.org/10.1007/978-3-319-67729-3\_12},
  doi       = {10.1007/978-3-319-67729-3\_12},
  timestamp = {Fri, 29 Sep 2017 10:37:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/Sharma17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SharmaB16,
  author    = {Arpit Sharma and
               Chitta Baral},
  title     = {Automatic Extraction of Events-Based Conditional Commonsense Knowledge},
  booktitle = {Knowledge Extraction from Text, Papers from the 2016 {AAAI} Workshop,
               Phoenix, Arizona, USA, February 12, 2016.},
  year      = {2016},
  crossref  = {DBLP:conf/aaai/2016text},
  url       = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12597},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/SharmaB16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Sharma16,
  author    = {Arpit Sharma},
  title     = {Towards Understanding Natural Language: Semantic Parsing, Commonsense
               Knowledge Acquisition and Applications},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  pages     = {4026--4027},
  year      = {2016},
  crossref  = {DBLP:conf/ijcai/2016},
  url       = {http://www.ijcai.org/Abstract/16/587},
  timestamp = {Fri, 15 Jul 2016 15:25:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/Sharma16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Sharma15,
  author    = {Arpit Sharma},
  title     = {Reduction Techniques for Nondeterministic and Probabilistic Systems},
  school    = {{RWTH} Aachen University, Germany},
  year      = {2015},
  url       = {http://publications.rwth-aachen.de/record/462319},
  urn       = {urn:nbn:de:hbz:82-rwth-2015-005562},
  timestamp = {Mon, 14 May 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Sharma15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/SharmaVGB15,
  author    = {Arpit Sharma and
               Nguyen Ha Vo and
               Shruti Gaur and
               Chitta Baral},
  title     = {An Approach to Solve Winograd Schema Challenge Using Automatically
               Extracted Commonsense Knowledge},
  booktitle = {2015 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
               USA, March 22-25, 2015},
  year      = {2015},
  crossref  = {DBLP:conf/aaaiss/2015},
  url       = {http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/view/10299},
  timestamp = {Wed, 14 Nov 2018 14:01:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaaiss/SharmaVGB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aclevents/SharmaVAB15,
  author    = {Arpit Sharma and
               Nguyen Ha Vo and
               Somak Aditya and
               Chitta Baral},
  title     = {Identifying Various Kinds of Event Mentions in K-Parser Output},
  booktitle = {Proceedings of the The 3rd Workshop on {EVENTS:} Definition, Detection,
               Coreference, and Representation, EVENTS@HLP-NAACL 2015, Denver, Colorado,
               USA, June 4, 2015},
  pages     = {82--88},
  year      = {2015},
  crossref  = {DBLP:conf/aclevents/2015},
  url       = {https://doi.org/10.3115/v1/W15-0811},
  doi       = {10.3115/v1/W15-0811},
  timestamp = {Fri, 29 Sep 2017 15:23:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aclevents/SharmaVAB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SharmaVAB15,
  author    = {Arpit Sharma and
               Nguyen Ha Vo and
               Somak Aditya and
               Chitta Baral},
  title     = {Towards Addressing the Winograd Schema Challenge - Building and Using
               a Semantic Parser and a Knowledge Hunting Module},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  pages     = {1319--1325},
  year      = {2015},
  crossref  = {DBLP:conf/ijcai/2015},
  url       = {http://ijcai.org/Abstract/15/190},
  timestamp = {Wed, 20 Jul 2016 15:18:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/SharmaVAB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SharmaK14,
  author    = {Arpit Sharma and
               Joost{-}Pieter Katoen},
  title     = {Layered Reduction for Abstract Probabilistic Automata},
  booktitle = {14th International Conference on Application of Concurrency to System
               Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014},
  pages     = {21--31},
  year      = {2014},
  crossref  = {DBLP:conf/acsd/2014},
  url       = {https://doi.org/10.1109/ACSD.2014.10},
  doi       = {10.1109/ACSD.2014.10},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/SharmaK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/SharmaK13,
  author    = {Arpit Sharma and
               Joost{-}Pieter Katoen},
  title     = {Layered Reduction for Modal Specification Theories},
  booktitle = {Formal Aspects of Component Software - 10th International Symposium,
               {FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected
               Papers},
  pages     = {329--347},
  year      = {2013},
  crossref  = {DBLP:conf/facs2/2013},
  url       = {https://doi.org/10.1007/978-3-319-07602-7\_20},
  doi       = {10.1007/978-3-319-07602-7\_20},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/SharmaK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/Sharma12,
  author    = {Arpit Sharma},
  title     = {Weighted Probabilistic Equivalence Preserves {\(\omega\)}-Regular
               Properties},
  booktitle = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability
               and Fault Tolerance - 16th International {GI/ITG} Conference, {MMB}
               {\&} {DFT} 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings},
  pages     = {121--135},
  year      = {2012},
  crossref  = {DBLP:conf/mmb/2012},
  url       = {https://doi.org/10.1007/978-3-642-28540-0\_9},
  doi       = {10.1007/978-3-642-28540-0\_9},
  timestamp = {Wed, 24 May 2017 08:29:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mmb/Sharma12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-0408,
  author    = {Arpit Sharma},
  title     = {A Two Step Perspective for Kripke Structure Reduction},
  journal   = {CoRR},
  volume    = {abs/1210.0408},
  year      = {2012},
  url       = {http://arxiv.org/abs/1210.0408},
  archivePrefix = {arXiv},
  eprint    = {1210.0408},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1210-0408},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/SharmaK11,
  author    = {Arpit Sharma and
               Joost{-}Pieter Katoen},
  title     = {Weighted Lumpability on Markov Chains},
  booktitle = {Perspectives of Systems Informatics - 8th International Andrei Ershov
               Memorial Conference, {PSI} 2011, Novosibirsk, Russia, June 27-July
               1, 2011, Revised Selected Papers},
  pages     = {322--339},
  year      = {2011},
  crossref  = {DBLP:conf/ershov/2011},
  url       = {https://doi.org/10.1007/978-3-642-29709-0\_28},
  doi       = {10.1007/978-3-642-29709-0\_28},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/SharmaK11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2018,
  editor    = {David N. Jansen and
               Pavithra Prabhakar},
  title     = {Formal Modeling and Analysis of Timed Systems - 16th International
               Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11022},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-00151-3},
  doi       = {10.1007/978-3-030-00151-3},
  isbn      = {978-3-030-00150-6},
  timestamp = {Mon, 27 Aug 2018 11:26:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epew/2017,
  editor    = {Philipp Reinecke and
               Antinisca Di Marco},
  title     = {Computer Performance Engineering - 14th European Workshop, {EPEW}
               2017, Berlin, Germany, September 7-8, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10497},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66583-2},
  doi       = {10.1007/978-3-319-66583-2},
  isbn      = {978-3-319-66582-5},
  timestamp = {Thu, 31 Aug 2017 15:25:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/epew/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2017,
  editor    = {Dang Van Hung and
               Deepak Kapur},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International
               Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10580},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-67729-3},
  doi       = {10.1007/978-3-319-67729-3},
  isbn      = {978-3-319-67728-6},
  timestamp = {Fri, 29 Sep 2017 10:37:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2016text,
  editor    = {Blaz Fortuna and
               Marko Grobelnik and
               Estevam R. Hruschka and
               Michael J. Witbrock},
  title     = {Knowledge Extraction from Text, Papers from the 2016 {AAAI} Workshop,
               Phoenix, Arizona, USA, February 12, 2016},
  series    = {{AAAI} Workshops},
  volume    = {{WS-16-10}},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/Library/Workshops/ws16-10.php},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2016text},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2016,
  editor    = {Subbarao Kambhampati},
  title     = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  publisher = {{IJCAI/AAAI} Press},
  year      = {2016},
  url       = {http://www.ijcai.org/Proceedings/2016},
  isbn      = {978-1-57735-770-4},
  timestamp = {Fri, 15 Jul 2016 15:25:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaaiss/2015,
  title     = {2015 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
               USA, March 22-25, 2015},
  publisher = {{AAAI} Press},
  year      = {2015},
  url       = {https://aaai.org/Library/Symposia/springsymposia-library.php},
  timestamp = {Wed, 14 Nov 2018 14:01:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaaiss/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aclevents/2015,
  editor    = {Eduard H. Hovy and
               Teruko Mitamura and
               Martha Palmer},
  title     = {Proceedings of the The 3rd Workshop on {EVENTS:} Definition, Detection,
               Coreference, and Representation, EVENTS@HLP-NAACL 2015, Denver, Colorado,
               USA, June 4, 2015},
  publisher = {Association for Computational Linguistics},
  year      = {2015},
  url       = {http://aclanthology.info/volumes/proceedings-of-the-the-3rd-workshop-on-events-definition-detection-coreference-and-representation},
  isbn      = {978-1-941643-37-2},
  timestamp = {Fri, 29 Sep 2017 15:23:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aclevents/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2015,
  editor    = {Qiang Yang and
               Michael Wooldridge},
  title     = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  publisher = {{AAAI} Press},
  year      = {2015},
  url       = {http://ijcai.org/proceedings/2015},
  isbn      = {978-1-57735-738-4},
  timestamp = {Wed, 20 Jul 2016 15:18:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2014,
  title     = {14th International Conference on Application of Concurrency to System
               Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7002497},
  isbn      = {978-1-4799-4281-7},
  timestamp = {Fri, 08 May 2015 15:30:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2013,
  editor    = {Jos{\'{e}} Luiz Fiadeiro and
               Zhiming Liu and
               Jinyun Xue},
  title     = {Formal Aspects of Component Software - 10th International Symposium,
               {FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8348},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07602-7},
  doi       = {10.1007/978-3-319-07602-7},
  isbn      = {978-3-319-07601-0},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mmb/2012,
  editor    = {Jens B. Schmitt},
  title     = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability
               and Fault Tolerance - 16th International {GI/ITG} Conference, {MMB}
               {\&} {DFT} 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7201},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28540-0},
  doi       = {10.1007/978-3-642-28540-0},
  isbn      = {978-3-642-28539-4},
  timestamp = {Wed, 24 May 2017 08:29:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mmb/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/2011,
  editor    = {Edmund M. Clarke and
               Irina Virbitskaite and
               Andrei Voronkov},
  title     = {Perspectives of Systems Informatics - 8th International Andrei Ershov
               Memorial Conference, {PSI} 2011, Novosibirsk, Russia, June 27-July
               1, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7162},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29709-0},
  doi       = {10.1007/978-3-642-29709-0},
  isbn      = {978-3-642-29708-3},
  timestamp = {Sun, 21 May 2017 00:18:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier