( en | de | ru )

 

Disambiguation of "Alencar, Paulo S. C."

Author of the publication

copydeleteadd this publication to your clipboard
Extending (Object-)Z for multi-agent systems specification.

, , and . CAiSE Workshops (2), page 280-294. Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

S C Jones

Alencar Sulzbacher

Alencar Machado

Solveig C S Eschen

Milan Paulovic

 

Other publications of authors with the same name

KryptoOracle: A Real-Time Cryptocurrency Price Prediction Platform Using Twitter Sentiments., , and . CoRR, (2020)A Generative Approach for Multi-agent System Development., , , and . SELMAS, volume 3390 of Lecture Notes in Computer Science, page 52-69. Springer, (2004)A formal modeling and analysis approach for access control rules, policies, and their combinations., , and . Int. J. Inf. Sec., 16 (1): 43-74 (2017)A Method to Recommend Artifacts to New Tasks in Software Projects (S)., , and . SEKE, page 489-633. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2019)AgileCritPath: Identifying Critical Tasks in Agile Environments., , , , and . SEKE, page 20-38. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2019)Towards using task similarity to recommend Stack Overflow posts., , , , and . CIbSE, page 199-211. Curran Associates, (2018)An approach to formal automated analysis of problem-frame concerns., , , and . Inf. Softw. Technol., 47 (14): 913-927 (2005)Governance in Adaptive Normative Multiagent Systems for the Internet of Smart Things: Challenges and Future Directions., , , , and . IEEE BigData, page 5193-5196. IEEE, (2018)Toward Human-in-the-Loop Collaboration Between Software Engineers and Machine Learning Algorithms., , , and . IEEE BigData, page 3534-3540. IEEE, (2018)GPT-in-the-Loop: Supporting Adaptation in Multiagent Systems., , and . IEEE Big Data, page 4674-4683. IEEE, (2023)