BibTeX records: Nik Swoboda

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics