all about maude - a high-performance logical framework (24)
journal of logical and algebraic methods in programming (22)
computer standards & interfaces (13)
entcs: electronic notes in theoretical computer science (11)
science of computer programming (11)
electronic notes in theoretical computer science (9)
rewriting logic and its applications (8)
computing (4)
rewriting logic & its applications (4)
theoretical computer science (4)
icse: international conference on software engineering (3)
ima journal of numerical analysis (3)
internet of things (3)
journal of logic and algebraic programming (3)
medicc review (3)
automated reasoning (2)
energies (19961073) (2)
information and software technology (2)
journal of food composition and analysis (2)
science of computer programming. methods of software design: techniques and applications (2)
simulation (2)
software & systems modeling (2)
2008 acm/ieee 30th international conference on software engineering, software engineering, 2008. icse '08. acm/ieee 30th international conference on (1)
2009 ieee symposium on visual languages and human-centric computing (vl/hcc), visual languages and human-centric computing, 2009. vl/hcc 2009. ieee symposium on (1)
2016 ieee 9th international conference on cloud computing (cloud), cloud computing (cloud), 2016 ieee 9th international conference on, cloud (1)
2019 acm/ieee 22nd international conference on model driven engineering languages and systems companion (models-c), model driven engineering languages and systems companion (models-c), 2019 acm/ieee 22nd international conference on, models-c (1)
2019 ieee 12th international conference on cloud computing (cloud), cloud computing (cloud), 2019 ieee 12th international conference on, cloud (1)
2020 xxxv conference on design of circuits and integrated systems (dcis), design of circuits and integrated systems (dcis), 2020 xxxv conference on (1)
2021 ieee/acm 43rd international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2021 ieee/acm 43rd international conference on, icse-companion (1)
2021 international symposium on software engineering for adaptive and self-managing systems (seams), software engineering for adaptive and self-managing systems (seams), 2021 international symposium on, seams (1)
2024 ieee/acm 3rd international conference on ai engineering - software engineering for ai (cain), ai engineering - software engineering for ai (cain), 2024 ieee/acm 3rd international conference on, cain (1)
actualizaciones en osteologia (1)
annals of nutrition and metabolism (1)
ctcs '99: conference on category theory and computer science (edinburgh) (1)
formal methods: foundations and applications (1)
higher-order & symbolic computation (1)
higher-order and symbolic computation (1)
information & software technology (1)
journal of bone and mineral research (1)
journal of food composition & analysis (1)
journal of logic & algebraic programming (1)
journal of systems & software (1)
journal of systems and software (1)
logic, rewriting, and concurrency (1)
proceedings of spie (1)
rewriting techniques & applications (9783540402541) (1)
simulation-transactions of the society for modeling and simulation international (1)
software and systems modeling (1)
specification, algebra, and software (1)
the journal of logic and algebraic programming (1)