Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ionut Tutu
@inproceedings{DBLP:conf/adt/Tutu22,
author = {Ionut Tutu},
editor = {Alexandre Madeira and
Manuel A. Martins},
title = {SpeX: {A} Rewriting-Based Formal Specification Environment},
booktitle = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13710},
pages = {163--178},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-43345-0\_8},
doi = {10.1007/978-3-031-43345-0\_8},
timestamp = {Tue, 24 Oct 2023 15:45:06 +0200},
biburl = {https://dblp.org/rec/conf/adt/Tutu22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/TutuCF21,
author = {Ionut Tutu and
Claudia Elena Chirita and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Dynamic Reconfiguration via Typed Modalities},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {599--615},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_32},
doi = {10.1007/978-3-030-90870-6\_32},
timestamp = {Thu, 11 Nov 2021 16:19:19 +0100},
biburl = {https://dblp.org/rec/conf/fm/TutuCF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FiadeiroTLP19,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ionut Tutu and
Ant{\'{o}}nia Lopes and
Dusko Pavlovic},
title = {Logics for Actor Networks: {A} two-stage constrained-hybridisation
approach},
journal = {J. Log. Algebraic Methods Program.},
volume = {106},
pages = {141--166},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.05.001},
doi = {10.1016/J.JLAMP.2019.05.001},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/FiadeiroTLP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/TutuCLF19,
author = {Ionut Tutu and
Claudia Elena Chirita and
Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {Logical Support for Bike-Sharing System Design},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
pages = {152--171},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_10},
doi = {10.1007/978-3-030-30985-5\_10},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/TutuCLF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GainaT19,
author = {Daniel G{\^{a}}in{\^{a}} and
Ionut Tutu},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Birkhoff Completeness for Hybrid-Dynamic First-Order Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {277--293},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_16},
doi = {10.1007/978-3-030-29026-9\_16},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/GainaT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/2018,
editor = {Jos{\'{e}} Luiz Fiadeiro and
Ionut Tutu},
title = {Recent Trends in Algebraic Development Techniques - 24th {IFIP} {WG}
1.3 International Workshop, {WADT} 2018, Egham, UK, July 2-5, 2018,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11563},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23220-7},
doi = {10.1007/978-3-030-23220-7},
isbn = {978-3-030-23219-1},
timestamp = {Wed, 26 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-04146,
author = {Daniel G{\^{a}}in{\^{a}} and
Ionut Tutu},
title = {Horn Clauses in Hybrid-Dynamic First-Order Logic},
journal = {CoRR},
volume = {abs/1905.04146},
year = {2019},
url = {http://arxiv.org/abs/1905.04146},
eprinttype = {arXiv},
eprint = {1905.04146},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-04146.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/GainaTR18,
author = {Daniel G{\^{a}}in{\^{a}} and
Ionut Tutu and
Adri{\'{a}}n Riesco},
title = {Specification and Verification of Invariant Properties of Transition
Systems},
booktitle = {25th Asia-Pacific Software Engineering Conference, {APSEC} 2018, Nara,
Japan, December 4-7, 2018},
pages = {99--108},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/APSEC.2018.00024},
doi = {10.1109/APSEC.2018.00024},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/GainaTR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/TutuF17,
author = {Ionut Tutu and
Jos{\'{e}} Luiz Fiadeiro},
title = {From conventional to institution-independent logic programming},
journal = {J. Log. Comput.},
volume = {27},
number = {6},
pages = {1679--1716},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv021},
doi = {10.1093/LOGCOM/EXV021},
timestamp = {Mon, 18 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/TutuF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/FiadeiroTLP17,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ionut Tutu and
Ant{\'{o}}nia Lopes and
Dusko Pavlovic},
editor = {Alexandre Madeira and
Mario R. F. Benevides},
title = {Logics for Actor Networks: {A} Case Study in Constrained Hybridization
- {A} Case Study in Constrained Hybridization},
booktitle = {Dynamic Logic. New Trends and Applications - First International Workshop,
{DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10669},
pages = {98--114},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-73579-5\_7},
doi = {10.1007/978-3-319-73579-5\_7},
timestamp = {Sat, 19 Oct 2019 20:06:19 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/FiadeiroTLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Tutu15,
author = {Ionut Tutu},
title = {Institution-independent logic programming},
school = {Royal Holloway, University of London, Egham, {UK}},
year = {2015},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.792381},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Tutu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TutuF15,
author = {Ionut Tutu and
Jos{\'{e}} Luiz Fiadeiro},
title = {Service-Oriented Logic Programming},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {3},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(3:3)2015},
doi = {10.2168/LMCS-11(3:3)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TutuF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/TutuF15,
author = {Ionut Tutu and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Lawrence S. Moss and
Pawel Sobocinski},
title = {Revisiting the Institutional Approach to Herbrand's Theorem},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2015, June 24-26, 2015, Nijmegen, The Netherlands},
series = {LIPIcs},
volume = {35},
pages = {304--319},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.304},
doi = {10.4230/LIPICS.CALCO.2015.304},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/conf/calco/TutuF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/2014,
editor = {Mihai Codescu and
Razvan Diaconescu and
Ionut Tutu},
title = {Recent Trends in Algebraic Development Techniques - 22nd International
Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9463},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28114-8},
doi = {10.1007/978-3-319-28114-8},
isbn = {978-3-319-28113-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DiaconescuT14,
author = {Razvan Diaconescu and
Ionut Tutu},
title = {Foundations for structuring behavioural specifications},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {3-4},
pages = {319--338},
year = {2014},
url = {https://doi.org/10.1016/j.jlamp.2014.03.001},
doi = {10.1016/J.JLAMP.2014.03.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DiaconescuT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Tutu14,
author = {Ionut Tutu},
title = {Parameterisation for abstract structured specifications},
journal = {Theor. Comput. Sci.},
volume = {517},
pages = {102--142},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.11.008},
doi = {10.1016/J.TCS.2013.11.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Tutu14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/VissaniPTF14,
author = {Ignacio Vissani and
Carlos Gustavo L{\'{o}}pez Pombo and
Ionut Tutu and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Mihai Codescu and
Razvan Diaconescu and
Ionut Tutu},
title = {A Full Operational Semantics for Asynchronous Relational Networks},
booktitle = {Recent Trends in Algebraic Development Techniques - 22nd International
Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9463},
pages = {131--150},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-28114-8\_8},
doi = {10.1007/978-3-319-28114-8\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/VissaniPTF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Tutu13,
author = {Ionut Tutu},
title = {Comorphisms of structured institutions},
journal = {Inf. Process. Lett.},
volume = {113},
number = {22-24},
pages = {894--900},
year = {2013},
url = {https://doi.org/10.1016/j.ipl.2013.09.003},
doi = {10.1016/J.IPL.2013.09.003},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Tutu13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/TutuF13,
author = {Ionut Tutu and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Reiko Heckel and
Stefan Milius},
title = {A Logic-Programming Semantics of Services},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
{CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8089},
pages = {299--313},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_22},
doi = {10.1007/978-3-642-40206-7\_22},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/TutuF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsw/Tutu13,
author = {Ionut Tutu},
editor = {Andrew V. Jones and
Nicholas Ng},
title = {Logical Foundations of Services},
booktitle = {2013 Imperial College Computing Student Workshop, {ICCSW} 2013, September
26/27, 2013, London, United Kingdom},
series = {OASIcs},
volume = {35},
pages = {111--118},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2013},
url = {https://doi.org/10.4230/OASIcs.ICCSW.2013.111},
doi = {10.4230/OASICS.ICCSW.2013.111},
timestamp = {Tue, 15 Feb 2022 09:40:03 +0100},
biburl = {https://dblp.org/rec/conf/iccsw/Tutu13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DiaconescuT11,
author = {Razvan Diaconescu and
Ionut Tutu},
title = {On the algebra of structured specifications},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {28},
pages = {3145--3174},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.04.008},
doi = {10.1016/J.TCS.2011.04.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DiaconescuT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-2381,
author = {Radu Gramatovici and
Ionut Tutu},
title = {A methodological approach on the architectural development of integrated
e-learning systems},
journal = {CoRR},
volume = {abs/1007.2381},
year = {2010},
url = {http://arxiv.org/abs/1007.2381},
eprinttype = {arXiv},
eprint = {1007.2381},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-2381.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 18:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
