Authors: Yanakieva, Elena^Aff9, Bieniusa, Annette^Aff9, Becka, Thomas^Aff11, Moser, Brian B.^{Aff9, Aff10}, Jerger, Dominik^Aff9, Thyssen, Christoph^Aff9

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Pellet, Jean-Philippe, editor^Aff7, Parriaux, Gabriel, editor^Aff8

Superior Title: Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education : 16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23–25, 2023, Proceedings. 14296:180-193

Authors: Haas, Julian, Mogk, Ragnar, Yanakieva, Elena, Bieniusa, Annette, Mezini, Mira

Subject Terms: Local-First Software, Reactive Programming, Invariants, Consistency, Automated Verification, Software and its engineering → Formal software verification, Software and its engineering → Distributed programming languages, Software and its engineering → Data flow languages, Software and its engineering → Consistency, Theory of computation → Pre- and post-conditions, Theory of computation → Program specifications, Computer systems organization → Peer-to-peer architectures

File Description: application/pdf

Relation: https://github.com/stg-tud/LoRe; http://cidrdb.org/cidr2011/Papers/CIDR11_Paper35.pdf; http://tubama.ulb.tu-darmstadt.de/id/eprint/30079; https://dx.doi.org/10.4230/DARTS.9.2.11; https://dx.doi.org/10.4230/LIPIcs.ECOOP.2023; https://dx.doi.org/10.1109/ICDCS.2016.98; https://dx.doi.org/10.1109/ICDE.2014.6816639; https://dx.doi.org/10.14778/2735508.2735509; https://dx.doi.org/10.14778/3297753.3297760; https://dx.doi.org/10.1145/2741948.2741972; https://dx.doi.org/10.1145/2723872.2723889; https://dx.doi.org/10.1145/3485484; https://dx.doi.org/10.1007/978-3-030-22496-7_3; https://dx.doi.org/10.1145/3276477; https://dx.doi.org/10.1145/3133933; https://dx.doi.org/10.1145/3290387

Availability: https://doi.org/10.4230/lipics.ecoop.2023.1210.4230/DARTS.9.2.1110.4230/LIPIcs.ECOOP.202310.1109/ICDCS.2016.9810.1109/ICDE.2014.681663910.14778/2735508.273550910.14778/3297753.329776010.1145/2741948.274197210.1145/2723872.272388910.1145/348548410.1007/978-3-030-22496-7_310.1145/327647710.1145/313393310.1145/3290387

Authors: Haas, Julian, Mogk, Ragnar, Yanakieva, Elena, Bieniusa, Annette, Mezini, Mira

Subject Terms: Computer Science - Programming Languages

Relation: http://arxiv.org/abs/2304.07133

Availability: http://arxiv.org/abs/2304.07133

Authors: Yanakieva, Elena^Aff10, Youssef, Michael^Aff10, Rezae, Ahmad Hussein^Aff10, Bieniusa, Annette^Aff10

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Echihabi, Karima, editor^Aff8, Meyer, Roland, editor^Aff9

Superior Title: Networked Systems : 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings. 12754:3-18

Authors: Haas, Julian, Mogk, Ragnar, Yanakieva, Elena, Bieniusa, Annette, Mezini, Mira

Contributors: German Federal Ministry of Education and Research together with the Hessen State Ministry for Higher Education (ATHENE), the German Research Foundation, German Federal Ministry for Economic Affairs and Climate Action project SafeFBDC

Superior Title: ACM Transactions on Programming Languages and Systems ; volume 46, issue 1, page 1-26 ; ISSN 0164-0925 1558-4593

Subject Terms: Software

Availability: https://doi.org/10.1145/3633769

Authors: Yanakieva, Elena, Bird, Philipp, Bieniusa, Annette

Superior Title: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data

Availability: https://doi.org/10.1145/3578358.3591324

Authors: Yanakieva, Elena

Subject Terms: paulownia, wood energy crop

Relation: https://dx.doi.org/10.5281/zenodo.10006334

Availability: https://doi.org/10.5281/zenodo.1000633310.5281/zenodo.10006334

Authors: Yanakieva, Elena, Youssef, Michael, Rezae, Ahmad Hussein, Bieniusa, Annette

Superior Title: Proceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data

Availability: https://doi.org/10.1145/3447865.3457970

Authors: Yanakieva, Elena R.

Superior Title: Electronic Theses and Dissertations

Subject Terms: Father and child, Parent participation in education, Child development, Child Psychology, Family, Life Course, and Society, Social Psychology, Sociology

File Description: application/pdf

Relation: https://digitalcommons.library.umaine.edu/etd/1220; https://digitalcommons.library.umaine.edu/context/etd/article/2227/viewcontent/YanakievaER2004.pdf

Availability: https://digitalcommons.library.umaine.edu/etd/1220
https://digitalcommons.library.umaine.edu/context/etd/article/2227/viewcontent/YanakievaER2004.pdf