default search action
Olaf Owe
Person information
- affiliation: University of Oslo, Norway
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j35]Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse:
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. Sci. Comput. Program. 232: 103046 (2024) - [p2]Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe:
Integrating Data Privacy Compliance in Active Object Languages. Active Object Languages: Current Research Trends 2024: 263-288 - 2023
- [c64]Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe:
Assuring GDPR Conformance Through Language-Based Compliance. Privacy and Identity Management 2023: 46-63 - [i6]Daniel Gerbi Duguma, Juliana Zhang, Meysam Aboutalebi, Shiliang Zhang, Catherine Banet, Cato Bjørkli, Chinmayi Prabhu Baramashetru, Frank Eliassen, Hui Zhang, Jonathan Muringani, Josef Noll, Knut Inge Fostervold, Lars Böcker, Lee Andrew Bygrave, Matin Bagherpour, Maunya Doroudi Moghadam, Olaf Owe, Poushali Sengupta, Roman Vitenberg, Sabita Maharjan, Thiago Garrett, Yushuai Li, Zhengyu Shan:
Privacy-preserving transactive energy systems: Key topics and open research challenges. CoRR abs/2312.11564 (2023) - 2022
- [j34]Hamed Arshad, Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez, Gerardo Schneider:
Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies. Inf. Sci. 616: 558-576 (2022) - [j33]Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani:
Static checking of GDPR-related privacy compliance for object-oriented distributed systems. J. Log. Algebraic Methods Program. 125: 100733 (2022) - [j32]Olaf Owe, Elahe Fazeldehkordi:
A lightweight approach to smart contracts supporting safety, security, and privacy. J. Log. Algebraic Methods Program. 127: 100772 (2022) - [j31]Hamed Arshad, Christian Johansen, Olaf Owe:
Semantic Attribute-Based Access Control: A review on current status and future perspectives. J. Syst. Archit. 129: 102625 (2022) - [c63]Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse:
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. FORTE 2022: 11-30 - [c62]Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka:
A Policy Language to Capture Compliance of Data Protection Requirements. IFM 2022: 289-309 - 2020
- [c61]Shukun Tokas, Olaf Owe:
A Formal Framework for Consent Management. FORTE 2020: 169-186 - [c60]Farzane Karami, Olaf Owe, Gerardo Schneider:
Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures. NordSec 2020: 74-91 - [i5]Ming-Chang Lee, Jia-Chun Lin, Olaf Owe:
PDS: Deduce Elder Privacy from Smart Homes. CoRR abs/2001.08099 (2020) - [i4]Farzane Karami, Olaf Owe, Gerardo Schneider:
Security Wrappers for Information-Flow Control in Active Object Languages with Futures. CoRR abs/2002.10900 (2020)
2010 – 2019
- 2019
- [j30]Ming-Chang Lee, Jia-Chun Lin, Olaf Owe:
PDS: Deduce elder privacy from smart homes. Internet Things 7 (2019) - [j29]Christian Johansen, Olaf Owe:
Dynamic structural operational semantics. J. Log. Algebraic Methods Program. 107: 79-107 (2019) - [j28]Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani:
An evaluation of interaction paradigms for active objects. J. Log. Algebraic Methods Program. 103: 154-183 (2019) - [c59]Elahe Fazeldehkordi, Olaf Owe, Toktam Ramezanifarkhani:
A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems. IOSec/MSTEC/FINSEC@ESORICS 2019: 258-277 - [c58]Christian Johansen, Olaf Owe:
Summary of: Dynamic Structural Operational Semantics. IFM 2019: 525-528 - [c57]Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani:
Summary of: An Evaluation of Interaction Paradigms for Active Objects. IFM 2019: 529-533 - [c56]Elahe Fazeldehkordi, Olaf Owe, Josef Noll:
Security and Privacy in IoT Systems: A Case Study of Healthcare Products. ISMICT 2019: 1-8 - [c55]Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi:
A Flexible Framework for Program Evolution and Verification. MODELSWARD 2019: 177-189 - [c54]Olaf Owe, Elahe Fazeldehkordi, Jia-Chun Lin:
A Framework for Flexible Program Evolution and Verification of Distributed Systems. MODELSWARD (Revised Selected Papers) 2019: 320-349 - [c53]Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani:
Language-Based Mechanisms for Privacy-by-Design. Privacy and Identity Management 2019: 142-158 - [c52]Elahe Fazeldehkordi, Olaf Owe, Josef Noll:
Security and Privacy Functionalities in IoT. PST 2019: 1-12 - 2018
- [j27]Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu:
A modular reasoning system using uninterpreted predicates for code reuse. J. Log. Algebraic Methods Program. 95: 82-102 (2018) - [j26]Toktam Ramezanifarkhani, Olaf Owe, Shukun Tokas:
A secrecy-preserving language for distributed and object-oriented systems. J. Log. Algebraic Methods Program. 99: 1-25 (2018) - [c51]Ming-Chang Lee, Jia-Chun Lin, Olaf Owe:
EasyChoose: A Continuous Feature Extraction and Review Highlighting Scheme on Hadoop YARN. AINA 2018: 996-1002 - [c50]Ming-Chang Lee, Jia-Chun Lin, Olaf Owe:
Privacy Mining from IoT-Based Smart Homes. BWCCA 2018: 304-315 - [i3]Ming-Chang Lee, Jia-Chun Lin, Olaf Owe:
Privacy Mining from IoT-based Smart Homes. CoRR abs/1808.07379 (2018) - 2017
- [j25]Olaf Owe, Charlie McDowell:
On detecting over-eager concurrency in asynchronously communicating concurrent object systems. J. Log. Algebraic Methods Program. 90: 158-175 (2017) - [c49]Olaf Owe, Toktam Ramezanifarkhani:
Confidentiality of Interactions in Concurrent Object-Oriented Systems. DPM/CBT@ESORICS 2017: 19-34 - [c48]Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi:
Hoare-Style Reasoning from Multiple Contracts. IFM 2017: 263-278 - 2016
- [j24]Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu:
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. 1: 130-156 (2016) - [j23]Einar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk:
A formal model of service-oriented dynamic object groups. Sci. Comput. Program. 115-116: 3-22 (2016) - [c47]Olaf Owe:
Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems. IFM 2016: 210-225 - [p1]Olaf Owe:
Verifiable Programming of Object-Oriented and Distributed Systems. From Action Systems to Distributed Systems 2016: 61-79 - [i2]Christian Johansen, Olaf Owe:
Dynamic Structural Operational Semantics. CoRR abs/1612.00666 (2016) - 2015
- [j22]Crystal Chang Din, Olaf Owe:
Compositional reasoning about active objects with shared futures. Formal Aspects Comput. 27(3): 551-572 (2015) - [j21]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu:
A proof system for adaptable class hierarchies. J. Log. Algebraic Methods Program. 84(1): 37-53 (2015) - 2014
- [j20]Crystal Chang Din, Olaf Owe:
A sound and complete reasoning system for asynchronous communication with shared futures. J. Log. Algebraic Methods Program. 83(5-6): 360-383 (2014) - [c46]Crystal Chang Din, Olaf Owe, Richard Bubel:
Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. MODELSWARD 2014: 480-487 - [c45]Olaf Owe, Ingrid Chieh Yu:
Deadlock detection of active objects with synchronous and asynchronous method calls. NIK 2014 - 2013
- [j19]Olaf Owe, Martin Steffen, Jan Arne Telle:
The 18th International Symposium on Fundamentals of Computation Theory. Inf. Comput. 231: 1-2 (2013) - [c44]Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham:
Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks. IRI (best papers) 2013: 127-150 - [c43]Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham:
Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis. IRI 2013: 504-511 - 2012
- [j18]Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe:
Observable behavior of distributed systems: Component reasoning for concurrent objects. J. Log. Algebraic Methods Program. 81(3): 227-256 (2012) - [j17]Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen:
Safe locking for multi-threaded Java with exceptions. J. Log. Algebraic Methods Program. 81(3): 257-283 (2012) - [j16]Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
Formal modeling and validation of a power-efficient grouping protocol for WSNs. J. Log. Algebraic Methods Program. 81(3): 284-297 (2012) - [c42]Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. IFM 2012: 143-157 - [c41]Crystal Chang Din, Johan Dovland, Olaf Owe:
Compositional Reasoning about Shared Futures. SEFM 2012: 94-108 - [c40]Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu:
A transformational proof system for delta-oriented programming. SPLC (2) 2012: 53-60 - [c39]Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe:
A Type-Safe Model of Adaptive Object Groups. FOCLASA 2012: 1-15 - 2011
- [j15]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Sci. Comput. Program. 76(10): 915-941 (2011) - [c38]Lucian Bentea, Olaf Owe:
A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems. FoVeOOS 2011: 105-122 - [c37]Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen:
Safe Locking for Multi-threaded Java. FSEN 2011: 158-173 - [c36]Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. ICECCS 2011: 253-262 - [e3]Olaf Owe, Martin Steffen, Jan Arne Telle:
Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings. Lecture Notes in Computer Science 6914, Springer 2011, ISBN 978-3-642-22952-7 [contents] - 2010
- [j14]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Lazy behavioral subtyping. J. Log. Algebraic Methods Program. 79(7): 578-607 (2010) - [c35]Dave Clarke, Einar Broch Johnsen, Olaf Owe:
Concurrent Objects à la Carte. Concurrency, Compositionality, and Correctness 2010: 185-206 - [c34]Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. FMOODS/FORTE 2010: 95-109 - [c33]Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS 2010: 46-60 - [c32]Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Dynamic Resource Reallocation between Deployment Components. ICFEM 2010: 646-661 - [c31]Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte:
Lightweight Time Modeling in Timed Creol. RTRTS 2010: 67-81 - [c30]Olaf Owe, Martin Steffen, Arild B. Torjusen:
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. MBT@ETAPS 2010: 69-84
2000 – 2009
- 2009
- [j13]Olaf Owe, Gerardo Schneider:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 78(5): 289-290 (2009) - [j12]Olaf Owe, Gerardo Schneider:
Formal languages and analysis of contract-oriented software. J. Log. Algebraic Methods Program. 78(5): 291-292 (2009) - [j11]Einar Broch Johnsen, Olaf Owe, Gerardo Schneider:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 78(7) (2009) - [c29]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Incremental Reasoning for Multiple Inheritance. IFM 2009: 215-230 - [c28]Olaf Owe, Gerardo Schneider:
Wrap Your Objects Safely. FESCA@ETAPS 2009: 127-143 - 2008
- [j10]Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen:
Validating Behavioral Component Interfaces in Rewriting Logic. Fundam. Informaticae 82(4): 341-359 (2008) - [c27]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen:
Lazy Behavioral Subtyping. FM 2008: 52-67 - [c26]Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe:
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. TTSS 2008: 89-103 - [i1]Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider:
Contract-Oriented Software Development for Internet Services. ERCIM News 2008(72) (2008) - 2007
- [j9]Einar Broch Johnsen, Olaf Owe:
An Asynchronous Communication Model for Distributed Concurrent Objects. Softw. Syst. Model. 6(1): 39-58 (2007) - [c25]Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas:
An Object-Oriented Component Model for Heterogeneous Nets. FMCO 2007: 257-279 - [c24]Olaf Owe, Gerardo Schneider, Martin Steffen:
Components, objects, and contracts. SAVCBS 2007: 95-98 - [c23]Johan Dovland, Einar Broch Johnsen, Olaf Owe:
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. FInCo@ETAPS 2007: 19-34 - [c22]Jasmin Christian Blanchette, Olaf Owe:
An Open System Operational Semantics for an Object-Oriented and Component-Based Language. FACS 2007: 151-169 - 2006
- [j8]Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu:
Creol: A type-safe object-oriented model for distributed concurrent systems. Theor. Comput. Sci. 365(1-2): 23-66 (2006) - [c21]Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe:
Type-Safe Runtime Class Upgrades in Creol. FMOODS 2006: 202-217 - [c20]Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn:
Language-based support for service oriented architectures: Future directions. ICSOFT (1) 2006: 339-344 - 2005
- [c19]Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl:
A Dynamic Class Construct for Asynchronous Concurrent Objects. FMOODS 2005: 15-30 - [c18]Einar Broch Johnsen, Olaf Owe:
Inheritance in the Presence of Asynchronous Method Calls. HICSS 2005 - [c17]Demissie B. Aredo, Olaf Owe:
Model-Based Verification in the Development of Dependable Systems. ITCC (2) 2005: 327-334 - [c16]Johan Dovland, Einar Broch Johnsen, Olaf Owe:
Verification of Concurrent Objects with Asynchronous Method Calls. SwSTE 2005: 141-150 - [c15]Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen:
Validating Behavioral Component Interfaces in Rewriting Logic. FSEN 2005: 187-204 - 2004
- [c14]Olaf Owe, Stein Krogdahl, Tom Lyche:
A Biography of Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 1-7 - [c13]Olaf Owe, Stein Krogdahl, Tom Lyche:
A Bibliography of Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 8-14 - [c12]Einar Broch Johnsen, Olaf Owe:
Object-Oriented Specification and Open Distributed Systems. Essays in Memory of Ole-Johan Dahl 2004: 137-164 - [c11]Einar Broch Johnsen, Olaf Owe:
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. FMCO 2004: 274-295 - [c10]Einar Broch Johnsen, Olaf Owe:
An Asynchronous Communication Model for Distributed Concurrent Objects. SEFM 2004: 188-197 - [c9]Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen:
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls. WRLA 2004: 375-392 - [e2]Olaf Owe, Stein Krogdahl, Tom Lyche:
From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl. Lecture Notes in Computer Science 2635, Springer 2004, ISBN 3-540-21366-X [contents] - 2002
- [c8]Einar Broch Johnsen, Olaf Owe:
A Compositional Formalism for Object Viewpoints. FMOODS 2002: 45-60 - [c7]Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo:
Combining Graphical and Formal Development of Open Distributed Systems. IFM 2002: 319-338 - [c6]Einar Broch Johnsen, Olaf Owe:
Composition and Refinement for Partial Object Specifications. IPDPS 2002 - 2001
- [j7]Magne Haveraaen, Olaf Owe:
Guest Editors' Foreword. Nord. J. Comput. 8(3): 277-278 (2001) - [c5]Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain:
Incremental Fault-Tolerant Design in an Object-Oriented Setting. APAQS 2001: 223-230 - [c4]Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo:
Specification of Distributed Systems with a Combination of Graphica and Formal Languages. APSEC 2001: 105- - [c3]Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo:
Integrating UML and OUN for Specification of Open Distributed Systems. HCC 2001: 122-
1990 – 1999
- 1998
- [j6]Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen:
Subtyping and Constructive Specification. Nord. J. Comput. 5(1) (1998) - 1996
- [e1]Magne Haveraaen, Olaf Owe, Ole-Johan Dahl:
Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers. Lecture Notes in Computer Science 1130, Springer 1996, ISBN 3-540-61629-2 [contents] - 1993
- [j5]Olaf Owe:
Partial Logics Reconsidered: A Conservative Approach. Formal Aspects Comput. 5(3): 208-223 (1993) - [j4]Morten Elvang-Gøransson, Olaf Owe:
A Simple Sequent Calculus for Partial Functions. Theor. Comput. Sci. 114(2): 317-330 (1993) - 1992
- [j3]Olaf Owe:
Axiomatic Treatment of Processes with shared Variables Revisited. Formal Aspects Comput. 4(4): 323-340 (1992) - 1991
- [j2]Olaf Owe, Ole-Johan Dahl:
Generator Induction in Order Sorted Algebras. Formal Aspects Comput. 3(1): 2-20 (1991) - [c2]Ole-Johan Dahl, Olaf Owe:
Formal Development with ABEL. VDM Europe (2) 1991: 320-362
1980 – 1989
- 1987
- [b1]David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe:
ANNA - A Language for Annotating Ada Programs, Reference Manual. Lecture Notes in Computer Science 260, Springer 1987, ISBN 3-540-17980-1 - 1985
- [j1]Ole-Johan Dahl, Olaf Owe:
A presentation of the specification and verification project "ABEL". ACM SIGSOFT Softw. Eng. Notes 10(4): 28-32 (1985) - [c1]Friedrich W. von Henke, David C. Luckham, Bernd Krieg-Brückner, Olaf Owe:
Semantic specification of Ada packages. SIGAda 1985: 185-196
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.