Carsten Weise

1.1k total citations
27 papers, 357 citations indexed

About

Carsten Weise is a scholar working on Software, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Carsten Weise has authored 27 papers receiving a total of 357 indexed citations (citations by other indexed papers that have themselves been cited), including 14 papers in Software, 11 papers in Computational Theory and Mathematics and 8 papers in Computer Networks and Communications. Recurrent topics in Carsten Weise's work include Software Testing and Debugging Techniques (12 papers), Formal Methods in Verification (11 papers) and Software System Performance and Reliability (7 papers). Carsten Weise is often cited by papers focused on Software Testing and Debugging Techniques (12 papers), Formal Methods in Verification (11 papers) and Software System Performance and Reliability (7 papers). Carsten Weise collaborates with scholars based in Germany, Denmark and Sweden. Carsten Weise's co-authors include Stefan Kowalewski, Kim G. Larsen, Raimondas Sasnauskas, Klaus Wehrle, Muhammad Hamad Alizai, Olaf Landsiedel, François Laroussinie, Justin Pearson, Wang Yi and Bernhard Steffen and has published in prestigious journals such as SHILAP Revista de lepidopterología, Lecture notes in computer science and International Journal on Software Tools for Technology Transfer.

In The Last Decade

Carsten Weise

26 papers receiving 321 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Carsten Weise Germany	11	204	142	106	104	100	27	357
Kalpesh Kapoor India	8	289 1.4×	97 0.7×	65 0.6×	78 0.8×	126 1.3×	25	365
Georg Weißenbacher Austria	9	218 1.1×	236 1.7×	202 1.9×	82 0.8×	87 0.9×	32	460
Vijay D’Silva United Kingdom	9	195 1.0×	180 1.3×	198 1.9×	107 1.0×	120 1.2×	24	493
Aditya Kanade India	9	220 1.1×	53 0.4×	112 1.1×	104 1.0×	148 1.5×	16	377
Nishant Sinha United States	13	224 1.1×	139 1.0×	142 1.3×	137 1.3×	153 1.5×	28	418
Sergiy Vilkomir United States	13	461 2.3×	108 0.8×	98 0.9×	161 1.5×	245 2.5×	42	588
Peter Mehlitz United States	9	347 1.7×	89 0.6×	95 0.9×	87 0.8×	192 1.9×	23	436
Allen Goldberg United States	12	204 1.0×	146 1.0×	253 2.4×	123 1.2×	154 1.5×	31	469
Shachar Itzhaky United States	10	119 0.6×	67 0.5×	140 1.3×	154 1.5×	79 0.8×	26	316
Nathan Chong United Kingdom	11	219 1.1×	59 0.4×	104 1.0×	134 1.3×	120 1.2×	20	411

Countries citing papers authored by Carsten Weise

Since Specialization

Citations

This map shows the geographic impact of Carsten Weise's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Carsten Weise with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Carsten Weise more than expected).

Fields of papers citing papers by Carsten Weise

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Carsten Weise. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Carsten Weise. The network helps show where Carsten Weise may publish in the future.

Co-authorship network of co-authors of Carsten Weise

This figure shows the co-authorship network connecting the top 25 collaborators of Carsten Weise. A scholar is included among the top collaborators of Carsten Weise based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Carsten Weise. Carsten Weise is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Kowalewski, Stefan, et al.. (2012). A Mobile Software Quality Model. 154–157. 22 indexed citations

Kowalewski, Stefan, et al.. (2012). Testing Conformance of Life Cycle Dependent Properties of Mobile Applications. 241–250. 19 indexed citations

Weise, Carsten, et al.. (2011). Providing a Software Quality Framework for Testing of Mobile Applications. 431–434. 34 indexed citations

Weise, Carsten, et al.. (2011). Konzept eines Mobilen OSM-Navigationssystems für Elektrofahrzeuge. RWTH Publications (RWTH Aachen). 1 indexed citations

Weise, Carsten, et al.. (2011). Coping with Complexity of Testing Models for Real-Time Embedded Systems. 17. 128–135. 2 indexed citations

Sasnauskas, Raimondas, et al.. (2011). Scalable Symbolic Execution of Distributed Systems. 333–342. 17 indexed citations

Weise, Carsten, et al.. (2010). Testing Continuous Systems Conformance Using Cross Correlation. RWTH Publications (RWTH Aachen).

Weise, Carsten, et al.. (2010). Design Patterns for Integrating Variability in Timed Automata. 1. 38–45. 6 indexed citations

Sasnauskas, Raimondas, Olaf Landsiedel, Muhammad Hamad Alizai, et al.. (2010). KleeNet. 186–196. 93 indexed citations

10.

Weise, Carsten, et al.. (2009). Towards an Industrial Strength Process for Timed Testing. 1102. 29–38. 5 indexed citations

11.

Kowalewski, Stefan, et al.. (2009). Evaluation of the real-time Java runtime environment for deployment in time-critical systems. 51–60. 2 indexed citations

12.

Schlich, Bastian, et al.. (2008). Proving Correctness of an Efficient Abstraction for Interrupt Handling. Electronic Notes in Theoretical Computer Science. 217. 133–150. 1 indexed citations

13.

Grieskamp, Wolfgang & Carsten Weise. (2006). Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in Computer Science). Springer eBooks. 1 indexed citations

14.

Grieskamp, Wolfgang & Carsten Weise. (2006). Formal approaches to software testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers. Springer eBooks. 1 indexed citations

15.

Grieskamp, Wolfgang & Carsten Weise. (2006). Formal Approaches to Software Testing. Lecture notes in computer science. 3 indexed citations

16.

Larsen, Kim G., Justin Pearson, Carsten Weise, & Wang Yi. (1999). Clock difference diagrams. Nordic journal of computing. 6(3). 271–298. 27 indexed citations

17.

Larsen, Kim G., Carsten Weise, Yi Wang, & Justin Pearson. (1998). Clock Difference Diagrams. BRICS Report Series. 5(46). 21 indexed citations

18.

Behrmann, Gerd, Kim G. Larsen, Justin Pearson, Carsten Weise, & Yi Wang. (1998). Efficient Timed Reachability Analysis using Clock Difference Diagrams. BRICS Report Series. 5(47). 1 indexed citations

19.

Larsen, Kim G., Bernhard Steffen, & Carsten Weise. (1996). A Constraint Oriented Proof Methodology. Lecture notes in computer science. 4 indexed citations

20.

Laroussinie, François, Kim G. Larsen, & Carsten Weise. (1995). From Timed Automata to Logic - and Back. BRICS Report Series. 2(2). 42 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact