default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlwen Tiu
Alwen Fernanto Tiu
Person information
- affiliation: Australian National University, Acton, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c57]Tingfeng Yu, James Henderson, Alwen Tiu, Thomas Haines:
Security and Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System. USENIX Security Symposium 2024- [i34]Tim S. Lyon, Ian Shillito, Alwen Tiu:
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents. CoRR abs/2404.15855 (2024) - [i33]Di Long Li, Jim de Groot, Alwen Tiu:
Tamgram: A Frontend for Large-scale Protocol Modeling in Tamarin. CoRR abs/2408.13138 (2024) - 2023
- [c56]Mark Alexander Burgess, Charles Gretton
, Josh Milthorpe, Luke Croak, Thomas Willingham, Alwen Tiu:
Dagster: Parallel Structured Search. AAAI 2023: 16404-16406 - [c55]Tiange Liu, Alwen Tiu, Jim de Groot:
Modal Logics for Mobile Processes Revisited. CONCUR 2023: 34:1-34:17 - 2022
- [c54]Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Alwen Tiu, Rolando Trujillo-Rasua:
Is Eve nearby? Analysing protocols under the distant-attacker assumption. CSF 2022: 17-32 - [c53]Alwen Tiu:
A Methodology for Designing Proof Search Calculi for Non-Classical Logics (Invited Talk). FSCD 2022: 2:1-2:4 - [c52]Alex James, Alwen Tiu, Nisansala Yatapanage:
PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification. ICFEM 2022: 173-189 - [c51]Mark Alexander Burgess, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham, Alwen Tiu:
Dagster: Parallel Structured Search with Case Studies. PRICAI (1) 2022: 75-89 - [i32]Wilayat Khan, Zhe Hou, David Sanán, Jamel Nebhen, Yang Liu, Alwen Tiu:
An Executable Formal Model of the VHDL in Isabelle/HOL. CoRR abs/2202.04192 (2022) - [i31]Alex James, Alwen Tiu, Nisansala Yatapanage:
PFMC: a parallel symbolic model checker for security protocol verification. CoRR abs/2207.09895 (2022) - [i30]Tingfeng Yu, James Henderson, Alwen Tiu, Thomas Haines:
Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System. CoRR abs/2210.14702 (2022) - 2021
- [j24]Silivanxay Phetsouvanh, Anwitaman Datta, Alwen Tiu:
On unlinkability and denial of service attacks resilience of whistleblower platforms. Future Gener. Comput. Syst. 118: 438-452 (2021) - [j23]Zhé Hóu, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa, Jin Song Dong:
An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model. J. Autom. Reason. 65(4): 569-598 (2021) - [j22]Zhiwu Xu, Hongxu Chen, Alwen Tiu, Yang Liu, Kunal Sareen:
A permission-dependent type system for secure information flow analysis. J. Comput. Secur. 29(2): 161-228 (2021) - [j21]Ki Yung Ahn, Ross Horne, Alwen Tiu:
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. Log. Methods Comput. Sci. 17(3) (2021) - [j20]Xiaoning Du, Alwen Tiu, Kun Cheng, Yang Liu:
Trace-Length Independent Runtime Monitoring of Quantitative Policies. IEEE Trans. Dependable Secur. Comput. 18(3): 1489-1510 (2021) - [j19]Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake, Alwen Tiu:
Display to Labeled Proofs and Back Again for Tense Logics. ACM Trans. Comput. Log. 22(3): 20:1-20:31 (2021) - [e2]Claudio Sacerdoti Coen, Alwen Tiu:
Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2020, Paris, France, 29th June 2020. EPTCS 332, 2021 [contents] - 2020
- [c50]Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston:
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. CSL 2020: 28:1-28:16
2010 – 2019
- 2019
- [j18]Ross Horne, Alwen Tiu:
Constructing weak simulations from linear implications for processes with private names. Math. Struct. Comput. Sci. 29(8): 1275-1308 (2019) - [j17]Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu:
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic. ACM Trans. Comput. Log. 20(4): 22:1-22:44 (2019) - [c49]Di Long Li, Alwen Tiu:
Combining ProVerif and Automated Theorem Provers for Security Protocol Verification. CADE 2019: 354-365 - [c48]Tom Hamer, Kerry Taylor, Kee Siong Ng, Alwen Tiu:
Private Digital Identity on Blockchain. BlockSW/CKG@ISWC 2019 - [i29]Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Jin Song Dong:
A formalisation of the SPARC TSO memory model for multi-core machine code. CoRR abs/1906.11203 (2019) - [i28]Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston:
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. CoRR abs/1910.05215 (2019) - [i27]Agata Ciabattoni, Tim Lyon, Revantha Ramanayake, Alwen Tiu:
Display to Labelled Proofs and Back Again for Tense Logics. CoRR abs/1911.02289 (2019) - 2018
- [j16]Zhe Hou, Rajeev Goré, Alwen Tiu:
A labelled sequent calculus for BBI: proof theory and proof search. J. Log. Comput. 28(4): 809-872 (2018) - [j15]Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Trans. Comput. Log. 19(2): 13:1-13:35 (2018) - [c47]Hongxu Chen, Alwen Tiu, Zhiwu Xu, Yang Liu:
A Permission-Dependent Type System for Secure Information Flow Analysis. CSF 2018: 218-232 - [c46]Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun:
Compositional Reasoning for Shared-Variable Concurrent Programs. FM 2018: 523-541 - [c45]Ross Horne, Sjouke Mauw, Alwen Tiu:
The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement. GraMSec@FLoC 2018: 90-110 - [c44]Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu:
Quasi-Open Bisimilarity with Mismatch is Intuitionistic. LICS 2018: 26-35 - 2017
- [j14]Ross Horne, Sjouke Mauw, Alwen Tiu:
Semantics for Specialising Attack Trees based on Linear Logic. Fundam. Informaticae 153(1-2): 57-86 (2017) - [c43]Ki Yung Ahn, Ross Horne, Alwen Tiu:
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. CONCUR 2017: 7:1-7:17 - [c42]Emanuele D'Osualdo, Luke Ong, Alwen Tiu:
Deciding Secrecy of Security Protocols for an Unbounded Number of Sessions: The Case of Depth-Bounded Processes. CSF 2017: 464-480 - [c41]Zhe Hou, David Sanán, Alwen Tiu, Yang Liu:
Proof Tactics for Assertions in Separation Logic. ITP 2017: 285-303 - [c40]Wilayat Khan, Alwen Tiu, David Sanán:
VeriFormal: An Executable Formal Model of a Hardware Description Language. SG-CRC 2017: 19-36 - [c39]Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, Alwen Tiu:
Steelix: program-state based binary fuzzing. ESEC/SIGSOFT FSE 2017: 627-637 - [c38]David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu:
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs. TACAS (1) 2017: 481-498 - [i26]Ki Yung Ahn, Ross Horne, Alwen Tiu:
A Characterisation of Open Bisimulation using an Intuitionistic Modal Logic. CoRR abs/1701.05324 (2017) - [i25]Ki Yung Ahn, Ross Horne, Alwen Tiu:
Generating Witness of Non-Bisimilarity for the pi-Calculus. CoRR abs/1705.10908 (2017) - [i24]Hongxu Chen, Alwen Tiu, Zhiwu Xu, Yang Liu:
A Permission-Dependent Type System for Secure Information Flow Analysis. CoRR abs/1709.09623 (2017) - [i23]Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Modular Labelled Sequent Calculi for Abstract Separation Logics. CoRR abs/1710.10805 (2017) - 2016
- [j13]Zhe Hou, David Sanán, Alwen Tiu, Rajeev Goré, Ranald Clouston:
Separata: Isabelle tactics for Separation Algebra. Arch. Formal Proofs 2016 (2016) - [j12]Zhe Hou, David Sanán, Alwen Tiu, Yang Liu:
A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor. Arch. Formal Proofs 2016 (2016) - [c37]Alwen Tiu, Nam Nguyen, Ross Horne:
SPEC: An Equivalence Checker for Security Protocols. APLAS 2016: 87-95 - [c36]Zhe Hou, Alwen Tiu:
Completeness for a First-Order Abstract Separation Logic. APLAS 2016: 444-463 - [c35]Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu:
Private Names in Non-Commutative Logic. CONCUR 2016: 31:1-31:16 - [c34]Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa:
An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor. FM 2016: 388-405 - [i22]Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu:
Private Names in Non-Commutative Logic. CoRR abs/1602.06043 (2016) - [i21]Zhe Hou, Alwen Tiu:
Completeness for a First-order Abstract Separation Logic. CoRR abs/1608.06729 (2016) - [i20]Omar I. Al-Bataineh, Xiaofei Xie, Alwen Tiu, Mark Reynolds:
Termination of Monotone Programs. CoRR abs/1610.09607 (2016) - [i19]Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun:
Compositional Reasoning for Shared-variable Concurrent Programs. CoRR abs/1611.00574 (2016) - 2015
- [c33]Zhe Hou, Rajeev Goré, Alwen Tiu:
Automated Theorem Proving for Assertions in Separation Logic with All Connectives. CADE 2015: 501-516 - [c32]Xiaoning Du, Yang Liu, Alwen Tiu:
Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL. FM 2015: 231-247 - [e1]Xavier Leroy, Alwen Tiu:
Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015. ACM 2015, ISBN 978-1-4503-3296-5 [contents] - [i18]Hendra Gunadi, Alwen Tiu, Rajeev Goré:
Formal Certification of Android Bytecode. CoRR abs/1504.01842 (2015) - 2014
- [j11]David Baelde, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, Yuting Wang:
Abella: A System for Reasoning about Relational Specifications. J. Formaliz. Reason. 7(2): 1-89 (2014) - [c31]Hendra Gunadi, Alwen Tiu:
Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System. FM 2014: 296-311 - [c30]Jeremy E. Dawson, Ranald Clouston, Rajeev Goré, Alwen Tiu:
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic. IFIP TCS 2014: 250-264 - [c29]Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Proof search for propositional abstract separation logics via labelled sequents. POPL 2014: 465-476 - 2013
- [c28]Dale Miller, Alwen Tiu:
Extracting Proofs from Tabled Proof Search. CPP 2013: 194-210 - [c27]Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu:
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. CSL 2013: 197-214 - [c26]Zhe Hou, Alwen Tiu, Rajeev Goré:
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. TABLEAUX 2013: 172-187 - [i17]Zhe Hou, Alwen Tiu, Rajeev Goré:
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. CoRR abs/1302.4783 (2013) - [i16]Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu:
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version. CoRR abs/1307.0289 (2013) - [i15]Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Proof search for propositional abstract separation logics via labelled sequents. CoRR abs/1307.5592 (2013) - [i14]Hendra Gunadi, Alwen Tiu:
Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System. CoRR abs/1311.2362 (2013) - 2012
- [j10]Yuxin Deng, Alwen Tiu:
Characterisations of testing preorders for a finite probabilistic π-calculus. Formal Aspects Comput. 24(4-6): 701-726 (2012) - [j9]Alwen Tiu, Alberto Momigliano:
Cut elimination for a logic with induction and co-induction. J. Appl. Log. 10(4): 330-367 (2012) - [c25]Alwen Tiu, Egor Ianovski, Rajeev Goré:
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. Advances in Modal Logic 2012: 516-537 - [c24]Alwen Tiu:
Stratification in Logics of Definitions. IJCAR 2012: 544-558 - [i13]Yuxin Deng, Alwen Tiu:
Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus. CoRR abs/1201.2258 (2012) - [i12]Alwen Tiu, Egor Ianovski, Rajeev Goré:
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. CoRR abs/1204.2413 (2012) - 2011
- [j8]Rajeev Goré, Linda Postniece, Alwen Tiu:
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics. Log. Methods Comput. Sci. 7(2) (2011) - [c23]Alwen Tiu:
A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains. TABLEAUX 2011: 248-262 - [i11]Alwen Tiu:
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 76 - 2010
- [j7]Alwen Tiu, Rajeev Goré, Jeremy E. Dawson:
A Proof Theoretic Analysis of Intruder Theories. Log. Methods Comput. Sci. 6(3) (2010) - [j6]Alwen Tiu, Dale Miller:
Proof search specifications of bisimulation and modal logics for the pi-calculus. ACM Trans. Comput. Log. 11(2): 13:1-13:35 (2010) - [c22]Rajeev Goré, Linda Postniece, Alwen Tiu:
Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. Advances in Modal Logic 2010: 156-177 - [c21]Alwen Tiu, Jeremy E. Dawson:
Automating Open Bisimulation Checking for the Spi Calculus. CSF 2010: 307-321 - [i10]Rajeev Goré, Linda Postniece, Alwen Tiu:
Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic. CoRR abs/1006.4793 (2010) - [i9]Alwen Tiu, Alberto Momigliano:
Cut Elimination for a Logic with Induction and Co-induction. CoRR abs/1009.6171 (2010)
2000 – 2009
- 2009
- [c20]Andreas Bauer, Rajeev Goré, Alwen Tiu:
A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC 2009: 96-111 - [c19]Franz Baader, Andreas Bauer, Alwen Tiu:
Matching Trace Patterns with Regular Policies. LATA 2009: 105-116 - [c18]Alwen Tiu, Rajeev Goré:
A Proof Theoretic Analysis of Intruder Theories. RTA 2009: 103-117 - [c17]Rajeev Goré, Linda Postniece, Alwen Tiu:
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. TABLEAUX 2009: 189-204 - [c16]Jeremy E. Dawson, Alwen Tiu:
Formalising Observer Theory for Environment-Sensitive Bisimulation. TPHOLs 2009: 180-195 - [i8]Alwen Tiu:
A Trace Based Bisimulation for the Spi Calculus. CoRR abs/0901.2166 (2009) - [i7]Andreas Bauer, Rajeev Goré, Alwen Tiu:
A decidable policy language for history-based transaction monitoring. CoRR abs/0903.2904 (2009) - 2008
- [c15]Rajeev Goré, Linda Postniece, Alwen Tiu:
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Advances in Modal Logic 2008: 43-66 - [c14]Franz Baader, Andreas Bauer, Alwen Tiu:
Matching linear and non-linear trace patterns with regular policies. UNIF 2008: 16-24 - [c13]Alwen Tiu:
On the Role of Names in Reasoning about lambda-tree Syntax Specifications. LFMTP@LICS 2008: 135-150 - [i6]Alwen Tiu:
Cut Elimination for a Logic with Generic Judgments and Induction. CoRR abs/0801.3065 (2008) - [i5]Alwen Tiu, Rajeev Goré:
A proof theoretic analysis of intruder theories. CoRR abs/0804.0273 (2008) - [i4]Alwen Tiu, Dale Miller:
Proof Search Specifications for Bisimulation and Modal Logics for the pi-Calculus. CoRR abs/0805.2785 (2008) - [i3]Alwen Tiu, Alberto Momigliano:
Induction and Co-induction in Sequent Calculus. CoRR abs/0812.4727 (2008) - 2007
- [j5]Damián Barsotti, Leonor Prensa Nieto, Alwen Tiu:
Verification of clock synchronization algorithms: experiments on a combination of deductive tools. Formal Aspects Comput. 19(3): 321-341 (2007) - [j4]Rajeev Goré, Alwen Tiu:
Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5. J. Log. Comput. 17(4): 767-794 (2007) - [c12]Alwen Tiu:
A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract. APLAS 2007: 367-382 - [c11]David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu:
The Bedwyr System for Model Checking over Syntactic Expressions. CADE 2007: 391-397 - [i2]David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu:
The Bedwyr system for model checking over syntactic expressions. CoRR abs/cs/0702116 (2007) - 2006
- [j3]Alwen Tiu:
A System of Interaction and Structure II: The Need for Deep Inference. Log. Methods Comput. Sci. 2(2) (2006) - [c10]Alwen Tiu:
A Local System for Intuitionistic Logic. LPAR 2006: 242-256 - [c9]Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu:
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. TACAS 2006: 167-181 - [c8]Alwen Tiu:
A Logic for Reasoning about Generic Judgments. LFMTP@FLoC 2006: 3-18 - 2005
- [j2]Alwen Tiu:
Formalization of a Generalized Protocol for Clock Synchronization. Arch. Formal Proofs 2005 (2005) - [j1]Dale Miller, Alwen Tiu:
A proof theory for generic judgments. ACM Trans. Comput. Log. 6(4): 749-783 (2005) - [c7]Alwen Fernanto Tiu:
Model Checking for pi-Calculus Using Proof Search. CONCUR 2005: 36-50 - [c6]Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu:
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools. AVoCS 2005: 63-78 - [i1]Alwen Tiu:
A System of Interaction and Structure II: The Need for Deep Inference. CoRR abs/cs/0512036 (2005) - 2004
- [c5]Alwen Fernanto Tiu, Dale Miller:
A Proof Search Specification of the pi-Calculus. FGUC 2004: 79-101 - 2003
- [c4]Dale Miller, Alwen Fernanto Tiu:
A Proof Theory for Generic Judgments: An extended abstract. LICS 2003: 118-127 - [c3]Alberto Momigliano, Alwen Fernanto Tiu:
Induction and Co-induction in Sequent Calculus. TYPES 2003: 293-308 - 2002
- [c2]Dale Miller, Alwen Fernanto Tiu:
Encoding Generic Judgments. FSTTCS 2002: 18-32 - 2001
- [c1]Kai Brünnler, Alwen Fernanto Tiu:
A Local System for Classical Logic. LPAR 2001: 347-361
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.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional 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 information given by OpenAlex.
last updated on 2024-10-07 22:19 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:
