J. van Katwijk

472 total citations
58 papers, 211 citations indexed

About

J. van Katwijk is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Hardware and Architecture. According to data from OpenAlex, J. van Katwijk has authored 58 papers receiving a total of 211 indexed citations (citations by other indexed papers that have themselves been cited), including 24 papers in Computational Theory and Mathematics, 23 papers in Artificial Intelligence and 20 papers in Hardware and Architecture. Recurrent topics in J. van Katwijk's work include Formal Methods in Verification (22 papers), Advanced Software Engineering Methodologies (19 papers) and Real-Time Systems Scheduling (18 papers). J. van Katwijk is often cited by papers focused on Formal Methods in Verification (22 papers), Advanced Software Engineering Methodologies (19 papers) and Real-Time Systems Scheduling (18 papers). J. van Katwijk collaborates with scholars based in Netherlands, United States and France. J. van Katwijk's co-authors include Hans Toetenel, Tullio Vardanega, Janusz Zalewski, P.M. Bruijn, Hanlin Li, A.J. van de Goor, Peter Gorm Larsen, George Pavlidis, S. J. Goldsack and Yun Peng and has published in prestigious journals such as Applied Spectroscopy, Information and Software Technology and ACM SIGPLAN Notices.

In The Last Decade

J. van Katwijk

49 papers receiving 166 citations

Peers

J. van Katwijk

AI

SOFTW

IS

CTM

HA

M.F. Kuiper Netherlands

Paritosh K. Pandya India

Ralf Steinbrüggen Germany

Yitzhak Mandelbaum United States

Peter Achten Netherlands

Ib Holm Sørensen United Kingdom

M.J. Plasmeijer Netherlands

Adrián Riesco Spain

Sergiy Boroday Canada

Konstantin Läufer United States

M.F. Kuiper Netherlands

J. van Katwijk

132 ×1.5

AI

88 ×1.2

SOFTW

87 ×1.3

IS

61 ×1.0

CTM

25 ×0.4

HA

Citations per year, relative to J. van Katwijk J. van Katwijk (= 1×) peers M.F. Kuiper

Countries citing papers authored by J. van Katwijk

Since Specialization

Citations

This map shows the geographic impact of J. van Katwijk'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 J. van Katwijk with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites J. van Katwijk more than expected).

Fields of papers citing papers by J. van Katwijk

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by J. van Katwijk. 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 J. van Katwijk. The network helps show where J. van Katwijk may publish in the future.

Co-authorship network of co-authors of J. van Katwijk

This figure shows the co-authorship network connecting the top 25 collaborators of J. van Katwijk. A scholar is included among the top collaborators of J. van Katwijk 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 J. van Katwijk. J. van Katwijk 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

1.

Katwijk, J. van, et al.. (2003). Beyond components-connections-constraints: dealing with software architecture difficulties. 235–242. 6 indexed citations

2.

Katwijk, J. van, et al.. (2003). An approach towards formal verification of object oriented real-time systems. 607. 474–481. 1 indexed citations

3.

Katwijk, J. van, et al.. (2002). Automatic analysis of embedded systems specified in Astral. 3. 177–186. 3 indexed citations

4.

Toetenel, Hans, et al.. (2002). Modeling and analysis of complex computer systems-the MTCCS approach. 818. 423–430. 2 indexed citations

5.

Katwijk, J. van, et al.. (2002). Comparing formal specifications by measuring. 12. 184–191. 1 indexed citations

6.

Toetenel, Hans, et al.. (2002). A timed automata semantics for real-time UML specifications. 88–95. 4 indexed citations

7.

Katwijk, J. van, et al.. (2002). Experiences with analysis of formal specifications in Astral. 1102. 143–150. 2 indexed citations

8.

Katwijk, J. van, et al.. (2001). Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm. Scalable Computing Practice and Experience. 2(1). 105–126. 1 indexed citations

9.

Katwijk, J. van & Janusz Zalewski. (2001). Parallel and distributed real-time systems. Nova Science Publishers, Inc. eBooks. 1 indexed citations

10.

Katwijk, J. van, et al.. (2000). Concerns On Architecture-Centered Software Development: A Survey. 4(3). 13–35. 2 indexed citations

11.

Katwijk, J. van, et al.. (2000). CONCERNS ON ARCHITECTURE-CENTERED SOFTWARE DEVELOPMENT: A SURVEY. Journal of Integrated Design and Process Science. 4(3). 13–35. 1 indexed citations

12.

Katwijk, J. van, et al.. (2000). Specification of Real-Time Systems in UML. Electronic Notes in Theoretical Computer Science. 39(3). 293–305. 5 indexed citations

13.

Vardanega, Tullio & J. van Katwijk. (1999). A software process for the construction of predictable on-board embedded real-time systems. Software Practice and Experience. 29(3). 235–266. 10 indexed citations

14.

Katwijk, J. van & Hans Toetenel. (1995). Loose Specification of Real Time Systems.. Informatica (slovenia). 19. 1 indexed citations

15.

Katwijk, J. van, et al.. (1993). SEAL A simple language for prototyping action-event specifications. Microprocessing and Microprogramming. 38(1-5). 87–95. 2 indexed citations

16.

Katwijk, J. van, et al.. (1992). VDM++: a formal specification language for object-oriented designs. 63–77. 16 indexed citations

17.

Larsen, Peter Gorm, et al.. (1991). SVDM: An Integrated Combination of SA and VDM. 3 indexed citations

18.

Toetenel, Hans, et al.. (1990). Structured analysis—formal design, using stream and object oriented formal specifications. 118–127. 2 indexed citations

19.

Katwijk, J. van, et al.. (1988). Asynchronous transfer of control in Ada. ACM SIGAda Ada Letters. VIII(7). 65–69. 2 indexed citations

20.

Katwijk, J. van, et al.. (1987). Reflections on reusable software and software components. 113–126. 3 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