Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDdblp keys for Gerard J. Holzmann
- > Home > Persons > Gerard J. Holzmann
Gerard J. Holzmann
Keys
# of data records = 151
homepages/h/GerardJHolzmann journals/sttt/HavelundH24 conf/fast/LiuAHKLSSZ24 journals/software/Holzmann21 journals/software/Holzmann21a conf/birthday/Holzmann21 conf/hotstorage/SuLGHSZK21 conf/sigsoft/Holzmann21 journals/software/Holzmann20 journals/software/Holzmann20a journals/software/Holzmann19 journals/software/Holzmann19a journals/software/Holzmann19b conf/birthday/Holzmann19 journals/software/Holzmann17e journals/software/Holzmann18 journals/software/Holzmann18a journals/software/Holzmann18b reference/mc/Holzmann18 journals/isse/Holzmann17 journals/software/Holzmann17 journals/software/Holzmann17a journals/software/Holzmann17b journals/software/Holzmann17c journals/software/Holzmann17d conf/kbse/Holzmann17 conf/spin/Holzmann17 journals/software/Holzmann16 journals/software/Holzmann16a journals/software/Holzmann16b journals/software/Holzmann16c journals/software/Holzmann16d journals/software/Holzmann16e conf/vmcai/Holzmann16 journals/software/Holzmann15 journals/software/Holzmann15a journals/software/Holzmann15b journals/software/Holzmann15c journals/software/Holzmann15d journals/software/Holzmann15e journals/corr/FilippidisMH16 conf/nfm/2015 journals/amai/GroceHHJX14 journals/cacm/Holzmann14 journals/software/Holzmann14 conf/spin/FilippidisH14 journals/computer/Holzmann13 journals/software/Holzmann13 conf/issre/BoehmH13 conf/spin/Holzmann13 conf/itaero/FlorianGH12 conf/spin/Holzmann12 books/daglib/p/Holzmann12 journals/fac/HolzmannF11 journals/tse/HolzmannJG11 conf/emsoft/HavelundH11 conf/prdc/McKelvinGH11 conf/tacas/Holzmann11 conf/nfm/2011 journals/isse/Holzmann10 conf/forte/Holzmann10 journals/ase/HolzmannJG08 conf/kbse/HolzmannJG08 conf/mochart/HavelundGHJS08 conf/spin/HolzmannJG08a conf/spin/HolzmannJG08 journals/ercim/Holzmann08 journals/computer/Holzmann07 journals/fac/JoshiH07 journals/tse/HolzmannB07 conf/icse/GroceHJ07 conf/ipps/HolzmannB07 journals/entcs/Holzmann08 journals/computer/Holzmann06 journals/ac/Holzmann05 conf/spin/HolzmannR05 conf/spin/BosnackiH05 conf/vstte/JoshiH05 conf/vstte/HolzmannJ05 books/daglib/0020982 conf/memocode/Holzmann04 conf/spin/HolzmannJ04 conf/spin/RuysH04 journals/sttt/DongDHS03 conf/fm/Holzmann03 journals/tse/HolzmannS02 conf/cav/Holzmann02 conf/cav/DamsHH02 conf/sigsoft/Holzmann02 journals/stvr/HolzmannS01 conf/acsd/Holzmann01 conf/paste/Holzmann01 conf/re/SmithHE01 journals/bell/Holzmann00 journals/bell/HolzmannS00 journals/sttt/HolzmannNS00 conf/concur/EtessamiH00 conf/spin/Holzmann00 journals/sttt/HolzmannP99 conf/forte/HolzmannS99 conf/icse/HolzmannS99 conf/isorc/LeueH99 conf/spin/Holzmann99 journals/bell/HolzmannS98 journals/fmsd/Holzmann98 conf/cav/Holzmann98 conf/fmsp/Holzmann98 conf/icre/SchneiderECH98 conf/wift/MikkLSH98 journals/bell/HolzmannPR97 journals/comcom/Holzmann97 journals/tse/Holzmann97 conf/dimacs/dimacs32 journals/cn/CourtiatDHLRZ96 journals/csur/Holzmann96 journals/stp/Holzmann96 journals/stp/AlurHP96 conf/cav/HolzmannP96 conf/dimacs/HolzmannK96 conf/dimacs/HolzmannPY96 conf/dimacs/NatarajanH96 conf/dimacs/GregoireHP96 conf/ftrtft/Holzmann96 conf/tacas/Holzmann96 conf/tacas/AlurHP96 conf/dimacs/dimacs29 books/daglib/0081768 journals/fmsd/GodefroidHP95 conf/concur/Holzmann95 conf/pstv/Holzmann95 conf/forte/HolzmannP94 conf/forte/Holzmann94 conf/ifip/Holzmann94 conf/ifip/Holzmann94a journals/cn/Holzmann93 journals/spe/Holzmann93 conf/pstv/GodefroidH93 journals/comcom/Holzmann92 journals/software/Holzmann92 conf/cav/GodefroidHP92 conf/pstv/HolzmannGP92 conf/pstv/HolzmannP89 journals/spe/Holzmann88 journals/tse/Holzmann87 conf/pstv/Holzmann87 journals/bstj/Holzmann85 journals/cn/Holzmann84 conf/pstv/Holzmann84 conf/ifip/HolzmannB83 journals/tc/Holzmann82 conf/pstv/Holzmann82
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 2024-04-25 02:40 CEST 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:
