international journal on software tools for technology transfer (12)
journal of logical and algebraic methods in programming (6)
theoretical computer science (6)
acta informatica (5)
encyclopedia of modern jewish culture (5)
electronic notes in theoretical computer science (4)
entcs: electronic notes in theoretical computer science (4)
formal aspects of computing (4)
journal of chemical education (3)
music & letters (3)
procedia cirp (3)
software, services & systems (3)
bioengineering (basel) (2)
constraints: an international journal (2)
european journal of jewish studies (2)
formal aspects of computing: applicable formal methods (2)
i-com (2)
international journal of healthcare management (2)
jewish historical studies (2)
jewish quarterly (2)
journal of biomechanical engineering (2)
journal of the american musicological society (2)
logic journal of the igpl (2)
oxford music online (2)
proceedings of the royal musical association (2)
software & systems modeling (2)
web engineering (9783540279969) (2)
2012 semi advanced semiconductor manufacturing conference, advanced semiconductor manufacturing conference (asmc), 2012 23rd annual semi (1)
2014 ieee 26th international conference on tools with artificial intelligence, tools with artificial intelligence (ictai), 2014 ieee 26th international conference on (1)
2016 1st international workshop on decision making in software architecture (march), decision making in software architecture (march), 2016 1st international workshop on (1)
2017 22nd ieee international conference on emerging technologies and factory automation (etfa), emerging technologies and factory automation (etfa), 2017 22nd ieee international conference on (1)
2017 ieee international conference on software quality, reliability and security (qrs), software quality, reliability and security (qrs), 2017 ieee international conference on, qrs (1)
2017 ieee international conference on software quality, reliability and security companion (qrs-c), software quality, reliability and security companion (qrs-c), 2017 ieee international conference on, qrs-c (1)
2018 29th annual semi advanced semiconductor manufacturing conference (asmc), semi advanced semiconductor manufacturing conference (asmc), 2018 29th annual (1)
2018 ieee 12th international conference on self-adaptive and self-organizing systems (saso), self-adaptive and self-organizing systems (saso), 2018 ieee 12th international conference on, saso (1)
2018 ieee 14th international conference on automation science and engineering (case), automation science and engineering (case), 2018 ieee 14th international conference on (1)
2018 ieee/acm 13th international workshop on automation of software test (ast), automation of software test (ast), 2018 ieee/acm 13th international workshop on, ast (1)
2019 ieee 17th international conference on industrial informatics (indin), industrial informatics (indin), 2019 ieee 17th international conference on (1)
2019 ieee international conference on software architecture (icsa), software architecture (icsa), 2019 ieee international conference on (1)
2022 ieee 20th international conference on industrial informatics (indin), industrial informatics (indin), 2022 ieee 20th international conference on (1)
7th conference on algebra and coalgebra in computer science (1)
constraints. an international journal (1)
critical systems: formal methods and automated verification (1)
dynamic logic---new trends and applications (1)
graph transformation, specifications, and nets (1)
ieee symposium on visual languages and human-centric computing (vl/hcc 2007), visual languages and human-centric computing, 2007. vl/hcc 2007. ieee symposium on (1)
logic journal of the igpl. interest group in pure and applied logics (1)
musica judaica (1)
proceedings of the 9th international conference on network and service management (cnsm 2013), network and service management (cnsm), 2013 9th international conference on (1)
proceedings of the second international conference on software engineering and formal methods, 2004. sefm 2004. (1)