default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Job Zwiers
@article{DBLP:journals/aamas/WelbergenRZ13,
author = {Herwin van Welbergen and
Dennis Reidsma and
Job Zwiers},
title = {Multimodal plan representation for adaptable {BML} scheduling},
journal = {Auton. Agents Multi Agent Syst.},
volume = {27},
number = {2},
pages = {305--327},
year = {2013},
url = {https://doi.org/10.1007/s10458-012-9217-6},
doi = {10.1007/S10458-012-9217-6},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/WelbergenRZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/HeylenAMPRRZ11,
author = {Dirk Heylen and
Rieks op den Akker and
Mark ter Maat and
Paolo Petta and
Stefan Rank and
Dennis Reidsma and
Job Zwiers},
title = {On the Nature of Engineering Social Artificial Companions},
journal = {Appl. Artif. Intell.},
volume = {25},
number = {6},
pages = {549--574},
year = {2011},
url = {https://doi.org/10.1080/08839514.2011.587156},
doi = {10.1080/08839514.2011.587156},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aai/HeylenAMPRRZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iva/ReidsmaWZ11,
author = {Dennis Reidsma and
Herwin van Welbergen and
Job Zwiers},
editor = {Hannes H{\"{o}}gni Vilhj{\'{a}}lmsson and
Stefan Kopp and
Stacy Marsella and
Kristinn R. Th{\'{o}}risson},
title = {Multimodal Plan Representation for Adaptable {BML} Scheduling},
booktitle = {Intelligent Virtual Agents - 11th International Conference, {IVA}
2011, Reykjavik, Iceland, September 15-17, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6895},
pages = {296--308},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23974-8\_32},
doi = {10.1007/978-3-642-23974-8\_32},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iva/ReidsmaWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iva/ZwiersWR11,
author = {Job Zwiers and
Herwin van Welbergen and
Dennis Reidsma},
editor = {Hannes H{\"{o}}gni Vilhj{\'{a}}lmsson and
Stefan Kopp and
Stacy Marsella and
Kristinn R. Th{\'{o}}risson},
title = {Continuous Interaction within the {SAIBA} Framework},
booktitle = {Intelligent Virtual Agents - 11th International Conference, {IVA}
2011, Reykjavik, Iceland, September 15-17, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6895},
pages = {324--330},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23974-8\_35},
doi = {10.1007/978-3-642-23974-8\_35},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iva/ZwiersWR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cost/DijkZAKHHN10,
author = {Betsy van Dijk and
Job Zwiers and
Rieks op den Akker and
Olga A. Kulyk and
Hendri Hondorp and
Dennis Hofs and
Anton Nijholt},
editor = {Anna Esposito and
Antonietta Maria Esposito and
Raffaele Martone and
Vincent C. M{\"{u}}ller and
Gaetano Scarpetta},
title = {Conveying Directional Gaze Cues to Support Remote Participation in
Hybrid Meetings},
booktitle = {Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces.
Theoretical and Practical Issues - Third {COST} 2102 International
Training School, Caserta, Italy, March 15-19, 2010, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6456},
pages = {412--428},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18184-9\_36},
doi = {10.1007/978-3-642-18184-9\_36},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cost/DijkZAKHHN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/GurkokPZ10,
author = {Hayrettin G{\"{u}}rk{\"{o}}k and
Mannes Poel and
Job Zwiers},
title = {Classifying motor imagery in presence of speech},
booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2010, Barcelona,
Spain, 18-23 July, 2010},
pages = {1--8},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/IJCNN.2010.5595733},
doi = {10.1109/IJCNN.2010.5595733},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/GurkokPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwec/LaarNZ10,
author = {Bram van de Laar and
Anton Nijholt and
Job Zwiers},
editor = {Hyun Seung Yang and
Rainer Malaka and
Junichi Hoshino and
Jung{-}Hyun Han},
title = {Monitoring User's Brain Activity for a Virtual Coach},
booktitle = {Entertainment Computing - {ICEC} 2010, 9th International Conference,
{ICEC} 2010, Seoul, Korea, September 8-11, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6243},
pages = {511--513},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15399-0\_76},
doi = {10.1007/978-3-642-15399-0\_76},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwec/LaarNZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/BuiZPN10,
author = {Trung H. Bui and
Job Zwiers and
Mannes Poel and
Anton Nijholt},
editor = {Robert Babuska and
Frans C. A. Groen},
title = {Affective Dialogue Management Using Factored POMDPs},
booktitle = {Interactive Collaborative Information Systems},
series = {Studies in Computational Intelligence},
volume = {281},
pages = {207--236},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11688-9\_8},
doi = {10.1007/978-3-642-11688-9\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sci/BuiZPN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgtools/WelbergenZR09,
author = {Herwin van Welbergen and
Job Zwiers and
Zs{\'{o}}fia Ruttkay},
title = {Real-Time Animation Using a Mix of Physical Simulation and Kinematics},
journal = {J. Graphics, GPU, {\&} Game Tools},
volume = {14},
number = {4},
pages = {1--21},
year = {2009},
url = {https://doi.org/10.1080/2151237X.2009.10129288},
doi = {10.1080/2151237X.2009.10129288},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jgtools/WelbergenZR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmui/WelbergenRRZ09,
author = {Herwin van Welbergen and
Dennis Reidsma and
Zs{\'{o}}fia Ruttkay and
Job Zwiers},
title = {Elckerlyc},
journal = {J. Multimodal User Interfaces},
volume = {3},
number = {4},
pages = {271--284},
year = {2009},
url = {https://doi.org/10.1007/s12193-010-0051-3},
doi = {10.1007/S12193-010-0051-3},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jmui/WelbergenRRZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nle/BuiPNZ09,
author = {Trung H. Bui and
Mannes Poel and
Anton Nijholt and
Job Zwiers},
title = {A tractable hybrid {DDN-POMDP} approach to affective dialogue modeling
for probabilistic frame-based dialogue systems},
journal = {Nat. Lang. Eng.},
volume = {15},
number = {2},
pages = {273--307},
year = {2009},
url = {https://doi.org/10.1017/S1351324908005032},
doi = {10.1017/S1351324908005032},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nle/BuiPNZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/puc/NijholtZP09,
author = {Anton Nijholt and
Job Zwiers and
Jan Peciva},
title = {Mixed reality participants in smart meeting rooms and smart home environments},
journal = {Pers. Ubiquitous Comput.},
volume = {13},
number = {1},
pages = {85--94},
year = {2009},
url = {https://doi.org/10.1007/s00779-007-0168-x},
doi = {10.1007/S00779-007-0168-X},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/puc/NijholtZP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cost/AkkerHHAZN08,
author = {Rieks op den Akker and
Dennis Hofs and
Hendri Hondorp and
Harm op den Akker and
Job Zwiers and
Anton Nijholt},
editor = {Anna Esposito and
Robert V{\'{\i}}ch},
title = {Supporting Engagement and Floor Control in Hybrid Meetings},
booktitle = {Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions,
{COST} Action 2102 International Conference, Prague, Czech Republic,
October 15-18, 2008, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5641},
pages = {276--290},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03320-9\_26},
doi = {10.1007/978-3-642-03320-9\_26},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cost/AkkerHHAZN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ais/ReidsmaARPNHZ07,
author = {Dennis Reidsma and
Rieks op den Akker and
Rutger Rienks and
Ronald Poppe and
Anton Nijholt and
Dirk Heylen and
Job Zwiers},
title = {Virtual meeting rooms: from observation to simulation},
journal = {{AI} Soc.},
volume = {22},
number = {2},
pages = {133--144},
year = {2007},
url = {https://doi.org/10.1007/s00146-007-0129-y},
doi = {10.1007/S00146-007-0129-Y},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ais/ReidsmaARPNHZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/WassinkDZNKB06,
author = {Ingo H. C. Wassink and
Betsy van Dijk and
Job Zwiers and
Anton Nijholt and
Jorrit Kuipers and
Arnd O. Brugman},
title = {In The Truman Show: Generating Dynamic Scenarios in a Driving Simulator},
journal = {{IEEE} Intell. Syst.},
volume = {21},
number = {5},
pages = {28--32},
year = {2006},
url = {https://doi.org/10.1109/MIS.2006.97},
doi = {10.1109/MIS.2006.97},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/expert/WassinkDZNKB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/WelbergenNRZ06,
author = {Herwin van Welbergen and
Anton Nijholt and
Dennis Reidsma and
Job Zwiers},
title = {Presenting in Virtual Worlds: An Architecture for a 3D Anthropomorphic
Presenter},
journal = {{IEEE} Intell. Syst.},
volume = {21},
number = {5},
pages = {47--53},
year = {2006},
url = {https://doi.org/10.1109/MIS.2006.101},
doi = {10.1109/MIS.2006.101},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/expert/WelbergenNRZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vc/NijholtRZR06,
author = {Anton Nijholt and
Rutger Rienks and
Job Zwiers and
Dennis Reidsma},
title = {Online and off-line visualization of meeting information and meeting
support},
journal = {Vis. Comput.},
volume = {22},
number = {12},
pages = {965--976},
year = {2006},
url = {https://doi.org/10.1007/s00371-006-0041-3},
doi = {10.1007/S00371-006-0041-3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vc/NijholtRZR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iva/RuttkayZWR06,
author = {Zs{\'{o}}fia Ruttkay and
Job Zwiers and
Herwin van Welbergen and
Dennis Reidsma},
editor = {Jonathan Gratch and
Robert Michael Young and
Ruth Aylett and
Daniel Ballin and
Patrick Olivier},
title = {Towards a Reactive Virtual Trainer},
booktitle = {Intelligent Virtual Agents, 6th International Conference, {IVA} 2006,
Marina Del Rey, CA, USA, August 21-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4133},
pages = {292--303},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11821830\_24},
doi = {10.1007/11821830\_24},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iva/RuttkayZWR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aia/NijholtWZ05,
author = {Anton Nijholt and
Herwin van Welbergen and
Job Zwiers},
editor = {M. H. Hamza},
title = {Introducing an Embodied Virtual Presenter Agent in a Virtual Meeting
Room},
booktitle = {{IASTED} International Conference on Artificial Intelligence and Applications,
part of the 23rd Multi-Conference on Applied Informatics, Innsbruck,
Austria, February 14-16, 2005},
pages = {579--584},
publisher = {{IASTED/ACTA} Press},
year = {2005},
timestamp = {Mon, 17 Oct 2005 14:07:48 +0200},
biburl = {https://dblp.org/rec/conf/aia/NijholtWZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haptics/NijholtKZ05,
author = {Anton Nijholt and
Sander Kole and
Job Zwiers},
title = {Multimodal Interaction in a Haptic Environment},
booktitle = {First Joint Eurohaptics Conference and Symposium on Haptic Interfaces
for Virtual Environment and Teleoperator Systems, {WHC} 2005, Pisa,
Italy, March 18-20, 2005},
pages = {467--470},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/WHC.2005.98},
doi = {10.1109/WHC.2005.98},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haptics/NijholtKZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intetain/PoelZNJK05,
author = {Mannes Poel and
Job Zwiers and
Anton Nijholt and
Rudy Jong and
Edward Krooman},
editor = {Mark T. Maybury and
Oliviero Stock and
Wolfgang Wahlster},
title = {Drawings as Input for Handheld Game Computers},
booktitle = {Intelligent Technologies for Interactive Entertainment, First International
Conference, {INTETAIN} 2005, Madonna di Campiglio, Italy, November
30 - December 2, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3814},
pages = {114--123},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11590323\_12},
doi = {10.1007/11590323\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intetain/PoelZNJK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intetain/WelbergenNRZ05,
author = {Herwin van Welbergen and
Anton Nijholt and
Dennis Reidsma and
Job Zwiers},
editor = {Mark T. Maybury and
Oliviero Stock and
Wolfgang Wahlster},
title = {Presenting in Virtual Worlds: Towards an Architecture for a 3D Presenter
Explaining 2D-Presented Information},
booktitle = {Intelligent Technologies for Interactive Entertainment, First International
Conference, {INTETAIN} 2005, Madonna di Campiglio, Italy, November
30 - December 2, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3814},
pages = {203--212},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11590323\_21},
doi = {10.1007/11590323\_21},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intetain/WelbergenNRZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intetain/WassinkDZNKB05,
author = {Ingo H. C. Wassink and
Elisabeth M. A. G. van Dijk and
Job Zwiers and
Anton Nijholt and
Jorrit Kuipers and
Arnd O. Brugman},
editor = {Mark T. Maybury and
Oliviero Stock and
Wolfgang Wahlster},
title = {Bringing Hollywood to the Driving School: Dynamic Scenario Generation
in Simulations and Games},
booktitle = {Intelligent Technologies for Interactive Entertainment, First International
Conference, {INTETAIN} 2005, Madonna di Campiglio, Italy, November
30 - December 2, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3814},
pages = {288--292},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11590323\_36},
doi = {10.1007/11590323\_36},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intetain/WassinkDZNKB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlmi/BuiZNP05,
author = {Trung H. Bui and
Job Zwiers and
Anton Nijholt and
Mannes Poel},
editor = {Steve Renals and
Samy Bengio},
title = {Generic Dialogue Modeling for Multi-application Dialogue Systems},
booktitle = {Machine Learning for Multimodal Interaction, Second International
Workshop, {MLMI} 2005, Edinburgh, UK, July 11-13, 2005, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3869},
pages = {174--186},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11677482\_15},
doi = {10.1007/11677482\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mlmi/BuiZNP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informingscij/DijkANZ03,
author = {Betsy van Dijk and
Rieks op den Akker and
Anton Nijholt and
Job Zwiers},
title = {Navigation Assistance in Virtual Worlds},
journal = {Informing Sci. Int. J. an Emerg. Transdiscipl.},
volume = {6},
pages = {115--125},
year = {2003},
url = {https://doi.org/10.28945/519},
doi = {10.28945/519},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informingscij/DijkANZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/WeeversKBZDN03,
author = {Ivo Weevers and
Jorrit Kuipers and
Arnd O. Brugman and
Job Zwiers and
Elisabeth M. A. G. van Dijk and
Anton Nijholt},
editor = {Yang Xiang and
Brahim Chaib{-}draa},
title = {The Virtual Driving Instructor Creating Awareness in a Multiagent
System},
booktitle = {Advances in Artificial Intelligence, 16th Conference of the Canadian
Society for Computational Studies of Intelligence, {AI} 2003, Halifax,
Canada, June 11-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2671},
pages = {596--602},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44886-1\_56},
doi = {10.1007/3-540-44886-1\_56},
timestamp = {Thu, 28 Sep 2023 12:27:05 +0200},
biburl = {https://dblp.org/rec/conf/ai/WeeversKBZDN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurographics/KissNZ03,
author = {Szil{\'{a}}rd Kiss and
Anton Nijholt and
Job Zwiers},
editor = {Juli{\'{a}}n Flores and
Pedro Cano},
title = {Virtual Modelling},
booktitle = {24th Annual Conference of the European Association for Computer Graphics,
Eurographics 2003 - Posters, Granada, Spain, September 1-5, 2003},
publisher = {Eurographics Association},
year = {2003},
url = {https://doi.org/10.2312/egp.20031021},
doi = {10.2312/EGP.20031021},
timestamp = {Mon, 06 Jul 2020 17:14:21 +0200},
biburl = {https://dblp.org/rec/conf/eurographics/KissNZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/RoeverBH2001,
author = {Willem P. de Roever and
Frank S. de Boer and
Ulrich Hannemann and
Jozef Hooman and
Yassine Lakhnech and
Mannes Poel and
Job Zwiers},
title = {Concurrency Verification: Introduction to Compositional and Noncompositional
Methods},
series = {Cambridge Tracts in Theoretical Computer Science},
volume = {54},
publisher = {Cambridge University Press},
year = {2001},
isbn = {0-521-80608-9},
timestamp = {Fri, 20 Apr 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/cu/RoeverBH2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/RoeverBHHLPZ00,
author = {Willem P. de Roever and
Frank S. de Boer and
Ulrich Hannemann and
Jozef Hooman and
Yassine Lakhnech and
Mannes Poel and
Job Zwiers},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Basic Principles of a textbook on the compositional and noncompositional
verification of concurrent programs},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {3--5},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Thu, 27 Mar 2003 09:47:24 +0100},
biburl = {https://dblp.org/rec/conf/fbt/RoeverBHHLPZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/JanssenPZ99,
author = {Wil Janssen and
Mannes Poel and
Job Zwiers},
title = {The Compositional Approach to Sequential Consistency and Lazy Caching},
journal = {Distributed Comput.},
volume = {12},
number = {2-3},
pages = {105--127},
year = {1999},
url = {https://doi.org/10.1007/s004460050061},
doi = {10.1007/S004460050061},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/JanssenPZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PoelZ98,
author = {Mannes Poel and
Job Zwiers},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Synchronizing Clocked Transition Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {173--185},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055346},
doi = {10.1007/BFB0055346},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/PoelZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compos/Zwiers97,
author = {Job Zwiers},
editor = {Willem P. de Roever and
Hans Langmaack and
Amir Pnueli},
title = {Compositional Transformational Design for Concurrent Programs},
booktitle = {Compositionality: The Significant Difference, International Symposium,
COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1536},
pages = {609--631},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49213-5\_24},
doi = {10.1007/3-540-49213-5\_24},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/compos/Zwiers97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ZwiersHLRS96,
author = {Job Zwiers and
Ulrich Hannemann and
Yassine Lakhnech and
Willem P. de Roever and
Frank A. Stomp},
editor = {Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Modular Completeness: Integrating the Reuse of Specified Software
in Top-down Program Development},
booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
International Symposium of Formal Methods Europe, Co-Sponsored by
{IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1051},
pages = {595--608},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60973-3\_109},
doi = {10.1007/3-540-60973-3\_109},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/ZwiersHLRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ZwiersHLR95,
author = {Job Zwiers and
Ulrich Hannemann and
Yassine Lakhnech and
Willem P. de Roever},
editor = {P. S. Thiagarajan},
title = {Synthesizing Different Development Paradigms: Combining Top-Down with
Bottom-Up Reasoning About Distributed Systems},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
15th Conference, Bangalore, India, December 18-20, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1026},
pages = {80--95},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60692-0\_42},
doi = {10.1007/3-540-60692-0\_42},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ZwiersHLR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JanssenPXZ94,
author = {Wil Janssen and
Mannes Poel and
Qiwen Xu and
Job Zwiers},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Layering of Real-Time Distributed Processes},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {393--417},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_175},
doi = {10.1007/3-540-58468-4\_175},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/JanssenPXZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FokkingaPZ93,
author = {Maarten M. Fokkinga and
Mannes Poel and
Job Zwiers},
editor = {Eike Best},
title = {Modular Completeness for Communication Closed Layers},
booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
Hildesheim, Germany, August 23-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {715},
pages = {50--65},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57208-2\_5},
doi = {10.1007/3-540-57208-2\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/FokkingaPZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/JanssenZ93,
author = {Wil Janssen and
Job Zwiers},
editor = {Andr{\'{e}} A. S. Danthine and
Guy Leduc and
Pierre Wolper},
title = {Specifiying and Proving Communication Closedness in Protocols},
booktitle = {Protocol Specification, Testing and Verification XIII, Proceedings
of the {IFIP} {TC6/WG6.1} Thirteenth International Symposium on Protocol
Specification, Testing and Verification, Li{\`{e}}ge, Belgium, 25-28
May, 1993},
series = {{IFIP} Transactions},
volume = {{C-16}},
pages = {323--339},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/JanssenZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/ZwiersJ93,
author = {Job Zwiers and
Wil Janssen},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Partial Order Based Design of Concurrent Systems},
booktitle = {A Decade of Concurrency, Reflections and Perspectives, {REX} School/Symposium,
Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {803},
pages = {622--684},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58043-3\_30},
doi = {10.1007/3-540-58043-3\_30},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/ZwiersJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PoelZ92,
author = {Mannes Poel and
Job Zwiers},
editor = {Gregor von Bochmann and
David K. Probst},
title = {Layering Techniques for Development of Parallel Systems},
booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
pages = {16--29},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_3},
doi = {10.1007/3-540-56496-9\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/PoelZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/JanssenPSZ92,
author = {Wil Janssen and
Mannes Poel and
Klaas Sikkel and
Job Zwiers},
title = {The Primordial Soup Algorithm: {A} Systematic Approach to the Specification
of Parallel Parsers},
booktitle = {14th International Conference on Computational Linguistics, {COLING}
1992, Nantes, France, August 23-28, 1992},
pages = {373--379},
year = {1992},
url = {https://aclanthology.org/C92-1058/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/JanssenPSZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JanssenZ92,
author = {Wil Janssen and
Job Zwiers},
editor = {Jan Vytopil},
title = {Protocol Design by Layered Decomposition: {A} Compositional Approach},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {307--326},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_17},
doi = {10.1007/3-540-55092-5\_17},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/JanssenZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/JanssenZ92,
author = {Wil Janssen and
Job Zwiers},
editor = {Norman C. Hutchinson},
title = {From Sequential Layers to Distributed Processes: Deriving a Distributed
Minimum Weight Spanning Tree Algorithm (Extended Anstract)},
booktitle = {Proceedings of the Eleventh Annual {ACM} Symposium on Principles of
Distributed Computing, Vancouver, British Columbia, Canada, August
10-12, 1992},
pages = {215--227},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/135419.135461},
doi = {10.1145/135419.135461},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/JanssenZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/ZwiersCR92,
author = {Job Zwiers and
J. Coenen and
Willem P. de Roever},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {A Note on Compositional Refinement},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {342--366},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_18},
doi = {10.1007/978-1-4471-3550-0\_18},
timestamp = {Tue, 20 Aug 2019 12:53:32 +0200},
biburl = {https://dblp.org/rec/conf/refine/ZwiersCR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JanssenPZ91,
author = {Wil Janssen and
Mannes Poel and
Job Zwiers},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Action Systems and Action Refinement in the Development of Parallel
Systems - An Algebraic Approach},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {298--316},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_96},
doi = {10.1007/3-540-54430-5\_96},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/JanssenPZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Zwiers91,
author = {Job Zwiers},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Layering and Action Refinement for Timed Systems},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {687--723},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032013},
doi = {10.1007/BFB0032013},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/Zwiers91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Zwiers90,
author = {Job Zwiers},
editor = {Dines Bj{\o}rner and
C. A. R. Hoare and
Hans Langmaack},
title = {Refining Data to Processes},
booktitle = {{VDM} '90, {VDM} and {Z} - Formal Methods in Software Development,
Third International Symposium of {VDM} Europe, Kiel, FRG, April 17-21,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {428},
pages = {352--369},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52513-0\_19},
doi = {10.1007/3-540-52513-0\_19},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Zwiers90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Zwiers89,
author = {Job Zwiers},
title = {Compositionality, Concurrency and Partial Correctness - Proof Theories
for Networks of Processes, and Their Relationship},
series = {Lecture Notes in Computer Science},
volume = {321},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0020836},
doi = {10.1007/BFB0020836},
isbn = {3-540-50845-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Zwiers89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ZwiersR89,
author = {Job Zwiers and
Willem P. de Roever},
editor = {Piotr Rudnicki},
title = {Predicates are Predicate Transformers: {A} Unified Compositional Theory
for Concurrency},
booktitle = {Proceedings of the Eighth Annual {ACM} Symposium on Principles of
Distributed Computing, Edmonton, Alberta, Canada, August 14-16, 1989},
pages = {265--279},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/72981.73000},
doi = {10.1145/72981.73000},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/ZwiersR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Zwiers89,
author = {Job Zwiers},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Predicated, Predicate Transformers and Refinement},
booktitle = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness,
{REX} Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {430},
pages = {759--776},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52559-9\_86},
doi = {10.1007/3-540-52559-9\_86},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/Zwiers89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tls/ZwiersR87,
author = {Job Zwiers and
Willem P. de Roever},
editor = {Behnam Banieqbal and
Howard Barringer and
Amir Pnueli},
title = {Compositionality and Modularity in Process Specification and Design:
{A} Trace-State Based Approach},
booktitle = {Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {398},
pages = {351--374},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51803-7\_34},
doi = {10.1007/3-540-51803-7\_34},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/tls/ZwiersR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ZwiersRB85,
author = {Job Zwiers and
Willem P. de Roever and
Peter van Emde Boas},
editor = {Wilfried Brauer},
title = {Compositionality and Concurrent Networks: Soundness and Completeness
of a Proofsystem},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {509--519},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015776},
doi = {10.1007/BFB0015776},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ZwiersRB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/ZwiersBR83,
author = {Job Zwiers and
Arie de Bruin and
Willem P. de Roever},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {A Proof System for Partial Correctness of Dynamic Networks of Processes
(Extended Abstract)},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {513--527},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_384},
doi = {10.1007/3-540-12896-4\_384},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/ZwiersBR83.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.
last updated on 2024-04-24 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
