Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

925 Publications


2017 | Mastersthesis | LibreCat-ID: 100
@book{Sergio Djoum Temdjim_2017, title={Evaluation of Software Reputation Matching Based on App Reviews}, publisher={Universität Paderborn}, author={Sergio Djoum Temdjim, Albin}, year={2017} }
LibreCat
 

2017 | Journal Article | LibreCat-ID: 10007
@article{Mahnken_Dammann_Lenz_2017, title={(n)- AND (n + 1)-LAYERED COMPOSITE SPHERE MODELS FOR THERMO-CHEMO-MECHANICAL EFFECTIVE PROPERTIES}, volume={15}, DOI={10.1615/intjmultcompeng.2017020304}, number={4}, journal={International Journal for Multiscale Computational Engineering}, author={Mahnken, Rolf and Dammann, Christian and Lenz, Peter}, year={2017}, pages={295–322} }
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 105
@inproceedings{Gmyr_Hinnenthal_Scheideler_Sohler_2017, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Distributed Monitoring of Network Properties: The Power of Hybrid Networks}, DOI={10.4230/LIPIcs.ICALP.2017.137}, booktitle={Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP)}, author={Gmyr, Robert and Hinnenthal, Kristian and Scheideler, Christian and Sohler, Christian}, year={2017}, pages={137:1--137:15}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 10576
@inproceedings{Kampmann_Hellebrand_2017, title={Design-for-FAST: Supporting X-tolerant compaction during Faster-than-at-Speed Test}, DOI={10.1109/ddecs.2017.7934564}, booktitle={2017 IEEE 20th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)}, publisher={IEEE}, author={Kampmann, Matthias and Hellebrand, Sybille}, year={2017} }
LibreCat | DOI
 

2017 | Bachelorsthesis | LibreCat-ID: 1077
@book{Wagemeyer_2017, title={Marktabgrenzung in der Internetökonomie - Ein Fallbeispiel zum Fusionsantrag von Immowelt und Immonet}, publisher={Universität Paderborn}, author={Wagemeyer, Marleen}, year={2017} }
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 10780
@inproceedings{Guettatfi_Hübner_Platzner_Rinner_2017, title={Computational self-awareness as design approach for visual sensor nodes}, DOI={10.1109/ReCoSoC.2017.8016147}, booktitle={12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)}, author={Guettatfi, Zakarya and Hübner, Philipp and Platzner, Marco and Rinner, Bernhard}, year={2017}, pages={1–8} }
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 10672
@inproceedings{Ho_Ashraf_Kaufmann_Platzner_2017, title={Accurate Private/Shared Classification of Memory Accesses: a Run-time Analysis System for the LEON3 Multi-core Processor}, DOI={10.23919/DATE.2017.7927096}, booktitle={Proc. Design, Automation and Test in Europe Conf. (DATE)}, author={Ho, Nam and Ashraf, Ishraq Ibne and Kaufmann, Paul and Platzner, Marco}, year={2017} }
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 10204
@inproceedings{Ewerth_Springstein_Müller_Balz_Gehlhaar_Naziyok_Dembczynski_Hüllermeier_2017, title={Estimating relative depth in single images via rankboost}, booktitle={Proc. IEEE Int. Conf. on Multimedia and Expo (ICME 2017)}, author={Ewerth, Ralph and Springstein, M. and Müller, E. and Balz, A. and Gehlhaar, J. and Naziyok, T. and Dembczynski, K. and Hüllermeier, Eyke}, year={2017}, pages={919–924} }
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 10209
@inproceedings{Ahmadi Fahandar_Hüllermeier_2017, title={Learning to Rank based on Analogical Reasoning}, booktitle={Proc. AAAI 2017, 32nd AAAI Conference on Artificial Intelligence}, author={Ahmadi Fahandar, Mohsen and Hüllermeier, Eyke}, year={2017} }
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 10216
@inproceedings{Shaker_Heldt_Hüllermeier_2017, title={Learning TSK Fuzzy Rules from Data Streams}, booktitle={Proceedings ECML/PKDD, European Conference on Machine Learning and Knowledge Discovery in Databases, Skopje, Macedonia}, author={Shaker, Ammar and Heldt, W. and Hüllermeier, Eyke}, year={2017} }
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 1072
@book{Lütkevedder_2017, title={Vertikale Wettbewerbsbeschränkung auf Hotelreservierungsportalen - eine ökonomische Analyse anhand der Bestpreisklausel von Booking}, publisher={Universität Paderborn}, author={Lütkevedder, Dennis}, year={2017} }
LibreCat
 

