|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20 occurrences of 20 keywords
|
|
|
Results
Found 78 publication records. Showing 68 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
76 | Massimo Baleani, Massimo Conti, Alberto Ferrari, Valerio Frascolla, Alberto L. Sangiovanni-Vincentelli |
An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic and Applications, Reconfigurable Computing Is Going Mainstream, 12th International Conference, FPL 2002, Montpellier, France, September 2-4, 2002, Proceedings, pp. 677-686, 2002, Springer, 3-540-44108-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
64 | Paolo Ciancarini, Francesco Franzè, Cecilia Mascolo |
Using a coordination language to specify and analyze systems containing mobile components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 9(2), pp. 167-198, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
64 | Felice Balarin, Massimiliano Chiodo, Attila Jurecska, Luciano Lavagno, Bassam Tabbara, Alberto L. Sangiovanni-Vincentelli |
Automatic Generation of a Real-Time Operating System for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Fifth International Workshop on Hardware/Software Codesign, CODES/CASHE 1997, March 24-26, 1997, Braunschweig, Germany, pp. 95-100, 1997, IEEE Computer Society, 0-8186-7895-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
scheduling, Real-Time Operating Systems, co-synthesis |
64 | Paolo Ciancarini |
Coordinating Rule-Based Software Processes with ESP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 2(3), pp. 203-227, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
multiuser programming environment, concurrency, logic programming, software process, software process modeling, rule-based programming |
52 | Gordana Dodig-Crnkovic, Virginia Horniak |
Togetherness and respect: ethical concerns of privacy in Global Web Societies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 20(3), pp. 372-383, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Cyberethics, E-polis ethics, Legitimate by design, Disclosive ethics, Intentional design for democracy, Privacy |
33 | Alexandros Gazis, Eleftheria Katsiri |
E-polis: A serious game for the gamification of sociological surveys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.14680, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Christopher T. Small, Ivan Vendrov, Esin Durmus, Hadjar Homaei, Elizabeth Barry, Julien Cornebise, Ted Suzman, Deep Ganguli, Colin Megill |
Opportunities and Risks of LLMs for Scalable Deliberation with Polis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.11932, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Alessandro Seravalli, Mariaelena Busani, Simone Venturi, Arianna Brutti, Carlo Petrovich, Angelo Frascella, Fabrizio Paolucci, Marco Di Felice, Michele Lombardi 0001, Elena Bellodi, Riccardo Zese, Francesco Bertasi, Elia Balugani, Alket Cecaj, Rita Gamberini, Marco Mamei, Marco Picone |
Towards Smart Cities for Tourism: the POLIS-EYE Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC2 ![In: IEEE International Smart Cities Conference, ISC2 2022, Pafos, Cyprus, September 26-29, 2022, pp. 1-7, 2022, IEEE, 978-1-6654-8561-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Carol Martínez, Carlos Sampedro 0001, Aneesh Chauhan, Jean-François Collumeau, Pascual Campoy |
The Power Line Inspection Software (PoLIS): A versatile system for automating power line inspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 71, pp. 293-314, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Joanna S. Smith, Szymon Rusinkiewicz |
Modeling the Past: Digital Technologies and Excavations in Polis, Cyprus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroMed ![In: Progress in Cultural Heritage Preservation - 4th International Conference, EuroMed 2012, Limassol, Cyprus, October 29 - November 3, 2012. Proceedings, pp. 414-422, 2012, Springer, 978-3-642-34233-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Jan Frederik Forst |
POLIS : a probabilistic summarisation logic for structured documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
33 | Gérard Berry, Ellen Sentovich |
An Implementation of Constructive Synchronous Programs in POLIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 17(2), pp. 135-161, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Christiane Gierke |
Techno(krato)polis: über die Instrumentalisierung der Medien und den Verlust des öffentlichen Diskurses innerhalb der Marktstrategien politisch-industrieller Interessenkonglomerate am Beispiel der Historie von HDTV und DISB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
33 | Paolo Ciancarini |
PoliS: a programming model for multiple tuple spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991, pp. 44-51, 1991, IEEE Computer Society, 978-0-8186-2320-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
33 | Bärbel Naumann |
Softwareentwicklung für die Echtzeitverarbeitung experimenteller Daten und für die Experimentmodellierung am Spektrometer "ALPHA-POLIS". ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1990 |
RDF |
|
33 | David Menhennet, Jane Wainwright |
'POLIS' in Parliament: Computer‐based Information Retrieval in the House of Commons Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Documentation ![In: J. Documentation 38(2), pp. 72-93, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Feng Lin 0001, Le Yi Wang, Gang George Yin, Michael P. Polis, Wen Chen 0007 |
On Detectability of a Class of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(9), pp. 5509-5521, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Le Yi Wang, George Yin 0001, Feng Lin 0001, Michael P. Polis, Wen Chen 0007 |
Stochastic Observability and Convergent Analog State Estimation of Randomly Switched Linear Systems With Unobservable Subsystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(2), pp. 898-911, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Le Yi Wang, Gang George Yin, Feng Lin 0001, Michael P. Polis, Wen Chen 0007 |
Joint Estimation of Continuous and Discrete States in Randomly Switched Linear Systems With Unobservable Subsystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(10), pp. 6007-6019, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Le Yi Wang, George Yin 0001, Feng Lin 0001, Michael P. Polis, Wen Chen 0007 |
Mean-square convergent continuous state estimation of randomly switched linear systems with unobservable subsystems and stochastic output noises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 156, pp. 111181, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Feng Lin 0001, Le Yi Wang, Wen Chen 0007, Michael P. Polis |
On Observability of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 67(11), pp. 6074-6081, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Arturs Polis, Alexander Ilin |
A Relational Model for One-Shot Classification of Images and Pen Strokes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 501, pp. 1-13, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Feng Lin 0001, Le Yi Wang, Wen Chen 0007, Michael P. Polis |
On Controllability of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 66(7), pp. 3243-3250, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Man Jin, Adam Polis, Jonathan Hartzel |
Algorithms for minimization randomization and the implementation with an R package. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 50(10), pp. 3077-3087, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Arturs Polis, Alexander Ilin |
A Relational Model for One-Shot Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.04313, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
33 | Arturs Polis, Alexander Ilin |
A Relational Model for One-Shot Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESANN ![In: 29th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2021, Online event (Bruges, Belgium), October 6-8, 2021, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Feng Lin 0001, Le Yi Wang, Wen Chen 0007, Michael P. Polis |
Controllability of a Class of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2020 American Control Conference, ACC 2020, Denver, CO, USA, July 1-3, 2020, pp. 3647-3652, 2020, IEEE, 978-1-5386-8266-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
33 | Eyad Sindi, Le Yi Wang, Michael P. Polis, George Yin 0001, Lei Ding 0005 |
Distributed Optimization in DC Microgrids with Subsystem Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSC ![In: 8th International Conference on Systems and Control, ICSC 2019, Marrakesh, Morocco, October 23-25, 2019, pp. 327-332, 2019, IEEE, 978-1-7281-1938-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Thanasis Georgakopoulos, Stéphane Polis |
Teaching & Learning Guide for: The semantic map model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 12(8), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Thanasis Georgakopoulos, Stéphane Polis |
The semantic map model: State of the art and future avenues for linguistic research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 12(2), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Peter Willett 0001, Mari Ostendorf, Michael P. Polis, Rob Reilly |
An Open Letter to the Members of the IEEE Industrial Electronics Technical Community. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 64(2), pp. 900-901, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Peter Willett 0001, Mari Ostendorf, Michael P. Polis, Rob Reilly |
An Open Letter to the Members of the IEEE Industrial Electronics Technical Community. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 13(1), pp. 2-3, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Mingjun Liu, Wenyuan Li 0003, Caisheng Wang, Michael P. Polis, Le Yi Wang, Jian Li |
Reliability Evaluation of Large Scale Battery Energy Storage Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Smart Grid ![In: IEEE Trans. Smart Grid 8(6), pp. 2733-2743, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Bo Zhao 0013, Feng Lin 0001, Caisheng Wang, Xuesong Zhang, Michael P. Polis, Le Yi Wang |
Supervisory Control of Networked Timed Discrete Event Systems and Its Applications to Power Distribution Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Netw. Syst. ![In: IEEE Trans. Control. Netw. Syst. 4(2), pp. 146-158, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Einar Polis |
Structuring analyses of complex enterprise datasets with adaptive morphogenesis methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, ECBS 2017, Larnaca, Cyprus, August 31 - September 01, 2017, pp. 5:1-5:10, 2017, ACM, 978-1-4503-4843-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Arturs Znotins, Kaspars Polis, Roberts Dargis |
Media monitoring system for latvian radio and TV broadcasts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2015, 16th Annual Conference of the International Speech Communication Association, Dresden, Germany, September 6-10, 2015, pp. 732-733, 2015, ISCA. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
33 | Bo Zhao 0013, Feng Lin 0001, Caisheng Wang, Xuesong Zhang, Michael P. Polis, Le Yi Wang |
Power distribution network management using networked control of timed discrete event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014, pp. 5949-5954, 2014, IEEE, 978-1-4799-7746-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Stéphane Polis, Serge Rosmorduc |
Réviser le codage de l'égyptien ancien. Vers un répertoire partagé des signes hiéroglyphiques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Document Numérique ![In: Document Numérique 16(3), pp. 45-67, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Le Yi Wang, Michael P. Polis, Caisheng Wang, Feng Lin 0001 |
Voltage stability and robustness for microgrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 12th European Control Conference, ECC 2013, Zurich, Switzerland, July 17-19, 2013, pp. 2038-2043, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Le Yi Wang, Michael P. Polis, Caisheng Wang, Feng Lin 0001, Gang George Yin |
Voltage robust stability in microgrid power management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, Florence, Italy, December 10-13, 2013, pp. 6928-6933, 2013, IEEE, 978-1-4673-5714-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Le Yi Wang, Michael P. Polis, Gang George Yin, Wen Chen 0007, Yuhong Fu, Chunting Chris Mi |
Battery Cell Identification and SOC Estimation Using String Terminal Voltage Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 61(7), pp. 2925-2935, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Einar Polis |
Value and Viability Considerations in Information Systems Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DB&IS ![In: Databases and Information Systems VI - Selected Papers from the Ninth International Baltic Conference, DB&IS 2010, July 5-7, 2010, Riga, Latvia, pp. 257-270, 2010, IOS Press, 978-1-60750-687-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Ayalvadi J. Ganesh, Peter B. Key, Damien Polis, R. Srikant 0001 |
Congestion notification and probing mechanisms for endpoint admission control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 14(3), pp. 568-578, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
early congestion notification, QoS, admission control, active queue management, probing |
33 | Irina F. Sivergina, Michael P. Polis, Ilya V. Kolmanovsky |
Boundary heat flux estimation in quasi-static thermoelastic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2005, Portland, OR, USA, 8-10 June, 2005, pp. 3888-3893, 2005, IEEE, 0-7803-9098-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Irina F. Sivergina, Michael P. Polis, Ilya V. Kolmanovsky |
Source Identification for Parabolic Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Control. Signals Syst. ![In: Math. Control. Signals Syst. 16(2-3), pp. 141-157, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Irina F. Sivergina, Michael P. Polis |
Comments on "Model-based solution techniques for the source localization problem". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Syst. Technol. ![In: IEEE Trans. Control. Syst. Technol. 10(4), 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Irina F. Sivergina, Michael P. Polis |
Adaptive reconstruction of multiple source intensities for parabolic PDEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2002, Anchorage, Alaska, USA, May 8-10 2002., pp. 1514-1519, 2002, IEEE, 0-7803-7298-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Asen L. Dontchev, Michael P. Polis, Vladimir M. Veliov |
A dual method for parameter identification under deterministic uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 45(7), pp. 1341-1346, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Asen L. Dontchev, Michael P. Polis, Vladimir M. Veliov |
On the Effect of Neglecting Sensor Dynamics in Parameter Identification Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 38(4), pp. 1309-1321, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Anna de Simone, Volker Hesselmann, Axel Klusmann, Georg Polis, Armin Thron, Walter Huber |
Asymmetrie des Planum temporale und Prognose von Aphasien. Methodische Probleme bei der morphometrischen Vermessung anatomischer Hirnstrukturen in dreidimensionalen MRT-Datensätzen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin: Algorithmen, Systeme, Anwendungen, Proceedings des Aachener Workshops am 8. und 9. November 1996, 1996, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
33 | Michael F. Polis, Stephen J. Gifford, David M. McKeown Jr. |
Automating the Construction of Large-Scale Virtual Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 28(7), pp. 57-65, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
33 | Jing Sun 0003, Andrzej W. Olbrot, Michael P. Polis |
Robust stabilization and robust performance using model reference control and modeling error compensation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 39(3), pp. 630-635, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Michael F. Polis, David M. McKeown Jr. |
Iterative TIN generation from digital evaluation models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR 1992, Proceedings, 15-18 June, 1992, Champaign, Illinois, USA, pp. 787-790, 1992, IEEE. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Minyue Fu 0001, Andrzej W. Olbrot, Michael P. Polis |
The edge theorem and graphical tests for robust stability of neutral time-delay systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 27(4), pp. 739-741, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
33 | Richard I. Polis |
European Needs and Attitudes towards Information Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptologia ![In: Cryptologia 12(4), pp. 234-239, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Richard I. Polis |
Information security: Reality and fiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Secur. ![In: Comput. Secur. 3(3), pp. 225-228, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Alain Janelle, Michael P. Polis |
Interactive Hybrid Computer Design of a Signaling System for a Metro Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. ![In: IEEE Trans. Syst. Man Cybern. 10(9), pp. 555-565, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Alain Haurie, Michael P. Polis, Pierre Yansouni |
On the Optimal Control on an Infinite Planning Horizon of Consumption, Pollution, Population, and Natural Resource Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optimization Techniques ![In: 5th Conference on Optimization Techniques, Part 2, Rome, Italy, May 7-11, 1973, pp. 251-263, 1973, Springer, 3-540-06600-4. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
31 | François Clouté, Jean-Noël Contensou, Daniel Esteve, Pascal Pampagnin, Philippe Pons, Yves Favard |
Hardware/software co-design of an avionics communication protocol interface system: an industrial case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Seventh International Workshop on Hardware/Software Codesign, CODES 1999, Rome, Italy, 1999, pp. 48-52, 1999, ACM, 1-58113-132-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
ARINC, POLIS, co-design, Esterel, avionics |
31 | I. D. Bates, E. Graeme Chester, David J. Kinniment |
A statechart based HW/SW codesign system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Seventh International Workshop on Hardware/Software Codesign, CODES 1999, Rome, Italy, 1999, pp. 162-166, 1999, ACM, 1-58113-132-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
CFSMs, POLIS, statecharts |
21 | Ricardo Matheus, Manuella Maia Ribeiro |
Models for citizen engagement in Latin American: case studies of public digital budgeting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEGOV ![In: ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Colombia, November 10-13, 2009, pp. 109-116, 2009, ACM, 978-1-60558-663-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Latin American, citizen engagement, public digital budgeting, e-governance, e-government |
21 | Pavlos S. Efraimidis, George Drosatos, Fotis Nalbadis, Aimilia Tasidou |
Towards Privacy in Personal Data Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Panhellenic Conference on Informatics ![In: Panhellenic Conference on Informatics, PCI 2008, August 28-30, 2008, Samos Island, Greece, Proceedings, pp. 3-7, 2008, IEEE Computer Society, 978-0-7695-3323-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Massimo Baleani, Frank Gennari, Yunjian Jiang, Yatish Patel, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Tenth International Symposium on Hardware/Software Codesign, CODES 2002, Estes Park, Colorado, USA, May 6-8, 2002, pp. 151-156, 2002, ACM, 1-58113-542-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
CSoC, code generation, hw/sw co-design |
21 | Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin |
Scheduling Reactive Task Graphs in Embedded Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May - 1 June 2001, Taipei, Taiwan, pp. 191-201, 2001, IEEE Computer Society, 0-7695-1134-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Luciano Lavagno |
Formal Models for Communication-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, pp. 29-47, 2000, Springer, 3-540-67897-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Felice Balarin, Massimiliano Chiodo |
Software Synthesis for Complex Reactive Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings of the IEEE International Conference On Computer Design, VLSI in Computers and Processors, ICCD '99, Austin, Texas, USA, October 10-13, 1999, pp. 634-639, 1999, IEEE Computer Society, 0-7695-0406-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Antonio Brogi, Jean-Marie Jacquet |
On the Expressiveness of Coordination Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Languages and Models, Third International Conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings, pp. 134-149, 1999, Springer, 3-540-65836-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Luciano Lavagno, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, S. Yee, Alberto L. Sangiovanni-Vincentelli, Kei Suzuki |
A case study in computer-aided codesign of embedded controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Third International Workshop on Hardware/Software Codesign, CODES 1994, Grenoble, France, September 22-24, 1994, pp. 220-224, 1994, IEEE Computer Society, 0-8186-6315-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #68 of 68 (100 per page; Change: )
|
|