Diferencias

Muestra las diferencias entre dos versiones de la página.

Enlace a la vista de comparación

grupos:avispa:publications_repository [2017/10/23 04:03]
jearias
grupos:avispa:publications_repository [2017/10/23 04:06] (actual)
jearias [Technical Reports]
Línea 6826: Línea 6826:
 <html> <html>
 <table> <table>
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/MezzinaP17">MP17a</a>]
 +</td>
 +<td class="bibtexitem">
 +Claudio&nbsp;Antares Mezzina and Jorge&nbsp;A. Pe&#769rez.
 + Causally consistent reversible choreographies.
 + <em>CoRR</em>, abs/1703.06021, 2017.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/MezzinaP17">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/MorenoPT17">MPT17</a>]
 +</td>
 +<td class="bibtexitem">
 +Juan David&nbsp;Arcila Moreno, Santiago Passos, and Mauricio Toro.
 + On-line assembling mitochondrial DNA from de novo transcriptome.
 + <em>CoRR</em>, abs/1706.02828, 2017.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/MorenoPT17">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/RestrepoPT17">RPT17</a>]
 +</td>
 +<td class="bibtexitem">
 +Juan Manuel&nbsp;Ciro Restrepo, Andre&#769s Felipe&nbsp;Zapata Palacio, and
 +  Mauricio Toro.
 + Assembling sequences of DNA using an on-line algorithm based on
 +  debruijn graphs.
 + <em>CoRR</em>, abs/1705.05105, 2017.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/RestrepoPT17">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/ToroD17">TD17</a>]
 +</td>
 +<td class="bibtexitem">
 +Mauricio Toro and Myriam Desainte-Catherine.
 + Concurrent constraint conditional-branching timed interactive scores.
 + <em>CoRR</em>, abs/1705.02861, 2017.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/ToroD17">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/ToroDA17">TDA17</a>]
 +</td>
 +<td class="bibtexitem">
 +Mauricio Toro, Myriam Desainte-Catherine, and Antoine Allombert.
 + Modeling temporal constraints for a system of interactive scores.
 + <em>CoRR</em>, abs/1705.01651, 2017.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/ToroDA17">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/KhazeevRM17">KRM17</a>]
 +</td>
 +<td class="bibtexitem">
 +Mansur Khazeev, Vi&#769ctor Rivera, and Manuel Mazzara.
 + Initial steps towards assessing the usability of a verification tool.
 + <em>CoRR</em>, abs/1704.05008, 2017.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/KhazeevRM17">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/LebedevLRM17">LLRM17b</a>]
 +</td>
 +<td class="bibtexitem">
 +Andrei Lebedev, JooYoung Lee, Vi&#769ctor Rivera, and Manuel Mazzara.
 + Link prediction using top-k shortest
 +  distances.
 + <em>CoRR</em>, abs/1705.02936, 2017.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/LebedevLRM17">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/MazzaraKMRSS17">MKM<sup>+</sup>17</a>]
 +</td>
 +<td class="bibtexitem">
 +Manuel Mazzara, Kevin Khanda, Ruslan Mustafin, Vi&#769ctor Rivera,
 +  Larisa Safina, and Alberto Sillitti.
 + Microservices science and engineering.
 + <em>CoRR</em>, abs/1706.07350, 2017.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/MazzaraKMRSS17">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/RiveraLMJ17">RLMJ17</a>]
 +</td>
 +<td class="bibtexitem">
 +Vi&#769ctor Rivera, JooYoung Lee, Manuel Mazzara, and Leonard Johard.
 + Translating event-b machines to eiffel programs.
 + <em>CoRR</em>, abs/1706.04578, 2017.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/RiveraLMJ17">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/abs-1708-04498">JRML17</a>]
 +</td>
 +<td class="bibtexitem">
 +Leonard Johard, Vi&#769ctor Rivera, Manuel Mazzara, and JooYoung Lee.
 + Self-adaptive node-based PCA encodings.
 + <em>CoRR</em>, abs/1708.04498, 2017.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/abs-1708-04498">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/abs-1709-10255">MBM<sup>+</sup>17</a>]
 +</td>
 +<td class="bibtexitem">
 +Kizilov Mikhail, Antonio Bucchiarone, Manuel Mazzara, Larisa Safina, and
 +  Vi&#769ctor Rivera.
 + Domain objects and microservices for systems development: a roadmap.
 + <em>CoRR</em>, abs/1709.10255, 2017.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/abs-1709-10255">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/DespeyrouxOP16">DOP16</a>]
 +</td>
 +<td class="bibtexitem">
 +Jo&euml;lle Despeyroux, Carlos Olarte, and Elaine Pimentel.
 + Hybrid and subexponential linear logics technical report.
 + <em>CoRR</em>, abs/1608.08779, 2016.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/DespeyrouxOP16">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/FalaschiGOP16">FGOP16b</a>]
 +</td>
 +<td class="bibtexitem">
 +Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, and Catuscia Palamidessi.
 + Slicing concurrent constraint programs.
 + <em>CoRR</em>, abs/1608.05252, 2016.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/FalaschiGOP16">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/Patino-ForeroAT16">PAT16</a>]
 +</td>
 +<td class="bibtexitem">
 +Catalina Pati&ntilde;o-Forero, Mateo Agudelo-Toro, and Mauricio Toro.
 + Planning system for deliveries in medelli&#769n.
 + <em>CoRR</em>, abs/1611.04156, 2016.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/Patino-ForeroAT16">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/Toro16">Tor16</a>]
 +</td>
 +<td class="bibtexitem">
 +Mauricio Toro.
 + Probabilistic extension to the concurrent constraint factor oracle
 +  model for music improvisation.
 + <em>CoRR</em>, abs/1602.02169, 2016.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/Toro16">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/LopezNN16">LNN16b</a>]
 +</td>
 +<td class="bibtexitem">
 +Hugo&nbsp;A. Lo&#769pez, Flemming Nielson, and Hanne&nbsp;Riis Nielson.
 + A theory of available-by-design communicating systems.
 + <em>CoRR</em>, abs/1611.05651, 2016.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/LopezNN16">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/AristizabalBLP16">ABLP16b</a>]
 +</td>
 +<td class="bibtexitem">
 +Andre&#769s Aristiza&#769bal, Dariusz Biernacki, Sergue&iuml;
 +  Lenglet, and Piotr Polesiuk.
 + Environmental bisimulations for delimited-control operators with
 +  dynamic prompt generation.
 + <em>CoRR</em>, abs/1611.09626, 2016.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/AristizabalBLP16">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/BanduraKMRST16">BKM<sup>+</sup>16b</a>]
 +</td>
 +<td class="bibtexitem">
 +Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Vi&#769ctor Rivera,
 +  Larisa Safina, and Alexander Tchitchigin.
 + Jolie community on the rise.
 + <em>CoRR</em>, abs/1609.09718, 2016.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/BanduraKMRST16">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/KhazeevRMT16">KRMT16</a>]
 +</td>
 +<td class="bibtexitem">
 +Mansur Khazeev, Vi&#769ctor Rivera, Manuel Mazzara, and Alexander
 +  Tchitchigin.
 + Usability of autoproof: a case study of software verification.
 + <em>CoRR</em>, abs/1605.01663, 2016.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/KhazeevRMT16">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/NaumchevMR16">NMR16</a>]
 +</td>
 +<td class="bibtexitem">
 +Alexandr Naumchev, Bertrand Meyer, and Vi&#769ctor Rivera.
 + Unifying requirements and code: an example.
 + <em>CoRR</em>, abs/1602.05395, 2016.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/NaumchevMR16">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/Rivera16">Riv16</a>]
 +</td>
 +<td class="bibtexitem">
 +Vi&#769ctor Rivera.
 + Code generation for event-b.
 + <em>CoRR</em>, abs/1602.02004, 2016.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/Rivera16">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/TchitchiginSMEM16">TSM<sup>+</sup>16</a>]
 +</td>
 +<td class="bibtexitem">
 +Alexander Tchitchigin, Larisa Safina, Manuel Mazzara, Mohamed Elwakil, Fabrizio
 +  Montesi, and Vi&#769ctor Rivera.
 + Refinement types in jolie.
 + <em>CoRR</em>, abs/1602.06823, 2016.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/TchitchiginSMEM16">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/ToroDC15">TDC15</a>]
 +</td>
 +<td class="bibtexitem">
 +Mauricio Toro, Myriam Desainte-Catherine, and Julien Castet.
 + An extension of interactive scores for multimedia scenarios with
 +  temporal relations for micro and macro controls.
 + <em>CoRR</em>, abs/1510.03090, 2015.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/ToroDC15">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/Toro15">Tor15b</a>]
 +</td>
 +<td class="bibtexitem">
 +Mauricio Toro.
 + Structured interactive music scores.
 + <em>CoRR</em>, abs/1508.05559, 2015.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/Toro15">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/Toro15a">Tor15a</a>]
 +</td>
 +<td class="bibtexitem">
 +Mauricio Toro.
 + Concurrent constraint machine improvisation: Models and
 +  implementation.
 + <em>CoRR</em>, abs/1510.02840, 2015.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/Toro15a">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/Toro15b">Tor15c</a>]
 +</td>
 +<td class="bibtexitem">
 +Mauricio Toro.
 + Towards non-threaded concurrent constraint programming for
 +  implementing multimedia interaction systems.
 + <em>CoRR</em>, abs/1510.03057, 2015.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/Toro15b">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/ToroDB15">TDB15</a>]
 +</td>
 +<td class="bibtexitem">
 +Mauricio Toro, Myriam Desainte-Catherine, and Pascal Baltazar.
 + A model for interactive scores with temporal constraints and
 +  conditional branching.
 + <em>CoRR</em>, abs/1510.02836, 2015.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/ToroDB15">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/BartolettiCDDGP15">BCD<sup>+</sup>15b</a>]
 +</td>
 +<td class="bibtexitem">
 +Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Denie&#769lou,
 +  Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge&nbsp;A.
 +  Pe&#769rez, Peter Thiemann, Bernardo Toninho, and Hugo&nbsp;Torres Vieira.
 + Combining behavioural types with security analysis.
 + <em>CoRR</em>, abs/1510.02229, 2015.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/BartolettiCDDGP15">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/KouzapasPY15">KPY15b</a>]
 +</td>
 +<td class="bibtexitem">
 +Dimitrios Kouzapas, Jorge&nbsp;A. Pe&#769rez, and Nobuko Yoshida.
 + Core higher-order session processes: Tractable equivalences and
 +  relative expressiveness.
 + <em>CoRR</em>, abs/1502.02585, 2015.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/KouzapasPY15">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/ToroRAA15a">TRAA15b</a>]
 +</td>
 +<td class="bibtexitem">
 +Mauricio Toro, Camilo Rueda, Carlos Ago&#769n, and Ge&#769rard
 +  Assayag.
 + NTCCRT: A concurrent constraint framework for real-time
 +  interaction (extended version).
 + <em>CoRR</em>, abs/1510.02834, 2015.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/ToroRAA15a">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/ToroRAA15">TRAA15a</a>]
 +</td>
 +<td class="bibtexitem">
 +Mauricio Toro, Camilo Rueda, Carlos Ago&#769n, and Ge&#769rard
 +  Assayag.
 + Gelisp: A library to represent musical csps and search strategies.
 + <em>CoRR</em>, abs/1510.02828, 2015.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/ToroRAA15">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/PimentelON14">PON14b</a>]
 +</td>
 +<td class="bibtexitem">
 +Elaine Pimentel, Carlos Olarte, and Vivek Nigam.
 + A proof theoretic study of soft concurrent constraint programming.
 + <em>CoRR</em>, abs/1405.2329, 2014.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/PimentelON14">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/CairesP14">CP14</a>]
 +</td>
 +<td class="bibtexitem">
 +Lui&#769s Caires and Jorge&nbsp;A. Pe&#769rez.
 + A typeful characterization of multiparty structured conversations
 +  based on binary sessions.
 + <em>CoRR</em>, abs/1407.4242, 2014.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/CairesP14">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/FalaschiOP13">FOP13</a>]
 +</td>
 +<td class="bibtexitem">
 +Moreno Falaschi, Carlos Olarte, and Catuscia Palamidessi.
 + Abstract interpretation of temporal concurrent constraint programs.
 + <em>CoRR</em>, abs/1312.2552, 2013.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/FalaschiOP13">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/CatanoRW13">CRW13</a>]
 +</td>
 +<td class="bibtexitem">
 +Ne&#769stor Cata&ntilde;o, Camilo Rueda, and Tim Wahls.
 + A machine-checked proof for a translation of event-b machines to
 +  JML.
 + <em>CoRR</em>, abs/1309.2339, 2013.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/CatanoRW13">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +
 +
 +
 +
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/abs-1212-1548">ABPV12b</a>]
 +</td>
 +<td class="bibtexitem">
 +Andre&#769s Aristiza&#769bal, Filippo Bonchi, Luis&nbsp;Fernando Pino,
 +  and Frank&nbsp;D. Valencia.
 + Partition refinement for bisimilarity in CCP.
 + <em>CoRR</em>, abs/1212.1548, 2012.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/abs-1212-1548">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
 +
 +
 +
 +<tr valign="top">
 +<td align="right" class="bibtexnumber">
 +[<a name="DBLP:journals/corr/abs-1011-1172">Gut10</a>]
 +</td>
 +<td class="bibtexitem">
 +Julian Gutierrez.
 + Logics and games for true concurrency.
 + <em>CoRR</em>, abs/1011.1172, 2010.
 +[&nbsp;<a href="http://dblp.org/rec/html/journals/corr/abs-1011-1172">DBLP</a>&nbsp;]
 +
 +</td>
 +</tr>
 +
 +
  
 <tr valign="top"> <tr valign="top">
 
grupos/avispa/publications_repository.txt · Última modificación: 2017/10/23 04:06 por jearias
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki