default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMurali Sitaraman
Person information
- affiliation: Clemson University, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c71]Nathan Hurtig, Joseph E. Hollingsworth, Sarah Blankenship, Eileen T. Kraemer, Murali Sitaraman, Jason O. Hallstrom:
Network Visualization and Assessment of Student Reasoning About Conditionals. ITiCSE (1) 2022: 255-261- [c70]Nicodemus Msafiri John Mbwambo, Yu-Shan Sun, Joan Krone, Murali Sitaraman:
Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position. SAI (1) 2022: 58-74 - 2021
- [j23]Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman, Yu-Shan Sun
, Jiadi Wang, Gloria J. Washington:
Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum. Informatics Educ. 20(4): 533-566 (2021) - [c69]Megan Fowler, Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth:
Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties. ITiCSE (1) 2021: 387-393 - [c68]Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman:
An Array Abstraction to Amortize Reasoning About Parallel Client Code. SAI (1) 2021: 346-362 - [c67]Nazik A. Almazova, Jason O. Hallstrom, Megan Fowler, Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman, Gloria J. Washington:
Automated Analysis of Student Verbalizations in Online Learning Environments. SETE 2021: 290-302 - [c66]Nazik A. Almazova, Jason O. Hallstrom, Megan Fowler, Joseph E. Hollingsworth, Murali Sitaraman, Eileen T. Kraemer, Gloria J. Washington:
Automated Analysis of Student Verbalizations in Online Learning Environments. SIGCSE 2021: 1272 - [c65]Yu-Shan Sun, Daniel Welch, Murali Sitaraman:
F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails. AppFM@FM 2021: 51-67 - 2020
- [c64]Megan Fowler, Eileen T. Kraemer, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth:
Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions. ECSEE 2020: 52-60 - [c63]Olivia M. Nche, Raquel Boulware, S. Megan Che, Eileen T. Kraemer, Murali Sitaraman, Victor B. Zordan:
Basic Code Understanding Challenges for Elementary School Children. RESPECT 2020: 1-2
2010 – 2019
- 2019
- [c62]Megan Fowler, Michelle Cook, Kevin Plis, Tim Schwab, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth:
Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool. SIGCSE 2019: 1039-1045 - [c61]Stephanie E. August, S. Megan Che, Eileen T. Kraemer, Mark A. Pauley, Murali Sitaraman:
Narratives and Evaluation: How to Write Competitive NSF CS Education Proposals. SIGCSE 2019: 1234-1235 - [c60]Eileen T. Kraemer, Murali Sitaraman, S. Megan Che:
How Can We Engage in Inclusive, Culturally Responsive Computer Science? SIGCSE 2019: 1251 - [c59]Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman:
Engaging in Logical Code Reasoning with an Activity-Based Online Tool. SIGCSE 2019: 1289 - 2018
- [j22]Murali Sitaraman, Bruce W. Weide:
A Synopsis of Twenty Five Years of RESOLVE PhD Research Efforts: Software Development Effort Estimation Using Ensemble Techniques. ACM SIGSOFT Softw. Eng. Notes 43(3): 17 (2018) - [c58]Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth:
An Activity-Based Undergraduate Software Engineering Course to Engage Students and Encourage Learning. ECSEE 2018: 18-25 - [c57]Michelle Cook, Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Tim Schwab, Yu-Shan Sun, Murali Sitaraman:
Where exactly are the difficulties in reasoning logically about code? experimentation with an online system. ITiCSE 2018: 39-44 - [c56]Stephanie E. August, Mark A. Pauley, S. Megan Che, Eileen T. Kraemer, Murali Sitaraman:
Understanding the Essence of Successful Computing Education Projects through Analyzing NSF Proposals: (Abstract Only). SIGCSE 2018: 1059 - 2017
- [c55]Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar:
Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. CSEE&T 2017: 202-211 - [c54]Daniel Welch, Blair Durkee, Mike Kabbani, Murali Sitaraman:
Formalization IDEs Integrated with a Verifying Compiler. ICOOOLPS@ECOOP 2017: 6:1-6:3 - [c53]Daniel Welch, Murali Sitaraman:
Engineering and Employing Reusable Software Components for Modular Verification. ICSR 2017: 139-154 - [c52]Eileen T. Kraemer, Aubrey Lawson, Murali Sitaraman:
Special Session: ICER UP CS Ed Research Workshop Summary-Essence of Illustrative Projects. SIGCSE 2017: 689-690 - 2016
- [c51]Caleb H. Priester, Yu-Shan Sun, Murali Sitaraman:
Tool-Assisted Loop Invariant Development and Analysis. CSEE&T 2016: 66-70 - [c50]Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. Weide:
Panel: Engage in Reasoning with Tools. SIGCSE 2016: 160-161 - [c49]John P. Dougherty, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman:
Mathematical Reasoning in Computing Education: Connecting Math We Teach with Writing Correct Programs (Abstract Only). SIGCSE 2016: 707 - [c48]Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman:
Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue. VSTTE 2016: 119-128 - 2015
- [j21]Svetlana V. Drachova, Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Richard Pak, Murali Sitaraman:
Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. ACM Trans. Comput. Educ. 15(3): 15:1-15:22 (2015) - [j20]Charles T. Cook, Yu-Shan Sun, Murali Sitaraman:
Experience report: evolution of a web-integrated software development and verification environment. Softw. Pract. Exp. 45(6): 857-872 (2015) - [c47]Joseph E. Hollingsworth, Murali Sitaraman:
Evaluation of Formal Reasoning Abilities Using a Concept Inventory. FMSEE&T@FM 2015: 59-66 - [c46]Nabil M. Kabbani, Daniel Welch, Caleb H. Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman:
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE. F-IDE 2015: 56-71 - 2014
- [c45]Daniel Welch, Charles T. Cook, Yu-Shan Sun, Murali Sitaraman:
A web-integrated verifying compiler for RESOLVE: a research perspective. ISEC 2014: 12:1-12:6 - [c44]Joseph E. Hollingsworth, Murali Sitaraman:
Special session: engaging mathematical reasoning exercises. SIGCSE 2014: 179-180 - [c43]Jason O. Hallstrom, Cathy Hochrine, Jacob Sorber, Murali Sitaraman:
An ACM 2013 exemplar course integrating fundamentals, languages, and software engineering. SIGCSE 2014: 211-216 - [c42]Murali Sitaraman, Bruce W. Weide:
Special session: "hands-on" tutorial: teaching software correctness with RESOLVE. SIGCSE 2014: 625-626 - 2013
- [c41]Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone:
Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques. ACM Southeast Regional Conference 2013: 39:1-39:2 - [c40]Charles T. Cook, Svetlana Drachova-Strang, Yu-Shan Sun, Murali Sitaraman, Jeffrey C. Carver, Joseph E. Hollingsworth:
Specification and reasoning in SE projects using a Web IDE. CSEE&T 2013: 229-238 - [c39]Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai:
A Language for Building Verified Software Components. ICSR 2013: 308-314 - [c38]Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide:
Engaging mathematical reasoning exercises. SIGCSE 2013: 459-460 - [c37]Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman:
Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only). SIGCSE 2013: 757 - 2012
- [j19]Peter B. Henderson, Murali Sitaraman:
Mathematical reasoning at the crossroads. Inroads 3(1): 30-31 (2012) - [c36]Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman:
Making mathematical reasoning fun: tool-assisted, collaborative techniques. ACM Southeast Regional Conference 2012: 403-404 - [c35]Charles T. Cook, Heather K. Harton, Hampton Smith, Murali Sitaraman:
Specification engineering and modular verification using a web-integrated verifying compiler. ICSE 2012: 1379-1382 - [c34]Charles T. Cook, Svetlana Drachova-Strang, Jason O. Hallstrom, Joseph E. Hollingsworth, David Pokrass Jacobs, Joan Krone, Murali Sitaraman:
A systematic approach to teaching abstraction and mathematical modeling. ITiCSE 2012: 357-362 - [c33]Kalyan C. Regula, Hampton Smith, Heather Keown, Jason O. Hallstrom, Nigamanth Sridhar, Murali Sitaraman:
A Case Study in Verification of Embedded Network Software. NASA Formal Methods 2012: 433-448 - [c32]Joan Krone, Doug Baldwin, Jeffrey C. Carver, Joseph E. Hollingsworth, Amruth N. Kumar, Murali Sitaraman:
Teaching mathematical reasoning across the curriculum. SIGCSE 2012: 241-242 - [c31]Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman:
Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only). SIGCSE 2012: 683 - [c30]Gregory Kulczycki, Hampton Smith, Heather K. Harton, Murali Sitaraman, William F. Ogden, Joseph E. Hollingsworth:
The Location Linking Concept: A Basis for Verification of Code Using Pointers. VSTTE 2012: 34-49 - 2011
- [j18]Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide:
Building a push-button RESOLVE verifier: Progress and challenges. Formal Aspects Comput. 23(5): 607-626 (2011) - [c29]Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone:
Making mathematical reasoning fun: tool-assisted, collaborative techniques. ACM Southeast Regional Conference 2011: 5 - 2010
- [c28]Doug Baldwin, Bill Marion, Murali Sitaraman, Cinda Heeren:
Some developments in mathematical thinking for computer science education since computing curricula 2001. SIGCSE 2010: 392-393
2000 – 2009
- 2009
- [c27]Jason O. Hallstrom, Joan Krone, Murali Sitaraman:
Courseware for teaching analytical reasoning principles: a hands-on laboratory. ACM Southeast Regional Conference 2009 - [c26]Nighat Yasmin, Murali Sitaraman:
Compositional performance prediction exemplified using generic object finalization analysis. ACM Southeast Regional Conference 2009 - [c25]Brian A. Malloy, Murali Sitaraman, Jason O. Hallstrom:
Detecting overflow vulnerabilities using automated verification. CSIIRW 2009: 22 - [c24]Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman:
Generating Verified Java Components through RESOLVE. ICSR 2009: 11-20 - [c23]Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide:
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? ICSR 2009: 31-40 - [c22]Murali Sitaraman, Jason O. Hallstrom, Jarred White, Svetlana Drachova-Strang, Heather K. Harton, Dana P. Leonard, Joan Krone, Richard Pak:
Engaging students in specification and reasoning: "hands-on" experimentation and evaluation. ITiCSE 2009: 50-54 - [c21]Dana P. Leonard, Jason O. Hallstrom, Murali Sitaraman:
Injecting rapid feedback and collaborative reasoning in teaching specifications. SIGCSE 2009: 524-528 - 2008
- [c20]Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier:
Incremental Benchmarks for Software Verification Tools and Techniques. VSTTE 2008: 84-98 - [p2]Heather K. Harton, Murali Sitaraman, Joan Krone:
Formal Program Verification. Wiley Encyclopedia of Computer Science and Engineering 2008 - [p1]Gregory Kulczycki, Murali Sitaraman, Kimberly Roche, Nighat Yasmin:
Formal Specification. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- [c19]Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide:
Abstracting Pointers for a Verifying Compiler. SEW 2007: 204-213 - 2006
- [j17]Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev:
A specification-based approach to reasoning about pointers. ACM SIGSOFT Softw. Eng. Notes 31(2) (2006) - [c18]Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump:
Roadmap for enhanced languages and methods to aid verification. GPCE 2006: 221-236 - [c17]Joan Krone, William F. Ogden, Murali Sitaraman:
Performance analysis based upon complete profiles. SAVCBS@FSE 2006: 3-10 - 2005
- [j16]Bruce W. Weide, Paolo Bucci, Wayne D. Heym, Murali Sitaraman, Giorgio Rizzoni:
Issues in performance certification for high-level automotive control software. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-6 (2005) - [j15]Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen H. Edwards:
Model variables: cleanly supporting abstraction in design by contract. Softw. Pract. Exp. 35(6): 583-599 (2005) - [c16]Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev:
A specification-based approach to reasoning about pointers. SAVCBS@ESEC/FSE 2005: 7 - 2004
- [j14]Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth:
Contract-Checking Wrappers for C++ Classes. IEEE Trans. Software Eng. 30(11): 794-810 (2004) - [c15]John M. Hunt, Murali Sitaraman:
Enhancements - Enabling Flexible Feature and Implementation Selection. ICSR 2004: 86-100 - 2002
- [j13]Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang:
Teaching Component-Based Software Engineering: A Formal Approach and Its Evaluation. Comput. Sci. Educ. 12(1-2): 11-36 (2002) - 2001
- [c14]Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang:
A Formal Approach to Component-Based Software Engineering: Education and Evaluation. ICSE 2001: 601-609 - [c13]Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy:
Performance specification of software components. SSR 2001: 3-10 - 2000
- [c12]Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth:
Reasoning about Software-Component Behavior. ICSR 2000: 266-283
1990 – 1999
- 1999
- [c11]Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman:
Client view first: an exodus from implementation-biased teaching. SIGCSE 1999: 136-140 - [c10]Edward A. Addy, Murali Sitaraman:
Formal Specification of COTS-Based Software: A Case Study. SSR 1999: 83-91 - [c9]Murali Sitaraman, Maggie Davis, Premkumar T. Devanbu, Jeffrey S. Poulin, Alexander Ran, Bruce W. Weide:
Reuse Research: Contributions, Problems and Non-Problems. SSR 1999: 178-180 - 1998
- [j12]Gary T. Leavens, Oscar Nierstrasz, Murali Sitaraman:
1997 workshop on foundations of component-based systems. ACM SIGSOFT Softw. Eng. Notes 23(1): 38-41 (1998) - [c8]Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden:
A Data Abstraction Alternative to Data Structure/Algorithm Modularization. Generic Programming 1998: 102-113 - [c7]Stephen H. Edwards, Gulam Shakir, Murali Sitaraman, Bruce W. Weide, Joe Hollingsworth:
A framework for detecting interface violations in component-based software. ICSR 1998: 46-55 - [c6]Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Stephen H. Edwards:
Providing intellectual focus to CS1/CS2. SIGCSE 1998: 252-256 - 1997
- [j11]David Fleming, Murali Sitaraman, Sethu Sreerama:
A Practical Performance Criterion for Object Interface Design. J. Object Oriented Program. 10(4): 52-63 (1997) - [j10]Murali Sitaraman:
Fourth international conference on software reuse (ICSR4). ACM SIGSOFT Softw. Eng. Notes 22(1): 27 (1997) - [j9]Sethu Sreerama, David Fleming, Murali Sitaraman:
Graceful Object-Based Performance Evolution. Softw. Pract. Exp. 27(1): 111-122 (1997) - [j8]Murali Sitaraman, Bruce W. Weide, William F. Ogden:
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations. IEEE Trans. Software Eng. 23(3): 157-170 (1997) - 1996
- [j7]Murali Sitaraman:
Impact of Performance Considerations on Formal Specification Design. Formal Aspects Comput. 8(6): 716-736 (1996) - [j6]Murali Sitaraman:
4th international software reuse conference overview. ACM SIGSOFT Softw. Eng. Notes 21(1): 15 (1996) - [e1]Murali Sitaraman:
Proceedings of Fourth IEEE International Conference on Software Reuse, ICSR 1996, April 23-26, 1996, Orlando, Florida, USA. IEEE Computer Society 1996, ISBN 0-8186-7301-X [contents] - 1995
- [c5]Tao Fang, A. L. Narasimha Reddy, George Rinard, Murali Sitaraman:
Distributed Execution of Object-Based Software. Parallel and Distributed Computing and Systems 1995: 521-524 - 1994
- [j5]William F. Ogden, Murali Sitaraman, Bruce W. Weide, Stuart H. Zweben:
Part I: the RESOLVE framework and discipline: a research synopsis. ACM SIGSOFT Softw. Eng. Notes 19(4): 23-28 (1994) - [j4]Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, Murali Sitaraman, Bruce W. Weide:
Part II: specifying components in RESOLVE. ACM SIGSOFT Softw. Eng. Notes 19(4): 29-39 (1994) - [j3]Bruce W. Weide, William F. Ogden, Murali Sitaraman:
Recasting Algorithms to Encourage Reuse. IEEE Softw. 11(5): 80-88 (1994) - [c4]Murali Sitaraman:
On tight performance specification of object-oriented software components. ICSR 1994: 149-156 - [c3]Murali Sitaraman, Michael B. Feldman, Gary Ford, William B. Frakes, Joseph E. Hollingsworth, David F. McAllister, Bruce W. Weide:
What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"? TRI-Ada 1994: 220 - 1993
- [j2]Murali Sitaraman, Lonnie R. Welch, Douglas E. Harms:
On Specification of Reusable Software Components. Int. J. Softw. Eng. Knowl. Eng. 3(2): 207-229 (1993) - [c2]Murali Sitaraman, Jeff Gray:
Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course. TRI-Ada 1993: 137-146 - 1992
- [j1]Murali Sitaraman:
Performance-Parameterized Reusable Software Components. Int. J. Softw. Eng. Knowl. Eng. 2(4): 567-587 (1992) - [c1]Murali Sitaraman:
A class of programming language mechanisms to facilitate multiple implementations of the same specification. ICCL 1992: 272-281
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 2025-01-20 23:01 CET 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:
