Search dblp for Publications

export results for "SPIN - A Schr"

 download as .bib file

@article{DBLP:journals/ijbc/Yang22b,
  author       = {Deniu Yang},
  title        = {Classification and Soliton for a Generalized Fourth-Order Dispersive
                  Nonlinear Schr{\"{o}}dinger Equation in a Heisenberg Spin Chain},
  journal      = {Int. J. Bifurc. Chaos},
  volume       = {32},
  number       = {13},
  pages        = {2250197:1--2250197:48},
  year         = {2022},
  url          = {https://doi.org/10.1142/S0218127422501978},
  doi          = {10.1142/S0218127422501978},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijbc/Yang22b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/HongNIMA22,
  author       = {Xiao Hong and
                  Mahyuddin K. M. Nasution and
                  Onur Alp Ilhan and
                  Jalil Manafian and
                  Mostafa Abotaleb},
  title        = {Nonlinear spin dynamics of a couple of nonlinear Schr{\"{o}}dinger's
                  equations by the improved form of an analytical method},
  journal      = {Int. J. Comput. Math.},
  volume       = {99},
  number       = {7},
  pages        = {1438--1461},
  year         = {2022},
  url          = {https://doi.org/10.1080/00207160.2021.1979527},
  doi          = {10.1080/00207160.2021.1979527},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcm/HongNIMA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/NagnibedaP21,
  author       = {Tatiana Nagnibeda and
                  Aitor P{\'{e}}rez},
  title        = {Schreier graphs of spinal groups},
  journal      = {Int. J. Algebra Comput.},
  volume       = {31},
  number       = {6},
  pages        = {1191--1216},
  year         = {2021},
  url          = {https://doi.org/10.1142/S0218196721400099},
  doi          = {10.1142/S0218196721400099},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijac/NagnibedaP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/MyrzakulNSM21,
  author       = {Akbota Myrzakul and
                  Gulgasyl Nugmanova and
                  Nurzhan Serikbayev and
                  Ratbay Myrzakulov},
  title        = {Surfaces and Curves Induced by Nonlinear Schr{\"{o}}dinger-Type
                  Equations and Their Spin Systems},
  journal      = {Symmetry},
  volume       = {13},
  number       = {10},
  pages        = {1827},
  year         = {2021},
  url          = {https://doi.org/10.3390/sym13101827},
  doi          = {10.3390/SYM13101827},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/symmetry/MyrzakulNSM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/appml/WangLQ20,
  author       = {Pan Wang and
                  Yan{-}Li Li and
                  Feng{-}Hua Qi},
  title        = {Interactions of solitons for a generalized nonlinear Schr{\"{o}}dinger
                  equation from the inhomogeneous Heisenberg ferromagnetic spin system},
  journal      = {Appl. Math. Lett.},
  volume       = {102},
  pages        = {106139},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.aml.2019.106139},
  doi          = {10.1016/J.AML.2019.106139},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/appml/WangLQ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamma/AngelopoulosKV20,
  author       = {Yannis Angelopoulos and
                  Rowan Killip and
                  Monica Visan},
  title        = {Invariant Measures for Integrable Spin Chains and an Integrable Discrete
                  Nonlinear Schr{\"{o}}dinger Equation},
  journal      = {{SIAM} J. Math. Anal.},
  volume       = {52},
  number       = {1},
  pages        = {135--163},
  year         = {2020},
  url          = {https://doi.org/10.1137/19M1265314},
  doi          = {10.1137/19M1265314},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamma/AngelopoulosKV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/BluhmS19,
  author       = {Hendrik Bluhm and
                  Lars R. Schreiber},
  title        = {Semiconductor Spin Qubits - {A} Scalable Platform for Quantum Computing?},
  booktitle    = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2019,
                  Sapporo, Japan, May 26-29, 2019},
  pages        = {1--5},
  year         = {2019},
  crossref     = {DBLP:conf/iscas/2019},
  url          = {https://doi.org/10.1109/ISCAS.2019.8702477},
  doi          = {10.1109/ISCAS.2019.8702477},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/BluhmS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-04316,
  author       = {Stefan O. Schrade and
                  Giada Devittori and
                  Christopher Awai Easthope and
                  Camila Shirota and
                  Olivier Lambercy and
                  Roger Gassert},
  title        = {Exoskeleton Knee Compliance Improves Gait Velocity and Stability in
                  a Spinal Cord Injured User: {A} Case Report},
  journal      = {CoRR},
  volume       = {abs/1911.04316},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.04316},
  eprinttype    = {arXiv},
  eprint       = {1911.04316},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-04316.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/JohnSBRSKWRLAK18,
  author       = {Bibin John and
                  Clemens Spink and
                  Markus Braunschweig and
                  Rajeev Ranjan and
                  Dietmar Schroeder and
                  Andreas Koops and
                  Gregor Woldt and
                  Ilka Rauh and
                  Andreas Leuzinger and
                  Gerhard Adam and
                  Wolfgang H. Krautschneider},
  title        = {A Stent Graft Occlusion Detection : Pressure Sensing Implant Device
                  with Inductive Power and Data Telemetry},
  booktitle    = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2018,
                  27-30 May 2018, Florence, Italy},
  pages        = {1--4},
  year         = {2018},
  crossref     = {DBLP:conf/iscas/2018},
  url          = {https://doi.org/10.1109/ISCAS.2018.8351667},
  doi          = {10.1109/ISCAS.2018.8351667},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/JohnSBRSKWRLAK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biocas/JohnSBRSKWRLAK16,
  author       = {Bibin John and
                  Clemens Spink and
                  Markus Braunschweig and
                  Rajeev Ranjan and
                  Dietmar Schroeder and
                  Andreas Koops and
                  Gregor Woldt and
                  Ilka Rauh and
                  Andreas Leuzinger and
                  Gerhard Adam and
                  Wolfgang H. Krautschneider},
  title        = {Telemetric system for monitoring of endoleak in abdominal aorta aneurysm
                  using multiple pressure sensors integrated on a stent graft},
  booktitle    = {{IEEE} Biomedical Circuits and Systems Conference, BioCAS 2016, Shanghai,
                  China, October 17-19, 2016},
  pages        = {384--387},
  year         = {2016},
  crossref     = {DBLP:conf/biocas/2016},
  url          = {https://doi.org/10.1109/BioCAS.2016.7833812},
  doi          = {10.1109/BIOCAS.2016.7833812},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/biocas/JohnSBRSKWRLAK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cnsns/SunSTWT15,
  author       = {Hao Sun and
                  Wen{-}Rui Shan and
                  Bo Tian and
                  Ming Wang and
                  Zhao Tan},
  title        = {Analytic studies on a generalized inhomogeneous higher-order nonlinear
                  Schr{\"{o}}dinger equation for the Heisenberg ferromagnetic spin
                  chain},
  journal      = {Commun. Nonlinear Sci. Numer. Simul.},
  volume       = {20},
  number       = {3},
  pages        = {711--718},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cnsns.2014.06.049},
  doi          = {10.1016/J.CNSNS.2014.06.049},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cnsns/SunSTWT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/FuerstHS15,
  author       = {David Fuerst and
                  Marianne Hollensteiner and
                  Andreas Schrempf},
  title        = {Assessment parameters for a novel simulator in minimally invasive
                  spine surgery},
  booktitle    = {37th Annual International Conference of the {IEEE} Engineering in
                  Medicine and Biology Society, {EMBC} 2015, Milan, Italy, August 25-29,
                  2015},
  pages        = {5110--5113},
  year         = {2015},
  crossref     = {DBLP:conf/embc/2015},
  url          = {https://doi.org/10.1109/EMBC.2015.7319541},
  doi          = {10.1109/EMBC.2015.7319541},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/embc/FuerstHS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/HollensteinerFS14,
  author       = {Marianne Hollensteiner and
                  David Fuerst and
                  Andreas Schrempf},
  title        = {Artificial muscles for a novel simulator in minimally invasive spine
                  surgery},
  booktitle    = {36th Annual International Conference of the {IEEE} Engineering in
                  Medicine and Biology Society, {EMBC} 2014, Chicago, IL, USA, August
                  26-30, 2014},
  pages        = {506--509},
  year         = {2014},
  crossref     = {DBLP:conf/embc/2014},
  url          = {https://doi.org/10.1109/EMBC.2014.6943639},
  doi          = {10.1109/EMBC.2014.6943639},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/embc/HollensteinerFS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/summersim/FuerstHS14,
  author       = {David Fuerst and
                  Marianne Hollensteiner and
                  Andreas Schrempf},
  title        = {A novel augmented reality simulator for minimally invasive spine surgery},
  booktitle    = {Proceedings of the 2014 Summer Simulation Multiconference, SummerSim
                  2014, Monterey, CA, USA, July 6-10, 2014},
  pages        = {28},
  year         = {2014},
  crossref     = {DBLP:conf/summersim/2014},
  url          = {http://dl.acm.org/citation.cfm?id=2685645},
  timestamp    = {Wed, 12 Nov 2014 12:24:56 +0100},
  biburl       = {https://dblp.org/rec/conf/summersim/FuerstHS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nature/PeterssonMSJTHP12,
  author       = {Karl D. Petersson and
                  Louis W. McFaul and
                  Michael D. Schroer and
                  Minkyung Jung and
                  Jacob M. Taylor and
                  Andrew A. Houck and
                  Jason R. Petta},
  title        = {Circuit quantum electrodynamics with a spin qubit},
  journal      = {Nat.},
  volume       = {490},
  number       = {7420},
  pages        = {380--383},
  year         = {2012},
  url          = {https://doi.org/10.1038/nature11559},
  doi          = {10.1038/NATURE11559},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nature/PeterssonMSJTHP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/Schrijver09,
  author       = {Alexander Schrijver},
  title        = {Graph invariants in the spin model},
  journal      = {J. Comb. Theory {B}},
  volume       = {99},
  number       = {2},
  pages        = {502--511},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jctb.2008.10.003},
  doi          = {10.1016/J.JCTB.2008.10.003},
  timestamp    = {Fri, 07 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jct/Schrijver09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/GilaniSSS07,
  author       = {Wasif Gilani and
                  Julio Sincero and
                  Olaf Spinczyk and
                  Wolfgang Schr{\"{o}}der{-}Preikschat},
  title        = {Aspectizing a Web Server for Adaptation},
  booktitle    = {Proceedings of the 12th {IEEE} Symposium on Computers and Communications
                  {(ISCC} 2007), July 1-4, Aveiro, Portugal},
  pages        = {349--356},
  year         = {2007},
  crossref     = {DBLP:conf/iscc/2007},
  url          = {https://doi.org/10.1109/ISCC.2007.4381570},
  doi          = {10.1109/ISCC.2007.4381570},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iscc/GilaniSSS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/LohmannSTSS06,
  author       = {Daniel Lohmann and
                  Fabian Scheler and
                  Reinhard Tartler and
                  Olaf Spinczyk and
                  Wolfgang Schr{\"{o}}der{-}Preikschat},
  title        = {A quantitative analysis of aspects in the eCos kernel},
  booktitle    = {Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April
                  18-21, 2006},
  pages        = {191--204},
  year         = {2006},
  crossref     = {DBLP:conf/eurosys/2006},
  url          = {https://doi.org/10.1145/1217935.1217954},
  doi          = {10.1145/1217935.1217954},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eurosys/LohmannSTSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/LohmannSS05,
  author       = {Daniel Lohmann and
                  Wolfgang Schr{\"{o}}der{-}Preikschat and
                  Olaf Spinczyk},
  title        = {Functional and Non-Functional Properties in a Family of Embedded Operating
                  Systems},
  booktitle    = {10th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
                  Systems {(WORDS} 2005), 2-4 February 2005, Sedona, AZ, {USA}},
  pages        = {413--420},
  year         = {2005},
  crossref     = {DBLP:conf/words/2005},
  url          = {https://doi.org/10.1109/WORDS.2005.37},
  doi          = {10.1109/WORDS.2005.37},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/words/LohmannSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/GalSS02,
  author       = {Andreas Gal and
                  Olaf Spinczyk and
                  Wolfgang Schr{\"{o}}der{-}Preikschat},
  title        = {On Aspect-Orientation in Distributed Real-time Dependable Systems},
  booktitle    = {7th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
                  Systems {(WORDS} 2002), 7-9 January 2002, San Diego, CA, {USA}},
  pages        = {261--270},
  year         = {2002},
  crossref     = {DBLP:conf/words/2002},
  url          = {https://doi.org/10.1109/WORDS.2002.1000061},
  doi          = {10.1109/WORDS.2002.1000061},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/words/GalSS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/WolfSF01,
  author       = {John A. Wolf and
                  Lee F. Schroeder and
                  Life H. Finkel},
  title        = {Computational modeling of medium spiny projection neurons in nucleus
                  accumbens: toward the cellular mechanisms of afferent stream integration},
  journal      = {Proc. {IEEE}},
  volume       = {89},
  number       = {7},
  pages        = {1083--1092},
  year         = {2001},
  url          = {https://doi.org/10.1109/5.939824},
  doi          = {10.1109/5.939824},
  timestamp    = {Tue, 17 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pieee/WolfSF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/WeiQS01,
  author       = {Guo{-}Qing Wei and
                  Jian Zhong Qian and
                  Helmuth Schramm},
  title        = {A Dual Dynamic Programming Approach to the Detection of Spine Boundaries},
  booktitle    = {Medical Image Computing and Computer-Assisted Intervention - {MICCAI}
                  2001, 4th International Conference, Utrecht, The Netherlands, October
                  14-17, 2001, Proceedings},
  pages        = {524--531},
  year         = {2001},
  crossref     = {DBLP:conf/miccai/2001},
  url          = {https://doi.org/10.1007/3-540-45468-3\_63},
  doi          = {10.1007/3-540-45468-3\_63},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/miccai/WeiQS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BaldamusS01,
  author       = {Michael Baldamus and
                  Jochen Schr{\"{o}}der{-}Babo},
  title        = {p2b: {A} Translation Utility for Linking Promela and Symbolic Model
                  Checking (Tool Paper)},
  booktitle    = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
                  Canada, May 19-20, 2001, Proceedings},
  pages        = {183--191},
  year         = {2001},
  crossref     = {DBLP:conf/spin/2001},
  url          = {https://doi.org/10.1007/3-540-45139-0\_11},
  doi          = {10.1007/3-540-45139-0\_11},
  timestamp    = {Thu, 02 Jun 2022 12:33:45 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/BaldamusS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tes/MilojicicMBGSBS01,
  author       = {Dejan S. Milojicic and
                  Alan Messer and
                  Philippe Bernadat and
                  Ira Greenberg and
                  Olaf Spinczyk and
                  Danilo Beuche and
                  Wolfgang Schr{\"{o}}der{-}Preikschat},
  title        = {Psi-Pervasive Services Infrastructure},
  booktitle    = {Technologies for E-Services, Second International Workshop, {TES}
                  2001, Rome, Italy, September 14-15, 2001, Proceedings},
  pages        = {187--200},
  year         = {2001},
  crossref     = {DBLP:conf/tes/2001},
  url          = {https://doi.org/10.1007/3-540-44809-8\_14},
  doi          = {10.1007/3-540-44809-8\_14},
  timestamp    = {Thu, 07 Mar 2024 22:43:01 +0100},
  biburl       = {https://dblp.org/rec/conf/tes/MilojicicMBGSBS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/BeucheFMPSSSS00,
  author       = {Danilo Beuche and
                  Ant{\^{o}}nio Augusto Fr{\"{o}}hlich and
                  Reinhard Meyer and
                  Holger Papajewski and
                  Friedrich Sch{\"{o}}n and
                  Wolfgang Schr{\"{o}}der{-}Preikschat and
                  Olaf Spinczyk and
                  Ute Spinczyk},
  title        = {On architecture transparency in operating systems},
  booktitle    = {Proceedings of the 9th {ACM} {SIGOPS} European Workshop, Kolding,
                  Denmark, September 17-20, 2000},
  pages        = {147--152},
  year         = {2000},
  crossref     = {DBLP:conf/sigopsE/2000},
  url          = {https://doi.org/10.1145/566726.566758},
  doi          = {10.1145/566726.566758},
  timestamp    = {Thu, 07 Nov 2019 10:24:25 +0100},
  biburl       = {https://dblp.org/rec/conf/sigopsE/BeucheFMPSSSS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BeucheGPSSS99,
  author       = {Danilo Beuche and
                  Abdelaziz Guerrouat and
                  Holger Papajewski and
                  Wolfgang Schr{\"{o}}der{-}Preikschat and
                  Olaf Spinczyk and
                  Ute Spinczyk},
  title        = {On the Development of Object-Oriented Operating Systems for Deeply
                  Embedded Systems - The {PURE} Project},
  booktitle    = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
                  Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  pages        = {26},
  year         = {1999},
  crossref     = {DBLP:conf/ecoopw/1999},
  timestamp    = {Mon, 15 Jun 2020 17:08:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoopw/BeucheGPSSS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-3/Camarinha-MatosAACGGKLLMORRSSU99,
  author       = {Luis M. Camarinha{-}Matos and
                  Hamideh Afsarmanesh and
                  Carlos Antunes and
                  Jean{-}Fran{\c{c}}ois Clavier and
                  C{\'{e}}sar Garita and
                  Pierre Gibon and
                  Alexandra A. Pereira Klen and
                  H. Lenz and
                  Celson Pantoja{-}Lima and
                  J. Mota and
                  A. Lu{\'{\i}}s Os{\'{o}}rio and
                  Ricardo J. Rabelo and
                  H. Ribeiro and
                  Andreas Schreiber and
                  Luiz M. Spinosa and
                  Yasemin Ugur},
  title        = {The Prodnet Demonstrator},
  booktitle    = {Infrastructures for Virtual Enterprises: Networking Industrial Enterprises,
                  {IFIP} {TC5} {WG5.3} / {PRODNET} Working Conference on Infrastructures
                  for Virtual Enterprises {(PRO-VE} '99), October 27-28, 1999, Porto,
                  Portugal},
  pages        = {279--290},
  year         = {1999},
  crossref     = {DBLP:conf/ifip5-3/1999},
  timestamp    = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip5-3/Camarinha-MatosAACGGKLLMORRSSU99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BeucheGPSSS99,
  author       = {Danilo Beuche and
                  Abdelaziz Guerrouat and
                  Holger Papajewski and
                  Wolfgang Schr{\"{o}}der{-}Preikschat and
                  Olaf Spinczyk and
                  Ute Spinczyk},
  title        = {The {PURE} Family of Object-Oriented Operating Systems for Deeply
                  Embedded Systems},
  booktitle    = {2nd International Symposium on Object-Oriented Real-Time Distributed
                  Computing {(ISORC} '99), May 2-5, 1999, Saint Malo, France},
  pages        = {45--53},
  year         = {1999},
  crossref     = {DBLP:conf/isorc/1999},
  url          = {https://doi.org/10.1109/ISORC.1999.776349},
  doi          = {10.1109/ISORC.1999.776349},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/BeucheGPSSS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsi/KosinaT98,
  author       = {Hans Kosina and
                  C. Troger},
  title        = {{SPIN} - {A} Schr{\"{o}}dinger-Poisson Solver Including Nonparabolic
                  Bands},
  journal      = {{VLSI} Design},
  volume       = {8},
  number       = {1-4},
  pages        = {489--493},
  year         = {1998},
  url          = {https://doi.org/10.1155/1998/39231},
  doi          = {10.1155/1998/39231},
  timestamp    = {Mon, 08 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vlsi/KosinaT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeecc/CordsenGSGGHS97,
  author       = {J{\"{o}}rg Cordsen and
                  Thomas Garnatz and
                  Michael Sander and
                  Anne Gerischer and
                  Marco Dimas Gubitoso and
                  Ute Haack and
                  Wolfgang Schr{\"{o}}der{-}Preikschat},
  title        = {Vote for peace: implementation and performance of a parallel operating
                  system},
  journal      = {{IEEE} Concurrency},
  volume       = {5},
  number       = {2},
  pages        = {16--27},
  year         = {1997},
  url          = {https://doi.org/10.1109/4434.588280},
  doi          = {10.1109/4434.588280},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ieeecc/CordsenGSGGHS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/GarnatzHSS96,
  author       = {Thomas Garnatz and
                  Ute Haack and
                  Michael Sander and
                  Wolfgang Schr{\"{o}}der{-}Preikschat},
  title        = {Experiences Made with the Design and Development of a Message-Passing
                  Kernel for a Dual-Processor-Node Parallel Computer},
  booktitle    = {29th Annual Hawaii International Conference on System Sciences (HICSS-29),
                  January 3-6, 1996, Maui, Hawaii, {USA}},
  pages        = {131--140},
  year         = {1996},
  crossref     = {DBLP:conf/hicss/1996},
  url          = {https://doi.org/10.1109/HICSS.1996.495456},
  doi          = {10.1109/HICSS.1996.495456},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/GarnatzHSS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsmall/SchroederS88,
  author       = {Ulrik Schroeder and
                  Arno Spinner},
  title        = {{ALIEN:} {A} Programming Environment Generator for Personal Computers},
  booktitle    = {Proceedings of the 1988 {ACM} {SIGSMALL/PC} Symposium on ACTES, May
                  4-6, 1988, Cannes, France},
  pages        = {45--52},
  year         = {1988},
  crossref     = {DBLP:conf/sigsmall/1988},
  url          = {https://doi.org/10.1145/62453.62463},
  doi          = {10.1145/62453.62463},
  timestamp    = {Fri, 06 Aug 2021 12:17:35 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsmall/SchroederS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iscas/2019,
  title        = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2019,
                  Sapporo, Japan, May 26-29, 2019},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/8682239/proceeding},
  isbn         = {978-1-7281-0397-6},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iscas/2018,
  title        = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2018,
                  27-30 May 2018, Florence, Italy},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/8334884/proceeding},
  isbn         = {978-1-5386-4881-0},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/biocas/2016,
  title        = {{IEEE} Biomedical Circuits and Systems Conference, BioCAS 2016, Shanghai,
                  China, October 17-19, 2016},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7803480/proceeding},
  isbn         = {978-1-5090-2959-4},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/biocas/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/embc/2015,
  title        = {37th Annual International Conference of the {IEEE} Engineering in
                  Medicine and Biology Society, {EMBC} 2015, Milan, Italy, August 25-29,
                  2015},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7302811/proceeding},
  isbn         = {978-1-4244-9271-8},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/embc/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/embc/2014,
  title        = {36th Annual International Conference of the {IEEE} Engineering in
                  Medicine and Biology Society, {EMBC} 2014, Chicago, IL, USA, August
                  26-30, 2014},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6923026/proceeding},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/embc/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/summersim/2014,
  title        = {Proceedings of the 2014 Summer Simulation Multiconference, SummerSim
                  2014, Monterey, CA, USA, July 6-10, 2014},
  publisher    = {{SCS/} {ACM}},
  year         = {2014},
  url          = {http://dl.acm.org/citation.cfm?id=2685617},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/summersim/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iscc/2007,
  title        = {Proceedings of the 12th {IEEE} Symposium on Computers and Communications
                  {(ISCC} 2007), July 1-4, Aveiro, Portugal},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/4381469/proceeding},
  isbn         = {978-1-4244-1520-5},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/iscc/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2006,
  editor       = {Yolande Berbers and
                  Willy Zwaenepoel},
  title        = {Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April
                  18-21, 2006},
  publisher    = {{ACM}},
  year         = {2006},
  isbn         = {1-59593-322-0},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosys/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/words/2005,
  title        = {10th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
                  Systems {(WORDS} 2005), 2-4 February 2005, Sedona, AZ, {USA}},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/10372/proceeding},
  isbn         = {0-7695-2347-1},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/words/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/words/2002,
  title        = {7th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
                  Systems {(WORDS} 2002), 7-9 January 2002, San Diego, CA, {USA}},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7841/proceeding},
  isbn         = {0-7695-1576-2},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/words/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/miccai/2001,
  editor       = {Wiro J. Niessen and
                  Max A. Viergever},
  title        = {Medical Image Computing and Computer-Assisted Intervention - {MICCAI}
                  2001, 4th International Conference, Utrecht, The Netherlands, October
                  14-17, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2208},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45468-3},
  doi          = {10.1007/3-540-45468-3},
  isbn         = {3-540-42697-3},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/miccai/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2001,
  editor       = {Matthew B. Dwyer},
  title        = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
                  Canada, May 19-20, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2057},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45139-0},
  doi          = {10.1007/3-540-45139-0},
  isbn         = {3-540-42124-6},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tes/2001,
  editor       = {Fabio Casati and
                  Dimitrios Georgakopoulos and
                  Ming{-}Chien Shan},
  title        = {Technologies for E-Services, Second International Workshop, {TES}
                  2001, Rome, Italy, September 14-15, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2193},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44809-8},
  doi          = {10.1007/3-540-44809-8},
  isbn         = {3-540-42565-9},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/tes/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigopsE/2000,
  title        = {Proceedings of the 9th {ACM} {SIGOPS} European Workshop, Kolding,
                  Denmark, September 17-20, 2000},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/566726},
  doi          = {10.1145/566726},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/sigopsE/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoopw/1999,
  editor       = {Ana M. D. Moreira and
                  Serge Demeyer},
  title        = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
                  Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1743},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-46589-8},
  doi          = {10.1007/3-540-46589-8},
  isbn         = {3-540-66954-X},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoopw/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip5-3/1999,
  editor       = {Luis M. Camarinha{-}Matos and
                  Hamideh Afsarmanesh},
  title        = {Infrastructures for Virtual Enterprises: Networking Industrial Enterprises,
                  {IFIP} {TC5} {WG5.3} / {PRODNET} Working Conference on Infrastructures
                  for Virtual Enterprises {(PRO-VE} '99), October 27-28, 1999, Porto,
                  Portugal},
  series       = {{IFIP} Conference Proceedings},
  volume       = {153},
  publisher    = {Kluwer},
  year         = {1999},
  isbn         = {0-7923-8639-6},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip5-3/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/1999,
  title        = {2nd International Symposium on Object-Oriented Real-Time Distributed
                  Computing {(ISORC} '99), May 2-5, 1999, Saint Malo, France},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6308/proceeding},
  isbn         = {0-7695-0207-5},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/isorc/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hicss/1996,
  title        = {29th Annual Hawaii International Conference on System Sciences (HICSS-29),
                  January 3-6, 1996, Maui, Hawaii, {USA}},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/3511/proceeding},
  isbn         = {0-8186-7324-9},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/hicss/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsmall/1988,
  editor       = {Vania Joloboff},
  title        = {Proceedings of the 1988 {ACM} {SIGSMALL/PC} Symposium on ACTES, May
                  4-6, 1988, Cannes, France},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/62453},
  doi          = {10.1145/62453},
  isbn         = {978-0-89791-255-6},
  timestamp    = {Mon, 15 Jul 2024 13:50:29 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsmall/1988.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics