CHRISTOPHERHAHN.IO: Keyword Density Checker

Total words: 3888 | 2-word phrases: 977 | 3-word phrases: 1173 | 4-word phrases: 1255

PAGE INFO

Title	Try to keep the title under 60 characters (16 characters) Christopher Hahn
Description	Try to keep the meta description between 50 - 160 characters (0 characters)
Keywords	Meta keywords are not recommended anymore (0 characters)
H1	No H1 tag on the page (0 characters)

ONE WORD PHRASES 483 Words

#	Keyword	Frequency	Density
1	and	48	9.94%
2	the	42	8.70%
3	of	36	7.45%
4	we	33	6.83%
5	cleanusnob	29	6.00%
6	on	29	6.00%
7	for	29	6.00%
8	hyperproperties	25	5.18%
9	finkbeiner	24	4.97%
10	bernd	24	4.97%

TWO WORD PHRASES 977 Words

#	Keyword	Frequency	Density
1	c h	19	1.94%
2	bernd finkbeiner	19	1.94%
3	conference on	15	1.54%
4	finkbeiner c	13	1.33%
5	international conference	12	1.23%
6	arxiv we	11	1.13%
7	we study	10	1.02%
8	temporal logic	8	0.82%
9	study the	8	0.82%
10	and c	8	0.82%
11	runtime verification	8	0.82%
12	marvin stenger	8	0.82%
13	in the	7	0.72%
14	leander tentrup	7	0.72%
15	frederik schmitt	6	0.61%
16	stenger and	6	0.61%
17	of hyperltl	6	0.61%
18	hyperproperties bernd	6	0.61%
19	norine coenen	6	0.61%
20	hyperproperties c	6	0.61%

THREE WORD PHRASES 1173 Words

#	Keyword	Frequency	Density
1	international conference on	12	1.02%
2	bernd finkbeiner c	10	0.85%
3	we study the	7	0.60%
4	finkbeiner c h	7	0.60%
5	marvin stenger and	6	0.51%
6	h marvin stenger	6	0.51%
7	arxiv we study	5	0.43%
8	arxiv we present	4	0.34%
9	conference on computer	4	0.34%
10	jens u kreber	4	0.34%
11	and leander tentrup	4	0.34%
12	stenger and leander	4	0.34%
13	hierarchy of hyperlogics	4	0.34%
14	bernd finkbeiner ch	4	0.34%
15	the hierarchy of	4	0.34%
16	and bernd finkbeiner	4	0.34%
17	hyperproperties bernd finkbeiner	4	0.34%
18	c h marvin	4	0.34%
19	c h and	3	0.26%
20	norine coenen bernd	3	0.26%
21	of hyperltl formulas	3	0.26%
22	conference on runtime	3	0.26%
23	for hyperproperties cleanusnob	3	0.26%
24	technology for verification	3	0.26%
25	aided verification cav	3	0.26%
26	automated technology for	3	0.26%
27	2022 arxiv we	3	0.26%
28	rvhyper a runtime	3	0.26%
29	on runtime verification	3	0.26%
30	a runtime verification	3	0.26%

FOUR WORD PHRASES 1255 Words

#	Keyword	Frequency	Density
1	bernd finkbeiner c h	5	0.40%
2	marvin stenger and leander	4	0.32%
3	hyperproperties bernd finkbeiner c	4	0.32%
4	arxiv we study the	4	0.32%
5	c h marvin stenger	4	0.32%
6	the hierarchy of hyperlogics	4	0.32%
7	h marvin stenger and	4	0.32%
8	international conference on computer	4	0.32%
9	stenger and leander tentrup	3	0.24%
10	markus n rabe and	3	0.24%
11	automated technology for verification	3	0.24%
12	n rabe and bernd	3	0.24%
13	technology for verification and	3	0.24%
14	rabe and bernd finkbeiner	3	0.24%
15	finkbeiner c h marvin	3	0.24%
16	rvhyper a runtime verification	3	0.24%
17	hyperltl formulas for three	2	0.16%
18	parallel the bounded sequential	2	0.16%
19	the bounded sequential and	2	0.16%
20	the parallel the bounded	2	0.16%
21	ch jana hofmann and	2	0.16%
22	models the parallel the	2	0.16%
23	input models the parallel	2	0.16%
24	h philip lukert marvin	2	0.16%
25	of hyperltl formulas for	2	0.16%
26	problem of hyperltl formulas	2	0.16%
27	verification problem of hyperltl	2	0.16%
28	runtime verification problem of	2	0.16%
29	fragment of hyperltl cleanusnob	2	0.16%
30	30th international conference on	2	0.16%
31	conference on computer aided	2	0.16%
32	u kreber and c	2	0.16%
33	version bernd finkbeiner c	2	0.16%
34	bounded sequential and the	2	0.16%
35	runtime verification tool for	2	0.16%
36	international conference on computeraided	2	0.16%
37	ch and jana hofmann	2	0.16%
38	gans jens u kreber	2	0.16%
39	transformer gans jens u	2	0.16%
40	with transformer gans jens	2	0.16%