2017 | Book | LibreCat-ID: 10759
@book{Squillero_Burelli_M. Mora_Agapitos_S. Bush_Cagnoni_Cotta_De Falco_Della Cioppa_Divina_et al._2017, series={Lecture Notes in Computer Science}, title={Applications of Evolutionary Computation - 20th European Conference, EvoApplications}, publisher={Springer}, author={Squillero, Giovanni and Burelli, Paolo and M. Mora, Antonio and Agapitos, Alexandros and S. Bush, William and Cagnoni, Stefano and Cotta, Carlos and De Falco, Ivanoe and Della Cioppa, Antonio and Divina, Federico and et al.}, year={2017}, collection={Lecture Notes in Computer Science} }
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 10761
@inproceedings{Kaufmann_Ho_Platzner_2017, title={Evaluation Methodology for Complex Non-deterministic Functions: A Case Study in Metaheuristic Optimization of Caches}, DOI={10.1109/AHS.2017.8046380}, booktitle={Adaptive Hardware and Systems (AHS)}, publisher={IEEE}, author={Kaufmann, Paul and Ho, Nam and Platzner, Marco}, year={2017} }
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 112
@inproceedings{Feldotto_Leder_Skopalik_2017, series={LNCS}, title={Congestion Games with Complementarities}, DOI={10.1007/978-3-319-57586-5_19}, booktitle={Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC)}, author={Feldotto, Matthias and Leder, Lennart and Skopalik, Alexander}, year={2017}, pages={222--233}, collection={LNCS} }
LibreCat | Files available | DOI | arXiv
 

2017 | Mastersthesis | LibreCat-ID: 117
@book{Bemmann_2017, title={Attribute-based Signatures using Structure Preserving Signatures}, publisher={Universität Paderborn}, author={Bemmann, Pascal}, year={2017} }
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 1180
@inproceedings{Wever_Mohr_Hüllermeier_2017, place={Dortmund}, title={Automatic Machine Learning: Hierachical Planning Versus Evolutionary Optimization}, booktitle={27th Workshop Computational Intelligence}, author={Wever, Marcel Dominik and Mohr, Felix and Hüllermeier, Eyke}, year={2017} }
LibreCat | Files available | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 13157
@inproceedings{Ansotegui_Pon_Sellmann_Tierney_2017, title={Reactive Dialectic Search Portfolios for MaxSAT.}, booktitle={AAAI}, author={Ansotegui, Carlos and Pon, Josep and Sellmann, Meinolf and Tierney, Kevin}, year={2017}, pages={765–772} }
LibreCat
 

