Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "author:Ignacio_Fábregas:"
@article{DBLP:journals/corr/abs-2402-00958, author = {Ignacio F{\'{a}}bregas and Miguel Palomino and David de Frutos{-}Escrig}, title = {Reflection and Preservation of Properties in Coalgebraic (bi)Simulations}, journal = {CoRR}, volume = {abs/2402.00958}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.00958}, doi = {10.48550/ARXIV.2402.00958}, eprinttype = {arXiv}, eprint = {2402.00958}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-00958.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-00962, author = {David de Frutos{-}Escrig and Miguel Palomino and Ignacio F{\'{a}}bregas}, title = {Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations}, journal = {CoRR}, volume = {abs/2402.00962}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.00962}, doi = {10.48550/ARXIV.2402.00962}, eprinttype = {arXiv}, eprint = {2402.00962}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-00962.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-00963, author = {Ignacio F{\'{a}}bregas and David de Frutos{-}Escrig and Miguel Palomino}, title = {Non-strongly Stable Orders Also Define Interesting Simulation Relations}, journal = {CoRR}, volume = {abs/2402.00963}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.00963}, doi = {10.48550/ARXIV.2402.00963}, eprinttype = {arXiv}, eprint = {2402.00963}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-00963.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-00964, author = {Ignacio F{\'{a}}bregas and David de Frutos{-}Escrig and Miguel Palomino}, title = {Logics for Contravariant Simulations}, journal = {CoRR}, volume = {abs/2402.00964}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.00964}, doi = {10.48550/ARXIV.2402.00964}, eprinttype = {arXiv}, eprint = {2402.00964}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-00964.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-00966, author = {Luca Aceto and Ignacio F{\'{a}}bregas and David de Frutos{-}Escrig and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Miguel Palomino}, title = {On the specification of modal systems: {A} comparison of three frameworks}, journal = {CoRR}, volume = {abs/2402.00966}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.00966}, doi = {10.48550/ARXIV.2402.00966}, eprinttype = {arXiv}, eprint = {2402.00966}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-00966.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-00970, author = {Luca Aceto and Dario Della Monica and Ignacio F{\'{a}}bregas and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, title = {When Are Prime Formulae Characteristic?}, journal = {CoRR}, volume = {abs/2402.00970}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.00970}, doi = {10.48550/ARXIV.2402.00970}, eprinttype = {arXiv}, eprint = {2402.00970}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-00970.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-00973, author = {Luca Aceto and Ignacio F{\'{a}}bregas and Carlos Gregorio{-}Rodr{\'{\i}}guez and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, title = {Logical characterisations, rule formats and compositionality for input-output conformance simulation}, journal = {CoRR}, volume = {abs/2402.00973}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.00973}, doi = {10.48550/ARXIV.2402.00973}, eprinttype = {arXiv}, eprint = {2402.00973}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-00973.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-00982, author = {Luca Aceto and Ignacio F{\'{a}}bregas and {\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Yolanda Ortega{-}Mall{\'{e}}n}, title = {Rule Formats for Nominal Process Calculi}, journal = {CoRR}, volume = {abs/2402.00982}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.00982}, doi = {10.48550/ARXIV.2402.00982}, eprinttype = {arXiv}, eprint = {2402.00982}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-00982.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-02847, author = {Luca Aceto and Ignacio F{\'{a}}bregas and {\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, title = {A unified rule format for bounded nondeterminism in {SOS} with terms as labels}, journal = {CoRR}, volume = {abs/2402.02847}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.02847}, doi = {10.48550/ARXIV.2402.02847}, eprinttype = {arXiv}, eprint = {2402.02847}, timestamp = {Mon, 12 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-02847.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/FarkaN0DF21, author = {Frantisek Farka and Aleksandar Nanevski and Anindya Banerjee and Germ{\'{a}}n Andr{\'{e}}s Delbianco and Ignacio F{\'{a}}bregas}, title = {On algebraic abstractions for concurrent separation logics}, journal = {Proc. {ACM} Program. Lang.}, volume = {5}, number = {{POPL}}, pages = {1--32}, year = {2021}, url = {https://doi.org/10.1145/3434286}, doi = {10.1145/3434286}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/FarkaN0DF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-12686, author = {Frantisek Farka and Aleksandar Nanevski and Anindya Banerjee and Germ{\'{a}}n Andr{\'{e}}s Delbianco and Ignacio F{\'{a}}bregas}, title = {On Algebraic Abstractions for Concurrent Separation Logics}, journal = {CoRR}, volume = {abs/2010.12686}, year = {2020}, url = {https://arxiv.org/abs/2010.12686}, eprinttype = {arXiv}, eprint = {2010.12686}, timestamp = {Mon, 02 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-12686.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/AcetoFGI19, author = {Luca Aceto and Ignacio F{\'{a}}bregas and Carlos Gregorio{-}Rodr{\'{\i}}guez and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, title = {Logical characterisations, rule formats and compositionality for input-output conformance simulation}, journal = {J. Log. Algebraic Methods Program.}, volume = {106}, pages = {78--106}, year = {2019}, url = {https://doi.org/10.1016/j.jlamp.2019.04.005}, doi = {10.1016/J.JLAMP.2019.04.005}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/AcetoFGI19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/AcetoFGIO19, author = {Luca Aceto and Ignacio F{\'{a}}bregas and {\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Yolanda Ortega{-}Mall{\'{e}}n}, title = {Rule Formats for Nominal Process Calculi}, journal = {Log. Methods Comput. Sci.}, volume = {15}, number = {4}, year = {2019}, url = {https://doi.org/10.23638/LMCS-15(4:2)2019}, doi = {10.23638/LMCS-15(4:2)2019}, timestamp = {Sat, 07 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lmcs/AcetoFGIO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Nanevski0DF19, author = {Aleksandar Nanevski and Anindya Banerjee and Germ{\'{a}}n Andr{\'{e}}s Delbianco and Ignacio F{\'{a}}bregas}, title = {Specifying concurrent programs in separation logic: morphisms and simulations}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{OOPSLA}}, pages = {161:1--161:30}, year = {2019}, url = {https://doi.org/10.1145/3360587}, doi = {10.1145/3360587}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/Nanevski0DF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AcetoMFI19, author = {Luca Aceto and Dario Della Monica and Ignacio F{\'{a}}bregas and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, title = {When are prime formulae characteristic?}, journal = {Theor. Comput. Sci.}, volume = {777}, pages = {3--31}, year = {2019}, url = {https://doi.org/10.1016/j.tcs.2018.12.004}, doi = {10.1016/J.TCS.2018.12.004}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AcetoMFI19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-07136, author = {Aleksandar Nanevski and Anindya Banerjee and Germ{\'{a}}n Andr{\'{e}}s Delbianco and Ignacio F{\'{a}}bregas}, title = {Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations}, journal = {CoRR}, volume = {abs/1904.07136}, year = {2019}, url = {http://arxiv.org/abs/1904.07136}, eprinttype = {arXiv}, eprint = {1904.07136}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-07136.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1807-02081, author = {Luca Aceto and Ignacio F{\'{a}}bregas and {\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Yolanda Ortega{-}Mall{\'{e}}n}, title = {Rule Formats for Nominal Process Calculi}, journal = {CoRR}, volume = {abs/1807.02081}, year = {2018}, url = {http://arxiv.org/abs/1807.02081}, eprinttype = {arXiv}, eprint = {1807.02081}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1807-02081.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/AcetoFGI17, author = {Luca Aceto and Ignacio F{\'{a}}bregas and {\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, title = {A unified rule format for bounded nondeterminism in {SOS} with terms as labels}, journal = {J. Log. Algebraic Methods Program.}, volume = {92}, pages = {64--86}, year = {2017}, url = {https://doi.org/10.1016/j.jlamp.2017.03.002}, doi = {10.1016/J.JLAMP.2017.03.002}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/AcetoFGI17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/AcetoFGIO17, author = {Luca Aceto and Ignacio F{\'{a}}bregas and {\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Yolanda Ortega{-}Mall{\'{e}}n}, editor = {Roland Meyer and Uwe Nestmann}, title = {Rule Formats for Nominal Process Calculi}, booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017, September 5-8, 2017, Berlin, Germany}, series = {LIPIcs}, volume = {85}, pages = {10:1--10:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.10}, doi = {10.4230/LIPICS.CONCUR.2017.10}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/AcetoFGIO17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/AcetoFGI17, author = {Luca Aceto and Ignacio F{\'{a}}bregas and Carlos Gregorio{-}Rodr{\'{\i}}guez and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, editor = {Bernhard Steffen and Christel Baier and Mark van den Brand and Johann Eder and Mike Hinchey and Tiziana Margaria}, title = {Logical Characterisations and Compositionality of Input-Output Conformance Simulation}, booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10139}, pages = {37--48}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-51963-0\_4}, doi = {10.1007/978-3-319-51963-0\_4}, timestamp = {Sun, 02 Oct 2022 16:15:51 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/AcetoFGI17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/AcetoMFI15, author = {Luca Aceto and Dario Della Monica and Ignacio F{\'{a}}bregas and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, editor = {Giuseppe F. Italiano and Giovanni Pighizzini and Donald Sannella}, title = {When Are Prime Formulae Characteristic?}, booktitle = {Mathematical Foundations of Computer Science 2015 - 40th International Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9234}, pages = {76--88}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-48057-1\_6}, doi = {10.1007/978-3-662-48057-1\_6}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/AcetoMFI15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/AcetoFFIP13, author = {Luca Aceto and Ignacio F{\'{a}}bregas and David de Frutos{-}Escrig and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Miguel Palomino}, title = {On the specification of modal systems: {A} comparison of three frameworks}, journal = {Sci. Comput. Program.}, volume = {78}, number = {12}, pages = {2468--2487}, year = {2013}, url = {https://doi.org/10.1016/j.scico.2013.02.004}, doi = {10.1016/J.SCICO.2013.02.004}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/AcetoFFIP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsen/AcetoFFIP11, author = {Luca Aceto and Ignacio F{\'{a}}bregas and David de Frutos{-}Escrig and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Miguel Palomino}, editor = {Farhad Arbab and Marjan Sirjani}, title = {Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations}, booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference, {FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7141}, pages = {268--283}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-29320-7\_18}, doi = {10.1007/978-3-642-29320-7\_18}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsen/AcetoFFIP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1108-4464, author = {Luca Aceto and Ignacio F{\'{a}}bregas and David de Frutos{-}Escrig and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Miguel Palomino}, editor = {Bas Luttik and Frank Valencia}, title = {Graphical representation of covariant-contravariant modal formulae}, booktitle = {Proceedings 18th International Workshop on Expressiveness in Concurrency, {EXPRESS} 2011, Aachen, Germany, 5th September 2011}, series = {{EPTCS}}, volume = {64}, pages = {1--15}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.64.1}, doi = {10.4204/EPTCS.64.1}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1108-4464.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/FabregasFP10, author = {Ignacio F{\'{a}}bregas and David de Frutos{-}Escrig and Miguel Palomino}, editor = {John Hatcliff and Elena Zucca}, title = {Logics for Contravariant Simulations}, booktitle = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1 International Conference, {FORTE} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6117}, pages = {224--231}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13464-7\_18}, doi = {10.1007/978-3-642-13464-7\_18}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/FabregasFP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1008-2108, author = {Ignacio F{\'{a}}bregas and David de Frutos{-}Escrig and Miguel Palomino}, editor = {Luca Aceto and Pawel Sobocinski}, title = {Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics}, booktitle = {Proceedings Seventh Workshop on Structural Operational Semantics, {SOS} 2010, Paris, France, 30 August 2010}, series = {{EPTCS}}, volume = {32}, pages = {1--14}, year = {2010}, url = {https://doi.org/10.4204/EPTCS.32.1}, doi = {10.4204/EPTCS.32.1}, timestamp = {Tue, 21 Apr 2020 10:56:16 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1008-2108.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/FabregasFP09, author = {Ignacio F{\'{a}}bregas and David de Frutos{-}Escrig and Miguel Palomino}, editor = {Alexander Kurz and Marina Lenisa and Andrzej Tarlecki}, title = {Non-strongly Stable Orders Also Define Interesting Simulation Relations}, booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference, {CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5728}, pages = {221--235}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03741-2\_16}, doi = {10.1007/978-3-642-03741-2\_16}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/calco/FabregasFP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Frutos-EscrigPF08, author = {David de Frutos{-}Escrig and Miguel Palomino and Ignacio F{\'{a}}bregas}, editor = {Kenji Suzuki and Teruo Higashino and Keiichi Yasumoto and Khaled El{-}Fakih}, title = {Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations}, booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE} 2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5048}, pages = {283--298}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68855-6\_18}, doi = {10.1007/978-3-540-68855-6\_18}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/Frutos-EscrigPF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/FabregasPF07, author = {Ignacio F{\'{a}}bregas and Miguel Palomino and David de Frutos{-}Escrig}, editor = {Cliff B. Jones and Zhiming Liu and Jim Woodcock}, title = {Reflection and Preservation of Properties in Coalgebraic (bi)Simulations}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4711}, pages = {231--245}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75292-9\_16}, doi = {10.1007/978-3-540-75292-9\_16}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ictac/FabregasPF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.