default search action
Search dblp for Publications
export results for "formal idea"
@article{DBLP:journals/argcom/CaminadaHS22, author = {Martin Caminada and Sri Harikrishnan and Samy S{\'{a}}}, title = {Comparing logic programming and formal argumentation; the case of ideal and eager semantics}, journal = {Argument Comput.}, volume = {13}, number = {1}, pages = {93--120}, year = {2022}, url = {https://doi.org/10.3233/AAC-200528}, doi = {10.3233/AAC-200528}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/argcom/CaminadaHS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tib/Lobo22, author = {Carlos Lobo}, title = {The limits of the mathematization of the living and the idea of formal morphology of the living world following Husserlian phenomenology}, journal = {Theory Biosci.}, volume = {141}, number = {2}, pages = {175--202}, year = {2022}, url = {https://doi.org/10.1007/s12064-021-00348-4}, doi = {10.1007/S12064-021-00348-4}, timestamp = {Tue, 28 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tib/Lobo22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/clei/SilveiraBCL22, author = {Adri{\'{a}}n Silveira and Gustavo Betarte and Maximiliano Cristi{\'{a}} and Carlos Luna}, title = {An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol}, booktitle = {{XLVIII} Latin American Computer Conference, {CLEI} 2022, Armenia, Colombia, October 17-21, 2022}, pages = {1--10}, year = {2022}, crossref = {DBLP:conf/clei/2022}, url = {https://doi.org/10.1109/CLEI56649.2022.9959925}, doi = {10.1109/CLEI56649.2022.9959925}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/clei/SilveiraBCL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ideas/GuyotGLC22, author = {Alexis Guyot and Annabelle Gillet and {\'{E}}ric Leclercq and Nadine Cullot}, title = {A Formal Framework for Data Lakes Based on Category Theory}, booktitle = {IDEAS'22: International Database Engineered Applications Symposium, Budapest, Hungary, August 22 - 24, 2022}, pages = {75--83}, year = {2022}, crossref = {DBLP:conf/ideas/2022}, url = {https://doi.org/10.1145/3548785.3548797}, doi = {10.1145/3548785.3548797}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ideas/GuyotGLC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Watase21a, author = {Yasushige Watase}, title = {On Primary Ideals. Part {I}}, journal = {Formaliz. Math.}, volume = {29}, number = {2}, pages = {95--101}, year = {2021}, url = {https://doi.org/10.2478/forma-2021-0010}, doi = {10.2478/FORMA-2021-0010}, timestamp = {Tue, 11 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fm/Watase21a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijim/AlkhatibJ21, author = {Asma'a S. Alkhatib and Suhair A. Jaradat}, title = {The Impact of Blended Learning using the Ideas Box on the Motivation for Learning Among Non-formal Syrian Female Refugee Students in Jordan}, journal = {Int. J. Interact. Mob. Technol.}, volume = {15}, number = {11}, pages = {81}, year = {2021}, url = {https://doi.org/10.3991/ijim.v15i11.21961}, doi = {10.3991/IJIM.V15I11.21961}, timestamp = {Tue, 09 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijim/AlkhatibJ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Haffner21, author = {Emmylou Haffner}, title = {The Shaping of Dedekind's Rigorous Mathematics: What Do Dedekind's Drafts Tell Us about His Ideal of Rigor?}, journal = {Notre Dame J. Formal Log.}, volume = {62}, number = {1}, year = {2021}, url = {https://doi.org/10.1215/00294527-2021-0001}, doi = {10.1215/00294527-2021-0001}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ndjfl/Haffner21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/ChodounskyZ20, author = {David Chodounsk{\'{y}} and Jindrich Zapletal}, title = {Ideals and Their Generic Ultrafilters}, journal = {Notre Dame J. Formal Log.}, volume = {61}, number = {3}, pages = {403--408}, year = {2020}, url = {https://doi.org/10.1215/00294527-2020-0012}, doi = {10.1215/00294527-2020-0012}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/ChodounskyZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/GaborL20, author = {Thomas Gabor and Claudia Linnhoff{-}Popien}, title = {A Formal Model for Reasoning About the Ideal Fitness in Evolutionary Processes}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {II}}, pages = {473--490}, year = {2020}, crossref = {DBLP:conf/isola/2020-2}, url = {https://doi.org/10.1007/978-3-030-61470-6\_28}, doi = {10.1007/978-3-030-61470-6\_28}, timestamp = {Wed, 28 Oct 2020 11:39:03 +0100}, biburl = {https://dblp.org/rec/conf/isola/GaborL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/AsperoHKM19, author = {David Asper{\'{o}} and Tapani Hyttinen and Vadim Kulikov and Miguel Moreno}, title = {Reducibility of Equivalence Relations Arising from Nonstationary Ideals under Large Cardinal Assumptions}, journal = {Notre Dame J. Formal Log.}, volume = {60}, number = {4}, pages = {665--682}, year = {2019}, url = {https://doi.org/10.1215/00294527-2019-0024}, doi = {10.1215/00294527-2019-0024}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/AsperoHKM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ideal/VatianTOEBRTSG19, author = {Aleksandra Vatian and Anna Tatarinova and Svyatoslav Osipov and Nikolai Egorov and Vitalii Boitsov and Elena Ryngach and Tatiana Treshkur and Anatoly Shalyto and Natalia F. Gusarova}, title = {Retrieving and Processing Information from Clinical Algorithm via Formal Concept Analysis}, booktitle = {Intelligent Data Engineering and Automated Learning - {IDEAL} 2019 - 20th International Conference, Manchester, UK, November 14-16, 2019, Proceedings, Part {I}}, pages = {166--174}, year = {2019}, crossref = {DBLP:conf/ideal/2019-1}, url = {https://doi.org/10.1007/978-3-030-33607-3\_19}, doi = {10.1007/978-3-030-33607-3\_19}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ideal/VatianTOEBRTSG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ideas/JoshaghaniBSM19, author = {Rezvan Joshaghani and Stacy Black and Elena Sherman and Hoda Mehrpouyan}, title = {Formal specification and verification of user-centric privacy policies for ubiquitous systems}, booktitle = {Proceedings of the 23rd International Database Applications {\&} Engineering Symposium, {IDEAS} 2019, Athens, Greece, June 10-12, 2019}, pages = {31:1--31:10}, year = {2019}, crossref = {DBLP:conf/ideas/2019}, url = {https://doi.org/10.1145/3331076.3331105}, doi = {10.1145/3331076.3331105}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ideas/JoshaghaniBSM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Seldin18, author = {Jonathan P. Seldin}, title = {Formalism and Structuralism, a Synthesis: the Philosophical Ideas of H. B. Curry}, journal = {{FLAP}}, volume = {5}, number = {6}, pages = {1301--1306}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00026.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Seldin18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/Okhotin18, author = {Alexander Okhotin}, title = {Underlying Principles and Recurring Ideas of Formal Grammars}, booktitle = {Language and Automata Theory and Applications - 12th International Conference, {LATA} 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings}, pages = {36--59}, year = {2018}, crossref = {DBLP:conf/lata/2018}, url = {https://doi.org/10.1007/978-3-319-77313-1\_3}, doi = {10.1007/978-3-319-77313-1\_3}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lata/Okhotin18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/SiqueiraSS17, author = {F{\'{a}}bio Levy Siqueira and Thiago C. de Sousa and Paulo S{\'{e}}rgio Muniz Silva}, title = {Using {BDD} and {SBVR} to Refine Business Goals into an Event-B Model: {A} Research Idea}, booktitle = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017}, pages = {31--36}, year = {2017}, crossref = {DBLP:conf/icse/2017formalise}, url = {https://doi.org/10.1109/FormaliSE.2017.5}, doi = {10.1109/FORMALISE.2017.5}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/SiqueiraSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispec/MinagarSL17, author = {Sepehr Minagar and Balasubramaniam Srinivasan and Phu Dung Le}, title = {A Formal Model for an Ideal {CFI}}, booktitle = {Information Security Practice and Experience - 13th International Conference, {ISPEC} 2017, Melbourne, VIC, Australia, December 13-15, 2017, Proceedings}, pages = {707--726}, year = {2017}, crossref = {DBLP:conf/ispec/2017}, url = {https://doi.org/10.1007/978-3-319-72359-4\_44}, doi = {10.1007/978-3-319-72359-4\_44}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/ispec/MinagarSL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/Yao16, author = {Yiyu Yao}, title = {Rough-set concept analysis: Interpreting RS-definable concepts based on ideas from formal concept analysis}, journal = {Inf. Sci.}, volume = {346-347}, pages = {442--462}, year = {2016}, url = {https://doi.org/10.1016/j.ins.2016.01.091}, doi = {10.1016/J.INS.2016.01.091}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isci/Yao16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jetai/AlsinetBGG16, author = {Teresa Alsinet and Ram{\'{o}}n B{\'{e}}jar and Llu{\'{\i}}s Godo and Francesc Guitart}, title = {Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming}, journal = {J. Exp. Theor. Artif. Intell.}, volume = {28}, number = {1-2}, pages = {275--294}, year = {2016}, url = {https://doi.org/10.1080/0952813X.2015.1024490}, doi = {10.1080/0952813X.2015.1024490}, timestamp = {Fri, 05 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jetai/AlsinetBGG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icis/SeeberWDMVMM16, author = {Isabella Seeber and Lena Waizenegger and Lukas Demetz and Alexander Benedikt Merz and Gert{-}Jan de Vreede and Ronald Maier}, title = {IT-Supported Formal Control: How Perceptual (in)Congruence Affects the Convergence of Crowd-Sourced Ideas}, booktitle = {Proceedings of the International Conference on Information Systems - Digital Innovation at the Crossroads, {ICIS} 2016, Dublin, Ireland, December 11-14, 2016}, year = {2016}, crossref = {DBLP:conf/icis/2016}, url = {http://aisel.aisnet.org/icis2016/HumanBehavior/Presentations/17}, timestamp = {Tue, 23 May 2017 13:25:25 +0200}, biburl = {https://dblp.org/rec/conf/icis/SeeberWDMVMM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/FilliatreP16, author = {Jean{-}Christophe Filli{\^{a}}tre and M{\'{a}}rio Pereira}, title = {Producing All Ideals of a Forest, Formally (Verification Pearl)}, booktitle = {Verified Software. Theories, Tools, and Experiments - 8th International Conference, {VSTTE} 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers}, pages = {46--55}, year = {2016}, crossref = {DBLP:conf/vstte/2016}, url = {https://doi.org/10.1007/978-3-319-48869-1\_4}, doi = {10.1007/978-3-319-48869-1\_4}, timestamp = {Wed, 25 Sep 2019 18:03:08 +0200}, biburl = {https://dblp.org/rec/conf/vstte/FilliatreP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nafips/Kreinovich15, author = {Vladik Kreinovich}, title = {Formalizing the informal, precisiating the imprecise: How fuzzy logic can help mathematicians and physicists by formalizing their intuitive ideas}, booktitle = {2015 Annual Conference of the North American Fuzzy Information Processing Society {(NAFIPS)} held jointly with 2015 5th World Conference on Soft Computing (WConSC), Redmond, WA, USA, August 17-19, 2015}, pages = {1}, year = {2015}, crossref = {DBLP:conf/nafips/2015}, url = {https://doi.org/10.1109/NAFIPS-WConSC.2015.7284119}, doi = {10.1109/NAFIPS-WCONSC.2015.7284119}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/nafips/Kreinovich15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/sfsc/KoshelevaRK15, author = {Olga Kosheleva and Renata Reiser and Vladik Kreinovich}, title = {Formalizing the Informal, Precisiating the Imprecise: How Fuzzy Logic Can Help Mathematicians and Physicists by Formalizing Their Intuitive Ideas}, booktitle = {Towards the Future of Fuzzy Logic}, pages = {301--321}, year = {2015}, crossref = {DBLP:series/sfsc/2015-325}, url = {https://doi.org/10.1007/978-3-319-18750-1\_14}, doi = {10.1007/978-3-319-18750-1\_14}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/sfsc/KoshelevaRK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Bancerek14, author = {Grzegorz Bancerek}, title = {Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm}, journal = {Formaliz. Math.}, volume = {22}, number = {1}, pages = {37--56}, year = {2014}, url = {https://doi.org/10.2478/forma-2014-0005}, doi = {10.2478/FORMA-2014-0005}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Bancerek14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/Grabowski13c, author = {Adam Grabowski}, title = {Prime Filters and Ideals in Distributive Lattices}, journal = {Formaliz. Math.}, volume = {21}, number = {3}, pages = {213--221}, year = {2013}, url = {https://doi.org/10.2478/forma-2013-0023}, doi = {10.2478/FORMA-2013-0023}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/Grabowski13c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mima/Angius13, author = {Nicola Angius}, title = {Abstraction and Idealization in the Formal Verification of Software Systems}, journal = {Minds Mach.}, volume = {23}, number = {2}, pages = {211--226}, year = {2013}, url = {https://doi.org/10.1007/s11023-012-9289-8}, doi = {10.1007/S11023-012-9289-8}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mima/Angius13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cscl/WeibertA13, author = {Anne Weibert and Konstantin Aal}, title = {When Ideas Learn How to Fly: Children at the Intersection of Formal and Informal Learning Settings}, booktitle = {10th International Conference on Computer-Supported Collaborative Learning, {CSCL} 2013, Conference Proceedings, Volume 2: Short Papers, Panels, Posters, Demos {\&} Community Events, June 15-19, 2013, Madison, WI, {USA}}, pages = {377--378}, year = {2013}, crossref = {DBLP:conf/cscl/2013-2}, url = {https://repository.isls.org/handle/1/1923}, timestamp = {Tue, 27 Apr 2021 17:12:45 +0200}, biburl = {https://dblp.org/rec/conf/cscl/WeibertA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/types/BartheBCCL13, author = {Gilles Barthe and Gustavo Betarte and Juan Diego Campo and Jes{\'{u}}s Mauricio Chimento and Carlos Luna}, title = {Formally Verified Implementation of an Idealized Model of Virtualization}, booktitle = {19th International Conference on Types for Proofs and Programs, {TYPES} 2013, April 22-26, 2013, Toulouse, France}, pages = {45--63}, year = {2013}, crossref = {DBLP:conf/types/2013}, url = {https://doi.org/10.4230/LIPIcs.TYPES.2013.45}, doi = {10.4230/LIPICS.TYPES.2013.45}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/types/BartheBCCL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/websci/Debruyne13, author = {Christophe Debruyne}, title = {The Relation between a Framework for Collaborative Ontology Engineering and Nicola Guarino's Terminology and Ideas in "Formal Ontology and Information Systems"}, booktitle = {Proceedings of the 1st International {IFIP} Working Conference on Value-Driven Social Semantics {\&} Collective Intelligence co-located with the 5th Annual {ACM} Web Science Conference (WebSci 2013), Paris, France, May 1, 2013}, pages = {34--44}, year = {2013}, crossref = {DBLP:conf/websci/2013vasco}, url = {https://ceur-ws.org/Vol-1357/paper4.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:02 +0100}, biburl = {https://dblp.org/rec/conf/websci/Debruyne13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lu/Dufatanye12, author = {Aimable{-}Andr{\'{e}} Dufatanye}, title = {From the Logical Square to Blanch{\'{e}}'s Hexagon: Formalization, Applicability and the Idea of the Normative Structure of Thought}, journal = {Logica Universalis}, volume = {6}, number = {1-2}, pages = {45--67}, year = {2012}, url = {https://doi.org/10.1007/s11787-012-0040-2}, doi = {10.1007/S11787-012-0040-2}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lu/Dufatanye12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Cox12, author = {Sean Cox}, title = {{PFA} and Ideals on {\(\omega\)}\({}_{\mbox{2}}\) Whose Associated Forcings Are Proper}, journal = {Notre Dame J. Formal Log.}, volume = {53}, number = {3}, pages = {397--412}, year = {2012}, url = {https://doi.org/10.1215/00294527-1716793}, doi = {10.1215/00294527-1716793}, timestamp = {Wed, 21 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ndjfl/Cox12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/sfsc/Termini12b, author = {Settimo Termini}, title = {Concepts, Theories, and Applications: The Role of "Experimentation" (and "Context") for Formalizing New Ideas along Innovative Avenues}, booktitle = {Combining Experimentation and Theory - {A} Hommage to Abe Mamdani}, pages = {359--370}, year = {2012}, crossref = {DBLP:series/sfsc/TrillasBMK12}, url = {https://doi.org/10.1007/978-3-642-24666-1\_24}, doi = {10.1007/978-3-642-24666-1\_24}, timestamp = {Tue, 16 May 2017 14:24:26 +0200}, biburl = {https://dblp.org/rec/series/sfsc/Termini12b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijcm/MoraGEC11, author = {{\'{A}}ngel Mora and Inmaculada Perez de Guzm{\'{a}}n and Manuel Enciso and Pablo Cordero}, title = {Ideal non-deterministic operators as a formal framework to reduce the key finding problem}, journal = {Int. J. Comput. Math.}, volume = {88}, number = {9}, pages = {1860--1868}, year = {2011}, url = {https://doi.org/10.1080/00207160.2010.484488}, doi = {10.1080/00207160.2010.484488}, timestamp = {Fri, 23 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijcm/MoraGEC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/BartheBCL11, author = {Gilles Barthe and Gustavo Betarte and Juan Diego Campo and Carlos Luna}, title = {Formally Verifying Isolation and Availability in an Idealized Model of Virtualization}, booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, pages = {231--245}, year = {2011}, crossref = {DBLP:conf/fm/2011}, url = {https://doi.org/10.1007/978-3-642-21437-0\_19}, doi = {10.1007/978-3-642-21437-0\_19}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/BartheBCL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/interact/VeerV11, author = {Gerrit C. van der Veer and Dhaval Vyas}, title = {Non-formal Techniques for Early Assessment of Design Ideas for Services}, booktitle = {Building Bridges: HCI, Visualization, and Non-formal Modeling - {IFIP} {WG} 13.7 Workshops on Human-Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers}, pages = {135--149}, year = {2011}, crossref = {DBLP:conf/interact/2011hciv}, url = {https://doi.org/10.1007/978-3-642-54894-9\_10}, doi = {10.1007/978-3-642-54894-9\_10}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/interact/VeerV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/WangLM10, author = {Xi Wang and Shaoying Liu and Huaikou Miao}, title = {A Pattern System to Support Refining Informal Ideas into Formal Expressions}, booktitle = {Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings}, pages = {662--677}, year = {2010}, crossref = {DBLP:conf/icfem/2010}, url = {https://doi.org/10.1007/978-3-642-16901-4\_43}, doi = {10.1007/978-3-642-16901-4\_43}, timestamp = {Thu, 17 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/WangLM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jns/Munnier09, author = {Alexandre Munnier}, title = {Locomotion of Deformable Bodies in an Ideal Fluid: Newtonian versus Lagrangian Formalisms}, journal = {J. Nonlinear Sci.}, volume = {19}, number = {6}, pages = {665--715}, year = {2009}, url = {https://doi.org/10.1007/s00332-009-9047-0}, doi = {10.1007/S00332-009-9047-0}, timestamp = {Fri, 05 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jns/Munnier09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ideas/BelussiCP09, author = {Alberto Belussi and Carlo Combi and Gabriele Pozzani}, title = {Formal and conceptual modeling of spatio-temporal granularities}, booktitle = {International Database Engineering and Applications Symposium {(IDEAS} 2009), September 16-18, 2009, Cetraro, Calabria, Italy}, pages = {275--283}, year = {2009}, crossref = {DBLP:conf/ideas/2009}, url = {https://doi.org/10.1145/1620432.1620462}, doi = {10.1145/1620432.1620462}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ideas/BelussiCP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/CorderoMGE08, author = {Pablo Cordero and {\'{A}}ngel Mora and Inman P. de Guzm{\'{a}}n and Manuel Enciso}, title = {Non-deterministic ideal operators: An adequate tool for formalization in Data Bases}, journal = {Discret. Appl. Math.}, volume = {156}, number = {6}, pages = {911--923}, year = {2008}, url = {https://doi.org/10.1016/j.dam.2007.02.014}, doi = {10.1016/J.DAM.2007.02.014}, timestamp = {Fri, 23 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dam/CorderoMGE08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fm/WuD08, author = {Chenglong Wu and Yuzhong Ding}, title = {Ideals of BCI-algebras and their Properties}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {109--114}, year = {2008}, url = {https://doi.org/10.2478/v10037-008-0016-0}, doi = {10.2478/V10037-008-0016-0}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fm/WuD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icassp/Thao07, author = {Nguyen T. Thao}, title = {Formal Spectral Theory for Ideal Sigma-Delta Quantization with Stationary Time-Varying Inputs}, booktitle = {Proceedings of the {IEEE} International Conference on Acoustics, Speech, and Signal Processing, {ICASSP} 2007, Honolulu, Hawaii, USA, April 15-20, 2007}, pages = {1481--1484}, year = {2007}, crossref = {DBLP:conf/icassp/2007}, url = {https://doi.org/10.1109/ICASSP.2007.367128}, doi = {10.1109/ICASSP.2007.367128}, timestamp = {Mon, 22 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icassp/Thao07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eumas/DavidSC06, author = {Nuno David and Jaime Sim{\~{a}}o Sichman and Helder Coelho}, title = {Simulation as Formal and Generative Social Science: The Very Idea}, booktitle = {Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, Lisbon, Portugal, December 14-15, 2006}, year = {2006}, crossref = {DBLP:conf/eumas/2006}, url = {https://ceur-ws.org/Vol-223/8.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:57 +0100}, biburl = {https://dblp.org/rec/conf/eumas/DavidSC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Eisworth05, author = {Todd Eisworth}, title = {On Ideals Related to \emph{I}[{\(\lambda\)}]}, journal = {Notre Dame J. Formal Log.}, volume = {46}, number = {3}, pages = {301--307}, year = {2005}, url = {https://doi.org/10.1305/ndjfl/1125409328}, doi = {10.1305/NDJFL/1125409328}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Eisworth05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Ishiu05, author = {Tetsuya Ishiu}, title = {A Tail Club Guessing Ideal Can Be Saturated without Being a Restriction of the Nonstationary Ideal}, journal = {Notre Dame J. Formal Log.}, volume = {46}, number = {3}, pages = {327--333}, year = {2005}, url = {https://doi.org/10.1305/ndjfl/1125409331}, doi = {10.1305/NDJFL/1125409331}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Ishiu05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsvis/FurnissDPZ05, author = {Dominic Furniss and Alan J. Dix and Christophe Ponsard and Guo{-}Qiang Zhang}, title = {Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations}, booktitle = {Interactive Systems, Design, Specification, and Verification, 12th International Workshop, {DSVIS} 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers}, pages = {265}, year = {2005}, crossref = {DBLP:conf/dsvis/2005}, url = {https://doi.org/10.1007/11752707\_25}, doi = {10.1007/11752707\_25}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/dsvis/FurnissDPZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adhs/MorvanCBR03, author = {C{\'{e}}cile Morvan and Herv{\'{e}} Cormerais and Jean Buisson and Pierre{-}Yves Richard}, title = {Bond Graph Formalism and Linear Complementarity Problem for Hybrid Systems with Ideal Diodes}, booktitle = {{IFAC} Conference on Analysis and Design of Hybrid Systems, 2003, St Malo, Brittany, France, June 16-18, 2003}, pages = {211--216}, year = {2003}, crossref = {DBLP:conf/adhs/2003}, url = {https://doi.org/10.1016/S1474-6670(17)36433-9}, doi = {10.1016/S1474-6670(17)36433-9}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adhs/MorvanCBR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Berry02, author = {Daniel M. Berry}, title = {Formal methods: the very idea - Some thoughts about why they work when they work}, journal = {Sci. Comput. Program.}, volume = {42}, number = {1}, pages = {11--27}, year = {2002}, url = {https://doi.org/10.1016/S0167-6423(01)00026-0}, doi = {10.1016/S0167-6423(01)00026-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Berry02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dexaw/Mathuria02, author = {Anish Mathuria}, title = {Using a Formal Technique for Protocol Idealization: {A} Cautionary Note}, booktitle = {13th International Workshop on Database and Expert Systems Applications {(DEXA} 2002), 2-6 September 2002, Aix-en-Provence, France}, pages = {468--472}, year = {2002}, crossref = {DBLP:conf/dexaw/2002}, url = {https://doi.org/10.1109/DEXA.2002.1045942}, doi = {10.1109/DEXA.2002.1045942}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dexaw/Mathuria02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ideas/DeoB00, author = {Annalisa Di Deo and Dmitri Boulanger}, title = {A Formal Background to Build Constraint Objects}, booktitle = {2000 International Database Engineering and Applications Symposium, {IDEAS} 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings}, pages = {7--15}, year = {2000}, crossref = {DBLP:conf/ideas/2000}, url = {https://doi.org/10.1109/IDEAS.2000.880557}, doi = {10.1109/IDEAS.2000.880557}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ideas/DeoB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/Lanet00, author = {Jean{-}Louis Lanet}, title = {Are Smart Cards the Ideal Domain for Applying Formal Methods?}, booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First International Conference of {B} and {Z} Users, York, UK, August 29 - September 2, 2000, Proceedings}, pages = {363--373}, year = {2000}, crossref = {DBLP:conf/zum/2000}, url = {https://doi.org/10.1007/3-540-44525-0\_21}, doi = {10.1007/3-540-44525-0\_21}, timestamp = {Thu, 14 Oct 2021 10:43:56 +0200}, biburl = {https://dblp.org/rec/conf/zum/Lanet00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Koshelev98, author = {Misha Koshelev}, title = {Towards the Use of Aesthetics in Decision Making: Kolmogorov Complexity Formalizes Birkhoff's Idea}, journal = {Bull. {EATCS}}, volume = {66}, pages = {166--170}, year = {1998}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Koshelev98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/synthese/Wybraniec-Skardowska98, author = {Urszula Wybraniec{-}Skardowska}, title = {Logical and Philosophical Ideas in Certain Formal Approaches to Language}, journal = {Synth.}, volume = {116}, number = {2}, pages = {231--277}, year = {1998}, url = {https://doi.org/10.1023/A:1005098325137}, doi = {10.1023/A:1005098325137}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/synthese/Wybraniec-Skardowska98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ideas/OunisP98, author = {Iadh Ounis and Marius Pasca}, title = {A Promising Retrieval Algorithm for Systems Based on the Conceptual Graphs Formalism}, booktitle = {Proceedings of the 1998 International Database Engineering and Applications Symposium, {IDEAS} 1998, Cardiff, Wales, UK, July 8-10, 1998}, pages = {121--130}, year = {1998}, crossref = {DBLP:conf/ideas/1998}, url = {https://doi.org/10.1109/IDEAS.1998.694366}, doi = {10.1109/IDEAS.1998.694366}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ideas/OunisP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Berry99, author = {Daniel M. Berry}, title = {Formal Methods: The Very Idea Some Thoughts About Why They Work When They Work}, booktitle = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation for Computer Basesd Systems, Carmel, California, USA, October 23-26, 1998}, pages = {10--22}, year = {1998}, crossref = {DBLP:conf/monterey/1998}, url = {https://doi.org/10.1016/S1571-0661(04)00127-6}, doi = {10.1016/S1571-0661(04)00127-6}, timestamp = {Wed, 23 Nov 2022 16:14:20 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Berry99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ideas/EhikioyaB97, author = {Sylvanus A. Ehikioya and Ken Barker}, title = {A Formal Specification Strategy for Electronic Commerce}, booktitle = {Proceedings of the International Database Engineering and Applications Symposium, {IDEAS} 1997, Concordia University, Montreal, Canada, August 25-27, 1997}, pages = {201--210}, year = {1997}, crossref = {DBLP:conf/ideas/1997}, url = {https://doi.org/10.1109/IDEAS.1997.625676}, doi = {10.1109/IDEAS.1997.625676}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ideas/EhikioyaB97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Leary94, author = {Christopher C. Leary}, title = {The Structure of Pleasant Ideals}, journal = {Notre Dame J. Formal Log.}, volume = {35}, number = {2}, pages = {292--298}, year = {1994}, url = {https://doi.org/10.1305/ndjfl/1094061866}, doi = {10.1305/NDJFL/1094061866}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Leary94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Leary91, author = {Christopher C. Leary}, title = {Pleasant Ideals}, journal = {Notre Dame J. Formal Log.}, volume = {32}, number = {4}, pages = {612--617}, year = {1991}, url = {https://doi.org/10.1305/ndjfl/1093635933}, doi = {10.1305/NDJFL/1093635933}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Leary91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Marker90, author = {David Marker}, title = {Enumerations of Turing Ideals with Applications}, journal = {Notre Dame J. Formal Log.}, volume = {31}, number = {4}, pages = {509--514}, year = {1990}, url = {https://doi.org/10.1305/ndjfl/1093635587}, doi = {10.1305/NDJFL/1093635587}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Marker90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Larsen90, author = {Kim Guldstrand Larsen}, title = {Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ..}, booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings}, pages = {33--56}, year = {1990}, crossref = {DBLP:conf/concur/1990}, url = {https://doi.org/10.1007/BFb0039050}, doi = {10.1007/BFB0039050}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/Larsen90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Kreisel87, author = {Georg Kreisel}, title = {Church's thesis and the ideal of informal rigour}, journal = {Notre Dame J. Formal Log.}, volume = {28}, number = {4}, pages = {499--519}, year = {1987}, url = {https://doi.org/10.1305/ndjfl/1093637646}, doi = {10.1305/NDJFL/1093637646}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Kreisel87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Jech81, author = {Thomas Jech}, title = {On the number of generators of an ideal}, journal = {Notre Dame J. Formal Log.}, volume = {22}, number = {2}, pages = {105--108}, year = {1981}, url = {https://doi.org/10.1305/ndjfl/1093883394}, doi = {10.1305/NDJFL/1093883394}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Jech81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Hickman78c, author = {John L. Hickman}, title = {The ideal of orderable subsets of a set}, journal = {Notre Dame J. Formal Log.}, volume = {19}, number = {4}, pages = {593--598}, year = {1978}, url = {https://doi.org/10.1305/ndjfl/1093888506}, doi = {10.1305/NDJFL/1093888506}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Hickman78c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Goldstein72, author = {Marie Goldstein}, title = {The historical development of group theoretical ideas in connection with Euclid's axiom of congruence}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {331--349}, year = {1972}, url = {https://doi.org/10.1305/ndjfl/1093890620}, doi = {10.1305/NDJFL/1093890620}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Goldstein72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/clei/2022, title = {{XLVIII} Latin American Computer Conference, {CLEI} 2022, Armenia, Colombia, October 17-21, 2022}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/CLEI56649.2022}, doi = {10.1109/CLEI56649.2022}, isbn = {978-1-6654-7671-3}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/clei/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ideas/2022, editor = {Bipin C. Desai and Peter Z. Revesz}, title = {IDEAS'22: International Database Engineered Applications Symposium, Budapest, Hungary, August 22 - 24, 2022}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3548785}, doi = {10.1145/3548785}, isbn = {978-1-4503-9709-4}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/ideas/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/isola/2020-2, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12477}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-61470-6}, doi = {10.1007/978-3-030-61470-6}, isbn = {978-3-030-61469-0}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/isola/2020-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ideal/2019-1, editor = {Hujun Yin and David Camacho and Peter Ti{\~{n}}o and Antonio J. Tall{\'{o}}n{-}Ballesteros and Ronaldo Menezes and Richard Allmendinger}, title = {Intelligent Data Engineering and Automated Learning - {IDEAL} 2019 - 20th International Conference, Manchester, UK, November 14-16, 2019, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11871}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-33607-3}, doi = {10.1007/978-3-030-33607-3}, isbn = {978-3-030-33606-6}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/ideal/2019-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ideas/2019, editor = {Bipin C. Desai and Dimosthenis Anagnostopoulos and Yannis Manolopoulos and Mara Nikolaidou}, title = {Proceedings of the 23rd International Database Applications {\&} Engineering Symposium, {IDEAS} 2019, Athens, Greece, June 10-12, 2019}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3331076}, doi = {10.1145/3331076}, isbn = {978-1-4503-6249-8}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/ideas/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lata/2018, editor = {Shmuel Tomi Klein and Carlos Mart{\'{\i}}n{-}Vide and Dana Shapira}, title = {Language and Automata Theory and Applications - 12th International Conference, {LATA} 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10792}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-77313-1}, doi = {10.1007/978-3-319-77313-1}, isbn = {978-3-319-77312-4}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/lata/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icse/2017formalise, title = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017}, publisher = {{IEEE}}, year = {2017}, url = {https://ieeexplore.ieee.org/xpl/conhome/7965807/proceeding}, isbn = {978-1-5386-0422-9}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/icse/2017formalise.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ispec/2017, editor = {Joseph K. Liu and Pierangela Samarati}, title = {Information Security Practice and Experience - 13th International Conference, {ISPEC} 2017, Melbourne, VIC, Australia, December 13-15, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10701}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-72359-4}, doi = {10.1007/978-3-319-72359-4}, isbn = {978-3-319-72358-7}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/ispec/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icis/2016, editor = {P{\"{a}}r J. {\AA}gerfalk and Natalia Levina and Sia Siew Kien}, title = {Proceedings of the International Conference on Information Systems - Digital Innovation at the Crossroads, {ICIS} 2016, Dublin, Ireland, December 11-14, 2016}, publisher = {Association for Information Systems}, year = {2016}, url = {http://aisel.aisnet.org/icis2016/}, isbn = {978-0-9966831-3-5}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/icis/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vstte/2016, editor = {Sandrine Blazy and Marsha Chechik}, title = {Verified Software. Theories, Tools, and Experiments - 8th International Conference, {VSTTE} 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9971}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-48869-1}, doi = {10.1007/978-3-319-48869-1}, isbn = {978-3-319-48868-4}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/vstte/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/nafips/2015, title = {2015 Annual Conference of the North American Fuzzy Information Processing Society {(NAFIPS)} held jointly with 2015 5th World Conference on Soft Computing (WConSC), Redmond, WA, USA, August 17-19, 2015}, publisher = {{IEEE}}, year = {2015}, url = {https://ieeexplore.ieee.org/xpl/conhome/7270533/proceeding}, isbn = {978-1-4673-7248-0}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/nafips/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/sfsc/2015-325, editor = {Rudolf Seising and Enric Trillas and Janusz Kacprzyk}, title = {Towards the Future of Fuzzy Logic}, series = {Studies in Fuzziness and Soft Computing}, volume = {325}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-18750-1}, doi = {10.1007/978-3-319-18750-1}, isbn = {978-3-319-18749-5}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/series/sfsc/2015-325.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cscl/2013-2, editor = {Nikol Rummel and Manu Kapur and Mitchell J. Nathan and Sadhana Puntambekar}, title = {10th International Conference on Computer-Supported Collaborative Learning, {CSCL} 2013, Conference Proceedings, Volume 2: Short Papers, Panels, Posters, Demos {\&} Community Events, June 15-19, 2013, Madison, WI, {USA}}, publisher = {International Society of the Learning Sciences, LuLu, Amazon}, year = {2013}, url = {https://repository.isls.org/handle/1/1765}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/cscl/2013-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/types/2013, editor = {Ralph Matthes and Aleksy Schubert}, title = {19th International Conference on Types for Proofs and Programs, {TYPES} 2013, April 22-26, 2013, Toulouse, France}, series = {LIPIcs}, volume = {26}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2014}, isbn = {978-3-939897-72-9}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/types/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/websci/2013vasco, editor = {Pieter De Leenheer and John G. Breslin and Harith Alani and Ricard Ruiz De Querol and Karolin Eva Kappler}, title = {Proceedings of the 1st International {IFIP} Working Conference on Value-Driven Social Semantics {\&} Collective Intelligence co-located with the 5th Annual {ACM} Web Science Conference (WebSci 2013), Paris, France, May 1, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1357}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1357}, urn = {urn:nbn:de:0074-1357-1}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/websci/2013vasco.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/sfsc/TrillasBMK12, editor = {Enric Trillas and Piero P. Bonissone and Luis Magdalena and Janusz Kacprzyk}, title = {Combining Experimentation and Theory - {A} Hommage to Abe Mamdani}, series = {Studies in Fuzziness and Soft Computing}, volume = {271}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-24666-1}, doi = {10.1007/978-3-642-24666-1}, isbn = {978-3-642-24665-4}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/series/sfsc/TrillasBMK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fm/2011, editor = {Michael J. Butler and Wolfram Schulte}, title = {{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6664}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21437-0}, doi = {10.1007/978-3-642-21437-0}, isbn = {978-3-642-21436-3}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/fm/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/interact/2011hciv, editor = {Achim Ebert and Gerrit C. van der Veer and Gitta Domik and Nahum D. Gershon and Inga Scheler}, title = {Building Bridges: HCI, Visualization, and Non-formal Modeling - {IFIP} {WG} 13.7 Workshops on Human-Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8345}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54894-9}, doi = {10.1007/978-3-642-54894-9}, isbn = {978-3-642-54893-2}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/interact/2011hciv.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icfem/2010, editor = {Jin Song Dong and Huibiao Zhu}, title = {Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6447}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16901-4}, doi = {10.1007/978-3-642-16901-4}, isbn = {978-3-642-16900-7}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/icfem/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ideas/2009, editor = {Bipin C. Desai and Domenico Sacc{\`{a}} and Sergio Greco}, title = {International Database Engineering and Applications Symposium {(IDEAS} 2009), September 16-18, 2009, Cetraro, Calabria, Italy}, series = {{ACM} International Conference Proceeding Series}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1620432}, doi = {10.1145/1620432}, isbn = {978-1-60558-402-7}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/ideas/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icassp/2007, title = {Proceedings of the {IEEE} International Conference on Acoustics, Speech, and Signal Processing, {ICASSP} 2007, Honolulu, Hawaii, USA, April 15-20, 2007}, publisher = {{IEEE}}, year = {2007}, url = {https://ieeexplore.ieee.org/xpl/conhome/4216989/proceeding}, isbn = {1-4244-0727-3}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/icassp/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/eumas/2006, editor = {Barbara Dunin{-}Keplicz and Andrea Omicini and Julian A. Padget}, title = {Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, Lisbon, Portugal, December 14-15, 2006}, series = {{CEUR} Workshop Proceedings}, volume = {223}, publisher = {CEUR-WS.org}, year = {2006}, url = {https://ceur-ws.org/Vol-223}, urn = {urn:nbn:de:0074-223-5}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/eumas/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dsvis/2005, editor = {Stephen W. Gilroy and Michael D. Harrison}, title = {Interactive Systems, Design, Specification, and Verification, 12th International Workshop, {DSVIS} 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3941}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11752707}, doi = {10.1007/11752707}, isbn = {3-540-34145-5}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/dsvis/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/adhs/2003, editor = {Sebastian Engell and Herv{\'{e}} Gu{\'{e}}guen and Janan Zaytoon}, title = {{IFAC} Conference on Analysis and Design of Hybrid Systems, 2003, St Malo, Brittany, France, June 16-18, 2003}, series = {{IFAC} Proceedings Volumes}, volume = {36}, number = {6}, publisher = {Elsevier}, year = {2003}, url = {https://www.sciencedirect.com/journal/ifac-proceedings-volumes/vol/36/issue/6}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/adhs/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dexaw/2002, title = {13th International Workshop on Database and Expert Systems Applications {(DEXA} 2002), 2-6 September 2002, Aix-en-Provence, France}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://ieeexplore.ieee.org/xpl/conhome/8104/proceeding}, isbn = {0-7695-1668-8}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/dexaw/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ideas/2000, editor = {Bipin C. Desai and Yasushi Kiyoki and Motomichi Toyama}, title = {2000 International Database Engineering and Applications Symposium, {IDEAS} 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://ieeexplore.ieee.org/xpl/conhome/7062/proceeding}, isbn = {0-7695-0789-1}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/ideas/2000.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/zum/2000, editor = {Jonathan P. Bowen and Steve Dunne and Andy Galloway and Steve King}, title = {{ZB} 2000: Formal Specification and Development in {Z} and B, First International Conference of {B} and {Z} Users, York, UK, August 29 - September 2, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1878}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44525-0}, doi = {10.1007/3-540-44525-0}, isbn = {3-540-67944-8}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/zum/2000.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ideas/1998, editor = {Barry Eaglestone and Bipin C. Desai and Jianhua Shao}, title = {Proceedings of the 1998 International Database Engineering and Applications Symposium, {IDEAS} 1998, Cardiff, Wales, UK, July 8-10, 1998}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://ieeexplore.ieee.org/xpl/conhome/5670/proceeding}, isbn = {0-8186-8307-4}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/ideas/1998.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/monterey/1998, editor = {Luqi and Manfred Broy}, title = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation for Computer Basesd Systems, Carmel, California, USA, October 23-26, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {25}, publisher = {Elsevier}, year = {1999}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/25/suppl/C}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/monterey/1998.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ideas/1997, title = {Proceedings of the International Database Engineering and Applications Symposium, {IDEAS} 1997, Concordia University, Montreal, Canada, August 25-27, 1997}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://ieeexplore.ieee.org/xpl/conhome/4947/proceeding}, isbn = {0-8186-8114-4}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/ideas/1997.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/concur/1990, editor = {Jos C. M. Baeten and Jan Willem Klop}, title = {{CONCUR} '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {458}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0039045}, doi = {10.1007/BFB0039045}, isbn = {3-540-53048-7}, timestamp = {Sun, 13 Oct 2024 17:32:10 +0200}, biburl = {https://dblp.org/rec/conf/concur/1990.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.