I am, Apparently, a Rocket Scientist!

 

This post has 326 words. Reading it will take approximately 2 minutes.

VN:F [1.9.17_1161]
Rating: 4.0/5 (1 vote cast)

As a researcher, I often receive spam mails prompting me to write something to be published in a fake journal or as a fake book.  Some people try to use that to boost their publication rankings1).

Just received one, which really cracked me up:

These are still rare enough that some minor work is put into personalizing the mails, so they get the name correct and often a vague guess of your topic. Here, something went wrong, as they think I work on space exploration and not on state-space exploration, which is something completely different (one is that astrologynomy stuff, mine is a mathematical way of verifying complex systems; see e.g. [1] below).

Still, I’m henceforth going to add rocket scientist to my CV.  Today is a good day for my CV.

[1] [pdf] [doi] M. Westergaard, S. Evangelista, and L. M. Kristensen, “ASAP: An Extensible Platform for State Space Analysis,” , G. Franceschinis and K. Wolf, Ed., Springer Berlin / Heidelberg, 2009, vol. 5606, pp. 303-312.
[Bibtex]
@incollection{asap,
author = {Westergaard, Michael and Evangelista, Sami and Kristensen, Lars Michael},
affiliation = {Aarhus University Department of Computer Science Denmark},
title = {ASAP: An Extensible Platform for State Space Analysis},
booktitle = {Applications and Theory of Petri Nets},
series = {Lecture Notes in Computer Science},
editor = {Franceschinis, Giuliana and Wolf, Karsten},
publisher = {Springer Berlin / Heidelberg},
isbn = {},
pages = {303-312},
volume = {5606},
doi = {10.1007/978-3-642-02424-5_18},
note = {10.1007/978-3-642-02424-5_18},
abstract = {The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide range of state space reduction techniques and is intended to be easy to extend and to use, making it a suitable tool for students, researchers, and industrial users that would like to analyze protocols and/or experiment with different algorithms. This paper presents ASAP from these two perspectives.},
year = {2009}
}
I am, Apparently, a Rocket Scientist!, 4.0 out of 5 based on 1 rating
  1. It doesn’t work. []
 

Tags:

 
 
 
 

Leave a reply

required

required

optional


On my mind…

  • For a status report, I had to figure out how much code I'm maintaining. Turns out it's roughly 390000 lines.
    4 days ago
  • This is becoming a bad habit: had to run to catch the last direct train to Eindhoven.
    4 days ago
 
 

Recent Comments

  • Michael: Forgot to add: in my code in the post, what I'm trying to do is just to get all …
     
  • Michael: Yeah, unless you know you are processing an integer, you can only get an object …
     
  • Danny: Hmmm... is the first solution you explain that much different from the original?…