2017 | Journal Article | LibreCat-ID: 13239
@article{Azadi_Kühne_2017, title={High-pressure hydrogen sulfide by diffusion quantum Monte Carlo}, volume={146}, DOI={10.1063/1.4976836}, number={8}, journal={The Journal of Chemical Physics}, author={Azadi, Sam and Kühne, Thomas D.}, year={2017}, pages={084503} }
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 13359
@article{Ma_Egorov_Schumacher_2017, title={Creation and Manipulation of Stable Dark Solitons and Vortices in Microcavity Polariton Condensates}, volume={118}, DOI={10.1103/physrevlett.118.157401}, number={15}, journal={Physical Review Letters}, author={Ma, Xuekai and Egorov, Oleg A. and Schumacher, Stefan}, year={2017} }
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 13361
@article{Lafont_Luk_Lewandowski_Kwong_Leung_Galopin_Lemaitre_Tignon_Schumacher_Baudin_et al._2017, title={Controlling the optical spin Hall effect with light}, DOI={10.1063/1.4975681}, number={061108}, journal={Applied Physics Letters}, author={Lafont, O. and Luk, S. M. H. and Lewandowski, P. and Kwong, N. H. and Leung, P. T. and Galopin, E. and Lemaitre, A. and Tignon, J. and Schumacher, Stefan and Baudin, E. and et al.}, year={2017} }
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 13412
@article{Konieczna_Biller_Witte_Schmidt_Neuba_Wilhelm_2017, title={New pyridinium based ionic dyes for the hydrogen evolution reaction}, DOI={10.1016/j.tet.2017.11.053}, journal={Tetrahedron}, author={Konieczna, Dagny D. and Biller, Harry and Witte, Matthias and Schmidt, Wolf Gero and Neuba, Adam and Wilhelm, René}, year={2017}, pages={142–149} }
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 13417
@article{Lücke_Gerstmann_Kühne_Schmidt_2017, title={Efficient PAW-based bond strength analysis for understanding the In/Si(111)(8 × 2) - (4 × 1) phase transition}, DOI={10.1002/jcc.24878}, journal={Journal of Computational Chemistry}, author={Lücke, Andreas and Gerstmann, Uwe and Kühne, Thomas D. and Schmidt, Wolf Gero}, year={2017}, pages={2276–2282} }
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 13424
@article{Aldahhak_Paszkiewicz_Allegretti_Duncan_Tebi_Deimel_Casado Aguilar_Zhang_Papageorgiou_Koch_et al._2017, title={X-ray Spectroscopy of Thin Film Free-Base Corroles: A Combined Theoretical and Experimental Characterization}, volume={121}, DOI={10.1021/acs.jpcc.6b09935}, journal={The Journal of Physical Chemistry C}, author={Aldahhak, Hazem and Paszkiewicz, M. and Allegretti, F. and Duncan, D. A. and Tebi, S. and Deimel, P. S. and Casado Aguilar, P. and Zhang, Y.-Q. and Papageorgiou, A. C. and Koch, R. and et al.}, year={2017}, pages={2192–2200} }
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 124
@inproceedings{Jazayeri_Zimmermann_Engels_Kundisch_2017, place={Málaga, Spain}, series={Lecture Notes in Computer Science (LNCS)}, title={A Variability Model for Store-oriented Software Ecosystems: An Enterprise Perspective}, volume={10601}, DOI={10.1007/978-3-319-69035-3_42}, booktitle={Proceedings of the 15th International Conference on Service Oriented Computing (ICSOC)}, publisher={Springer}, author={Jazayeri, Bahar and Zimmermann, Olaf and Engels, Gregor and Kundisch, Dennis}, year={2017}, collection={Lecture Notes in Computer Science (LNCS)} }
LibreCat | Files available | DOI
 

2017 | Journal Article | LibreCat-ID: 13277
@article{Köster_Mausbach_Vrabec_2017, title={Premelting, Solid-Fluid Equilibria, and Thermodynamic Properties in the High Density Region Based on the Lennard-Jones Potential}, volume={147}, DOI={10.1063/1.4990667}, number={14}, journal={The Journal of Chemical Physics}, author={Köster, Andreas and Mausbach, Peter and Vrabec, Jadran}, year={2017}, pages={144502} }
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 13289
@article{Yulin_Driben_Meier_2017, title={Bloch oscillations and resonant radiation of light propagating in arrays of nonlinear fibers with high-order dispersion}, volume={96}, DOI={10.1103/physreva.96.033827}, number={3}, journal={Physical Review A}, author={Yulin, A. and Driben, R. and Meier, Torsten}, year={2017} }
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 13354
@article{Luk_Kwong_Lewandowski_Schumacher_Binder_2017, title={Optically Controlled Orbital Angular Momentum Generation in a Polaritonic Quantum Fluid}, volume={119}, DOI={10.1103/physrevlett.119.113903}, number={11}, journal={Physical Review Letters}, author={Luk, S. M. H. and Kwong, N. H. and Lewandowski, P. and Schumacher, Stefan and Binder, R.}, year={2017} }
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 12015
@inproceedings{Hagenauer_Sommer_Higuchi_Altintas_Dressler_2017, title={Parked Cars as Virtual Network Infrastructure}, DOI={10.1145/3131944.3131952}, booktitle={Proceedings of the 2nd ACM International Workshop on Smart, Autonomous, and Connected Vehicular Systems and Services  - CarSys ’17}, author={Hagenauer, Florian and Sommer, Christoph and Higuchi, Takamasa and Altintas, Onur and Dressler, Falko}, year={2017} }
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 13861
@inproceedings{Olfert_Becker_Henning_2017, place={Berlin}, title={Erweiterung des Mason-Modells zur Beschreibung eines Partikelbelags auf einer Quarzscheibe}, booktitle={Deutsche Gesellschaft für Akustik e.V. 2017- Fortschritte der Akustik - DAGA 2017}, publisher={Deutsche Gesellschaft für Akustik e.V. (DEGA)}, author={Olfert, Sergei and Becker, Sebastian and Henning, Bernd}, year={2017}, pages={1015–1018} }
LibreCat
 