EXTERNAL LINKS

#	URL	Whois	Check
1	https://x.company/	Whois	x.company
2	https://cs.stanford.edu	Whois	stanford.edu
3	https://www.stanford.edu/	Whois	stanford.edu
4	https://cispa.de/	Whois	cispa.de
5	http://www.uni-saarland.de	Whois	uni-saarland.de
6	https://www.react.uni-saarland.de/people/finkbeiner.html	Whois	uni-saarland.de
7	https://scholar.google.com/citations?user=bADdSwYAAAAJ&hl=en	Whois	google.com
8	https://twitter.com/ChrisHahnCS	Whois	twitter.com
9	https://arxiv.org/pdf/2305.11087.pdf	Whois	arxiv.org
10	https://nesygems.github.io/	Whois	github.io
11	https://arxiv.org/abs/2303.04864	Whois	arxiv.org
12	https://openreview.net/forum?id=SEcSahl0Ql	Whois	openreview.net
13	https://arxiv.org/abs/2206.01962	Whois	arxiv.org
14	https://arxiv.org/abs/2206.02074	Whois	arxiv.org
15	https://arxiv.org/abs/2206.02074	Whois	arxiv.org
16	https://arxiv.org/abs/2205.15389	Whois	arxiv.org
17	https://arxiv.org/abs/2108.03698?context=cs	Whois	arxiv.org
18	https://hypervis.tools.react.cs.uni-saarland.de/	Whois	uni-saarland.de
19	https://imld.de/en/research/research-projects/hypervis/	Whois	imld.de
20	https://arxiv.org/abs/2110.10054	Whois	arxiv.org
21	https://arxiv.org/abs/2107.11864	Whois	arxiv.org
22	https://github.com/reactive-systems/ml2	Whois	github.com
23	https://arxiv.org/abs/2003.04218	Whois	arxiv.org
24	https://www.youtube.com/watch?v=EXy66aP_NzI	Whois	youtube.com
25	https://github.com/reactive-systems/REHyper	Whois	github.com
26	https://arxiv.org/abs/2003.04218	Whois	arxiv.org
27	https://iclr.cc/virtual/2021/poster/3332	Whois	iclr.cc
28	https://github.com/reactive-systems/deepltl	Whois	github.com
29	https://www.youtube.com/watch?v=6RvgBaWC374	Whois	youtube.com
30	https://arxiv.org/abs/2101.07161	Whois	arxiv.org
31	https://www.springer.com/journal/236	Whois	springer.com
32	https://arxiv.org/abs/2101.07109	Whois	arxiv.org
33	https://www.springer.com/journal/236	Whois	springer.com
34	https://www.springerprofessional.de/en/formal-methods-in-system-design-3-2019/17384864	Whois	springerprofessional.de
35	https://arxiv.org/pdf/2005.05934.pdf	Whois	arxiv.org
36	https://arxiv.org/abs/1905.13517	Whois	arxiv.org
37	https://www.react.uni-saarland.de/tools/rvhyper/constraint_based_poster.pdf	Whois	uni-saarland.de
38	https://arxiv.org/abs/1903.11138	Whois	arxiv.org
39	https://arxiv.org/abs/1905.13511	Whois	arxiv.org
40	https://www.react.uni-saarland.de/tools/bosy/	Whois	uni-saarland.de
41	https://github.com/reactive-systems/bosy	Whois	github.com
42	https://arxiv.org/abs/1905.13514	Whois	arxiv.org
43	https://arxiv.org/abs/1906.00798	Whois	arxiv.org
44	https://www.react.uni-saarland.de/tools/rvhyper/	Whois	uni-saarland.de
45	https://github.com/reactive-systems/rvhyper	Whois	github.com
46	https://www.react.uni-saarland.de/tools/rvhyper/rvhyper_poster.pdf	Whois	uni-saarland.de
47	https://arxiv.org/pdf/1807.00758.pdf	Whois	arxiv.org
48	https://www.react.uni-saarland.de/tools/eahyper/	Whois	uni-saarland.de
49	https://github.com/reactive-systems/eahyper	Whois	github.com
50	https://arxiv.org/abs/1606.07047	Whois	arxiv.org
51	https://jonbarron.info/	Whois	jonbarron.info

CHRISTOPHERHAHN.IO KEYWORD DENSITY CHECKER

PAGE INFO

ONE WORD PHRASES 483 Words

TWO WORD PHRASES 977 Words

THREE WORD PHRASES 1173 Words

FOUR WORD PHRASES 1255 Words

EXTERNAL LINKS

Email Tools

Website Tools

CHRISTOPHERHAHN.IO KEYWORD DENSITY CHECKER

PAGE INFO

ONE WORD PHRASES 483 Words

TWO WORD PHRASES 977 Words

THREE WORD PHRASES 1173 Words

FOUR WORD PHRASES 1255 Words

EXTERNAL LINKS

Email Tools

Website Tools

Modal Heading