Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Nik Swoboda
@inproceedings{DBLP:conf/iticse/MenasalvasMS19, author = {Ernestina Menasalvas and Ana Mar{\'{\i}}a Moreno and Nik Swoboda}, editor = {Bruce Scharlau and Roger McDermott and Arnold Pears and Mihaela Sabin}, title = {A Proposal for Recognizing Skills in Data Science Using Open Badges}, booktitle = {Proceedings of the 2019 {ACM} Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019}, pages = {316}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3304221.3325561}, doi = {10.1145/3304221.3325561}, timestamp = {Tue, 16 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iticse/MenasalvasMS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cogsci/FayWSUFKG18, author = {Nicolas Fay and Bradley Walker and Nik Swoboda and Ichiro Umata and Takugo Fukaya and Yasuhiro Katagiri and Simon Garrod}, title = {Universal Principles of Human Communication: Preliminary Evidence From a Cross-cultural Communication Game}, journal = {Cogn. Sci.}, volume = {42}, number = {7}, pages = {2397--2413}, year = {2018}, url = {https://doi.org/10.1111/cogs.12664}, doi = {10.1111/COGS.12664}, timestamp = {Thu, 04 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cogsci/FayWSUFKG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cogsci/FayWS17, author = {Nicolas Fay and Bradley Walker and Nik Swoboda}, editor = {Glenn Gunzelmann and Andrew Howes and Thora Tenbrink and Eddy J. Davelaar}, title = {Deconstructing Social Interaction: The Complimentary Roles of Behaviour Alignment and Partner Feedback to the Creation of Shared Symbols}, booktitle = {Proceedings of the 39th Annual Meeting of the Cognitive Science Society, CogSci 2017, London, UK, 16-29 July 2017}, publisher = {cognitivesciencesociety.org}, year = {2017}, url = {https://mindmodeling.org/cogsci2017/papers/0381/index.html}, timestamp = {Wed, 17 Apr 2024 12:43:29 +0200}, biburl = {https://dblp.org/rec/conf/cogsci/FayWS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/Barker-PlummerSM14, author = {Dave Barker{-}Plummer and Nik Swoboda and Michael D. Murray}, editor = {Tim Dwyer and Helen C. Purchase and Aidan J. Delaney}, title = {An Example HyperVenn Proof}, booktitle = {Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8578}, pages = {51--53}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44043-8\_8}, doi = {10.1007/978-3-662-44043-8\_8}, timestamp = {Thu, 19 Mar 2020 14:25:23 +0100}, biburl = {https://dblp.org/rec/conf/diagrams/Barker-PlummerSM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/Barker-PlummerEMPS12, author = {Dave Barker{-}Plummer and John Etchemendy and Michael D. Murray and Emma Pease and Nik Swoboda}, editor = {Philip T. Cox and Beryl Plimmer and Peter J. Rodgers}, title = {Learning to Use the Openbox: {A} Framework for the Implementation of Heterogeneous Reasoning}, booktitle = {Diagrammatic Representation and Inference - 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7352}, pages = {3}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31223-6\_2}, doi = {10.1007/978-3-642-31223-6\_2}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/Barker-PlummerEMPS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/Barker-PlummerS11, author = {Dave Barker{-}Plummer and Nik Swoboda}, title = {Reasoning with coincidence grids - {A} sequent-based logic and an analysis of complexity}, journal = {J. Vis. Lang. Comput.}, volume = {22}, number = {1}, pages = {56--65}, year = {2011}, url = {https://doi.org/10.1016/j.jvlc.2010.11.006}, doi = {10.1016/J.JVLC.2010.11.006}, timestamp = {Fri, 09 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlc/Barker-PlummerS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigcse/SwobodaBBL11, author = {Nik Swoboda and Juan Bekios{-}Calfa and Luis Baumela and Javier de Lope}, editor = {Thomas J. Cortina and Ellen Lowenfeld Walker and Laurie A. Smith King and David R. Musicant}, title = {An introduction to {AI} course with guide robot programming assignments}, booktitle = {Proceedings of the 42nd {ACM} technical symposium on Computer science education, {SIGCSE} 2011, Dallas, TX, USA, March 9-12, 2011}, pages = {231--236}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1953163.1953231}, doi = {10.1145/1953163.1953231}, timestamp = {Wed, 10 Mar 2021 13:17:16 +0100}, biburl = {https://dblp.org/rec/conf/sigcse/SwobodaBBL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cogsci/FayGRS10, author = {Nicolas Fay and Simon Garrod and Leo Roberts and Nik Swoboda}, title = {The Interactive Evolution of Human Communication Systems}, journal = {Cogn. Sci.}, volume = {34}, number = {3}, pages = {351--386}, year = {2010}, url = {https://doi.org/10.1111/j.1551-6709.2009.01090.x}, doi = {10.1111/J.1551-6709.2009.01090.X}, timestamp = {Thu, 04 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cogsci/FayGRS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/Barker-PlummerELMS08, author = {Dave Barker{-}Plummer and John Etchemendy and Albert Liu and Michael D. Murray and Nik Swoboda}, editor = {Gem Stapleton and John Howse and John Lee}, title = {Openproof - {A} Flexible Framework for Heterogeneous Reasoning}, booktitle = {Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5223}, pages = {347--349}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87730-1\_32}, doi = {10.1007/978-3-540-87730-1\_32}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/Barker-PlummerELMS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cogsci/HealeySUK07, author = {Patrick G. T. Healey and Nik Swoboda and Ichiro Umata and James King}, title = {Graphical Language Games: Interactional Constraints on Representational Form}, journal = {Cogn. Sci.}, volume = {31}, number = {2}, pages = {285--309}, year = {2007}, url = {https://doi.org/10.1080/15326900701221363}, doi = {10.1080/15326900701221363}, timestamp = {Thu, 04 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cogsci/HealeySUK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/otm/VazquezS07, author = {Ruben Vazquez and Nik Swoboda}, editor = {Robert Meersman and Zahir Tari}, title = {Combining the Semantic Web with the Web as Background Knowledge for Ontology Mapping}, booktitle = {On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, {OTM} Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and {IS} 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {4803}, pages = {814--831}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76848-7\_55}, doi = {10.1007/978-3-540-76848-7\_55}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/otm/VazquezS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vl/Barker-PlummerS07, author = {Dave Barker{-}Plummer and Nik Swoboda}, editor = {Philip T. Cox and Andrew Fish and John Howse}, title = {A Sequent Based Logic for Coincidence Grids}, booktitle = {Proceedings of the {VLL} 2007 workshop on Visual Languages and Logic in Coeur d'Al{\'{e}}ne, Idaho, USA, 23rd September 2007 as part of the 2007 {IEEE} Symposium on Visual Languages and Human Centric Computing {VL/HCC} 07}, series = {{CEUR} Workshop Proceedings}, volume = {274}, pages = {1--12}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-274/paper1.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:19 +0100}, biburl = {https://dblp.org/rec/conf/vl/Barker-PlummerS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/diagrams/2006, editor = {Dave Barker{-}Plummer and Richard Cox and Nik Swoboda}, title = {Diagrammatic Representation and Inference, 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4045}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11783183}, doi = {10.1007/11783183}, isbn = {3-540-35623-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/SwobodaA04, author = {Nik Swoboda and Gerard Allwein}, title = {Using {DAG} transformations to verify Euler/Venn homogeneous and Euler/Venn {FOL} heterogeneous rules of inference}, journal = {Softw. Syst. Model.}, volume = {3}, number = {2}, pages = {136--149}, year = {2004}, url = {https://doi.org/10.1007/s10270-003-0044-8}, doi = {10.1007/S10270-003-0044-8}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/SwobodaA04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/HealeyKS04, author = {Patrick G. T. Healey and James King and Nik Swoboda}, editor = {Alan F. Blackwell and Kim Marriott and Atsushi Shimojima}, title = {Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction}, booktitle = {Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2980}, pages = {286--300}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-25931-2\_28}, doi = {10.1007/978-3-540-25931-2\_28}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/HealeyKS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/FaySFUK04, author = {Nicolas Fay and Nik Swoboda and Takugo Fukaya and Ichiro Umata and Yasuhiro Katagiri}, editor = {Alan F. Blackwell and Kim Marriott and Atsushi Shimojima}, title = {Using Graphics to Communicate Across Cultures}, booktitle = {Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2980}, pages = {347--350}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-25931-2\_36}, doi = {10.1007/978-3-540-25931-2\_36}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/diagrams/FaySFUK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SwobodaA05, author = {Nik Swoboda and Gerard Allwein}, editor = {Peter Rodgers}, title = {Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and {FOL}}, booktitle = {Proceedings of the First International Workshop on Euler Diagrams, Euler 2004, Brighton, UK, September 22-23, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {134}, pages = {153--187}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.02.023}, doi = {10.1016/J.ENTCS.2005.02.023}, timestamp = {Thu, 15 Dec 2022 13:49:53 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SwobodaA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijmms/HealeySUK02, author = {Patrick G. T. Healey and Nik Swoboda and Ichiro Umata and Yasuhiro Katagiri}, title = {Graphical representation in graphical dialogue}, journal = {Int. J. Hum. Comput. Stud.}, volume = {57}, number = {4}, pages = {375--395}, year = {2002}, url = {https://doi.org/10.1006/ijhc.2002.1022}, doi = {10.1006/IJHC.2002.1022}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijmms/HealeySUK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ki/SwobodaT02, author = {Nik Swoboda and J. Gregory Trafton}, title = {Diagrams 2002}, journal = {K{\"{u}}nstliche Intell.}, volume = {16}, number = {4}, pages = {45}, year = {2002}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ki/SwobodaT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/HealeySK02, author = {Patrick G. T. Healey and Nik Swoboda and James King}, editor = {Mary Hegarty and Bernd Meyer and N. Hari Narayanan}, title = {An Environment for Conducting and Analysing Graphical Communication Experiments}, booktitle = {Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2317}, pages = {103--105}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-46037-3\_12}, doi = {10.1007/3-540-46037-3\_12}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/HealeySK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/SwobodaA02, author = {Nik Swoboda and Gerard Allwein}, editor = {Mary Hegarty and Bernd Meyer and N. Hari Narayanan}, title = {Modeling Heterogeneous Systems}, booktitle = {Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2317}, pages = {131--145}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-46037-3\_17}, doi = {10.1007/3-540-46037-3\_17}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/SwobodaA02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SwobodaA03, author = {Nik Swoboda and Gerard Allwein}, editor = {Paolo Bottoni and Mark Minas}, title = {Using {DAG} Transformations to Verify Euler/Venn Homogeneous and Euler/Venn {FOL} Heterogeneous Rules of Inference}, booktitle = {International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {72}, number = {3}, pages = {78--92}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80613-3}, doi = {10.1016/S1571-0661(04)80613-3}, timestamp = {Tue, 13 Dec 2022 10:53:16 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SwobodaA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/02/Swoboda02, author = {Nik Swoboda}, editor = {Michael Anderson and Bernd Meyer and Patrick Olivier}, title = {Implementing Euler/Venn Reasoning Systems}, booktitle = {Diagrammatic Representation and Reasoning}, pages = {371--386}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-1-4471-0109-3\_21}, doi = {10.1007/978-1-4471-0109-3\_21}, timestamp = {Thu, 18 Jun 2020 16:53:07 +0200}, biburl = {https://dblp.org/rec/books/sp/02/Swoboda02.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.