2017 | Journal Article | LibreCat-ID: 13905
@article{Sharapova_Luo_Herrmann_Reichelt_Silberhorn_Meier_2017, title={Modified two-photon interference achieved by the manipulation of entanglement}, volume={96}, DOI={10.1103/physreva.96.043857}, journal={Physical Review A}, author={Sharapova, Polina and Luo, Kai and Herrmann, Harald and Reichelt, Matthias and Silberhorn, Christine and Meier, Torsten}, year={2017}, pages={043857} }
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 1452
@article{Pelster_2017, title={I’ll Have What S/he’s Having: A Case Study of a Social Trading Network}, journal={Proceedings of the International Conference on Information Systems}, author={Pelster, Matthias}, year={2017} }
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 15033
@inproceedings{Djakow_Springer_Homberg_Piper_Tran_Zibart_Kenig_2017, title={Incremental electrohydraulic forming - A new approach for the manufacture of structured multifunctional sheet metal blanks}, DOI={10.1063/1.5008083}, author={Djakow, Eugen and Springer, Robert and Homberg, Werner and Piper, Mark and Tran, Julian and Zibart, Alexander and Kenig, Eugeny}, year={2017} }
LibreCat | DOI
 

2017 | Book Chapter | LibreCat-ID: 14857
@inbook{Beckschäfer_Malberg_Tierney_Weskamp_2017, place={Cham}, title={Simulating Storage Policies for an Automated Grid-Based Warehouse System}, DOI={10.1007/978-3-319-68496-3_31}, booktitle={Lecture Notes in Computer Science}, author={Beckschäfer, Michaela and Malberg, Simon and Tierney, Kevin and Weskamp, Christoph}, year={2017} }
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 15590
@inproceedings{Bergner_Köster_Magenheim_Müller_Romeike_Schroeder_Schulte_2017, title={Zieldimensionen für frühe informatische Bildung im Kindergarten und in der Grundschule}, booktitle={Informatische Bildung zum Verstehen und Gestalten der digitalen Welt, Proceedings der 17. GI-Fachtagung Informatik und Schule, (INFOS) 2017, 13.-15. September 2017, Oldenburg}, author={Bergner, Nadine and Köster, Hilde and Magenheim, Johannes and Müller, Kathrin and Romeike, Ralf and Schroeder, Ulrik and Schulte, Carsten}, year={2017}, pages={53–62} }
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 15083
@inproceedings{Dunst_Hartel_2017, title={Corpora and Complex Networks as Cultural Critique: Investigating Race and Gender Bias in Graphic Narratives}, booktitle={Digital Humanities 2017, DH 2017, Conference Abstracts}, author={Dunst, Alexander and Hartel, Rita}, year={2017} }
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 15110
@inproceedings{Couso_Dubois_Hüllermeier_2017, title={Maximum likelihood estimation and coarse data}, booktitle={in Proceedings SUM 2017, 11th International Conference on Scalable Uncertainty Management, Granada, Spain}, publisher={Springer}, author={Couso, Ines and Dubois, D. and Hüllermeier, Eyke}, year={2017}, pages={3–16} }
LibreCat
 

2017 | Journal Article | LibreCat-ID: 16322
@article{Preiß_Förster_Otto_Bauer_Müller_Hinderberger_Hashemi Haeri_Carella_Heinze_2017, title={Structure and reactivity of a mononuclear gold(II) complex}, DOI={10.1038/nchem.2836}, journal={Nature Chemistry}, author={Preiß, Sebastian and Förster, Christoph and Otto, Sven and Bauer, Matthias and Müller, Patrick and Hinderberger, Dariush and Hashemi Haeri, Haleh and Carella, Luca and Heinze, Katja}, year={2017}, pages={1249–1255} }
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 16339
@inproceedings{Brandt_Fischer_2017, place={Paderborn}, title={Automatische Ableitung der Transportwege von Transportsystemen aus dem 3D-Polygonmodell}, volume={369}, booktitle={Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Brandt, Sascha and Fischer, Matthias}, year={2017}, pages={415–427} }
LibreCat
 

2017 | Journal Article | LibreCat-ID: 16062
@article{Schweizer_Becker-Staines_Tröster_2017, title={Separation of Hybrid Structures for the Reclaim of their Single Components}, DOI={10.4028/www.scientific.net/kem.742.568}, journal={Key Engineering Materials}, author={Schweizer, Swetlana and Becker-Staines, Anna and Tröster, Thomas}, year={2017}, pages={568–575} }
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 1589
@article{Schumacher_Plessl_Vandelli_2017, title={High-Throughput and Low-Latency Network Communication with NetIO}, volume={898}, DOI={10.1088/1742-6596/898/8/082003}, number={082003}, journal={Journal of Physics: Conference Series}, publisher={IOP Publishing}, author={Schumacher, Jörn and Plessl, Christian and Vandelli, Wainer}, year={2017} }
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 1767
@inproceedings{Mavronicolas_Monien_2017, series={LNCS}, title={Conditional Value-at-Risk: Structure and Complexity of Equilibria}, volume={10504}, DOI={10.1007/978-3-319-66700-3_11}, booktitle={Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017)}, author={Mavronicolas, Marios and Monien, Burkhard}, year={2017}, pages={131--143}, collection={LNCS} }
LibreCat | Files available | DOI
 

2017 | Journal Article | LibreCat-ID: 2051
@article{Krimphove_2017, title={Eigentum – Zum Bedeutungswandel eines Rechtsinstituts}, number={Jg. 47, Heft 3}, journal={Rechtstheorie}, publisher={Dunker und Humblot}, author={Krimphove, Dieter}, year={2017}, pages={271 – 317} }
LibreCat
 

2017 | Journal Article | LibreCat-ID: 1685
@article{Krimphove_2017, title={Das BaFin-Rundschreiben „aufsichtsrechtliche Mindestanforderungen an die Geschäftsorganisationen von Versicherungsunternehmen“ (MaGo)}, journal={Zeitschrift für Versicherungsrecht, Haftung-und Schadensrecht VersR }, author={Krimphove, Dieter}, year={2017}, pages={326 ff.} }
LibreCat
 

2017 | Journal Article | LibreCat-ID: 1813
@article{P. Fekete_W. Richa_Römer_Scheideler_2017, title={Algorithmic Foundations of Programmable Matter Dagstuhl Seminar 16271}, DOI={10.1145/3106700.3106713}, number={2}, journal={SIGACT News}, author={P. Fekete, Sandor and W. Richa, Andrea and Römer, Kay and Scheideler, Christian}, year={2017}, pages={87--94} }
LibreCat | DOI
 

2017 | Conference (Editor) | LibreCat-ID: 1820
@book{Scheideler_Taghi Hajiaghayi_2017, title={Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017}, DOI={10.1145/3087556}, year={2017} }
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 16581
@article{Dellnitz_Klus_Ziessler_2017, title={A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty}, DOI={10.1137/16m1072735}, journal={SIAM Journal on Applied Dynamical Systems}, author={Dellnitz, Michael and Klus, Stefan and Ziessler, Adrian}, year={2017}, pages={120–138} }
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 2741
@inproceedings{Ali Ashraf_Wang_Eldessoki_Holfeld_Parruca_Serror_Gross_2017, place={Dresden}, title={From Radio Design to System Evaluations for Ultra-Reliable and Low-Latency Communication }, publisher={Proceedings of 23th European Wireless Conference 2017, 17- 19.05.2017}, author={Ali Ashraf, Shehzad and Wang, Y.-P. Eric and Eldessoki, Sameh and Holfeld, Bernd and Parruca, Donald and Serror, Martin and Gross, James}, year={2017} }
LibreCat | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 2967
@inproceedings{Blömer_Liske_2017, place={Cham}, series={Lecture Notes in Computer Science}, title={Subtleties in Security Definitions for Predicate Encryption with Public Index}, volume={10693}, DOI={10.1007/978-3-319-72453-9_35}, booktitle={Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS)}, publisher={Springer International Publishing}, author={Blömer, Johannes and Liske, Gennadij}, year={2017}, pages={438–453}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI | Download (ext.)
 

2017 | Book Chapter | LibreCat-ID: 2619
@inbook{Betz_2017, place={Hamburg}, title={Strategische Erfolgsplanung für Produktinnovationen}, booktitle={Aktuelle Fragestellungen zu Produktion, Logistik und Controlling}, author={Betz, Stefan}, editor={Betz, StefanEditor}, year={2017}, pages={85–111} }
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 3155
@inproceedings{Töws_Wehrheim_2017, series={Lecture Notes in Computer Science}, title={Policy Dependent and Independent Information Flow Analyses}, DOI={10.1007/978-3-319-68690-5_22}, booktitle={Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November 13-17, 2017, Proceedings}, author={Töws, Manuel and Wehrheim, Heike}, editor={Duan, Zhenhua and Ong, LukeEditors}, year={2017}, pages={362--378}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

Filters and Search Terms

year=2017

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed