|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 24 keywords
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
141 | Bard Bloom, Allan Cheng, Ashvin Dsouza |
Using a Protean Language to Enhance Expressiveness in Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(4), pp. 224-234, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
model checking, verification, Formal methods, specification, process algebra, structured operational semantics |
132 | Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham |
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(3), pp. 301-316, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
PROTEAN, high-level Petri net tool, numerical Petri nets, textual interfaces, exhaustive reachability analysis, directed graph analysis, engineering workstation, verification, protocols, specification, software tools, finite state machines, specification languages, directed graphs, communication protocols, finite automata, graphical interfaces, interactive simulation |
96 | Richard Lai 0001, Ken R. Parker, Tharam S. Dillon |
On Using Protean To Verify ISO FTAM Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings, pp. 126-135, 1990, Springer, 3-540-54477-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
90 | Bard Bloom |
Structured Operational Semantics as a Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 107-117, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
73 | Pawel Pralat |
Protean Graphs with a Variety of Ranking Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOA ![In: Combinatorial Optimization and Applications, Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008. Proceedings, pp. 149-159, 2008, Springer, 978-3-540-85096-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Geoffrey R. Wheeler, Michael C. Wilbur-Ham, Jonathan Billington, J. A. Gilmour |
Protocol analysis using numerical Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers, pp. 435-452, 1985, Springer, 3-540-16480-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
28 | Abu Bakar, Rishabh Goel, Jasper de Winkel, Jason Huang, Saad Ahmed, Bashima Islam, Przemyslaw Pawelczak, Kasim Sinan Yildirim, Josiah D. Hester |
Protean: Adaptive Hardware-Accelerated Intermittent Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GetMobile Mob. Comput. Commun. ![In: GetMobile Mob. Comput. Commun. 27(1), pp. 5-10, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Muhammad Hassan 0004, Chang Hyun Park 0001, David Black-Schaffer |
Protean: Resource-efficient Instruction Prefetching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMSYS ![In: Proceedings of the International Symposium on Memory Systems, MEMSYS 2023, Alexandria, VA, USA, October 2-5, 2023, pp. 22:1-22:13, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Hamidreza Almasi, Rohan Vardekar, Balajee Vamanan |
Protean: Adaptive Management of Shared-Memory in Datacenter Switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: IEEE INFOCOM 2023 - IEEE Conference on Computer Communications, New York City, NY, USA, May 17-20, 2023, pp. 1-10, 2023, IEEE, 979-8-3503-3414-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Iago Bonnici, Abdelkader Gouaïch, Fabien Michel |
Input addition and deletion in reinforcement: towards protean learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 36(1), pp. 4, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Abu Bakar, Rishabh Goel, Jasper de Winkel, Jason Huang, Saad Ahmed, Bashima Islam, Przemyslaw Pawelczak, Kasim Sinan Yildirim, Josiah D. Hester |
Protean: An Energy-Efficient and Heterogeneous Platform for Adaptive and Hardware-Accelerated Battery-Free Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems, SenSys 2022, Boston, Massachusetts, November 6-9, 2022, pp. 207-221, 2022, ACM, 978-1-4503-9886-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Iago Bonnici |
Towards Protean Learning: Accommodating Signature Changes in Artificial Agents. (Vers un apprentissage protéiforme : accommoder les changements de signature des agents artificiels). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
28 | Stephan Krenn, Henrich C. Pöhls, Kai Samelin, Daniel Slamanig |
Fully invisible protean signatures schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Inf. Secur. ![In: IET Inf. Secur. 14(3), pp. 266-285, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Ori Hadary, Luke Marshall, Ishai Menache, Abhisek Pan, Esaias E. Greeff, David Dion, Star Dorminey, Shailesh Joshi, Yang Chen, Mark Russinovich, Thomas Moscibroda |
Protean: VM Allocation Service at Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6, 2020., pp. 845-861, 2020, USENIX Association, 978-1-939133-19-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Shiju Sathyadevan, Krishnashree Achuthan, Robin Doss, Lei Pan 0002 |
Protean Authentication Scheme - A Time-Bound Dynamic KeyGen Authentication Technique for IoT Edge Nodes in Outdoor Deployments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 92419-92435, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Stephan Krenn, Henrich C. Pöhls, Kai Samelin, Daniel Slamanig |
Fully Invisible Protean Signatures Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 39, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Stephan Krenn, Henrich C. Pöhls, Kai Samelin, Daniel Slamanig |
Protean Signature Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2018, pp. 970, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
28 | Stephan Krenn, Henrich C. Pöhls, Kai Samelin, Daniel Slamanig |
Protean Signature Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANS ![In: Cryptology and Network Security - 17th International Conference, CANS 2018, Naples, Italy, September 30 - October 3, 2018, Proceedings, pp. 256-276, 2018, Springer, 978-3-030-00433-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Zbynek Slajchrt |
Object Morphology - A Protean Generalization of Object-Oriented Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIR Workshops ![In: Joint Proceedings of the BIR 2016 Workshops and Doctoral Consortium co-located with 15th International Conference on Perspectives in Business Informatics Research (BIR 2016), Prague, Czech Republic, September 14 - 16, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
28 | Michael A. Laurenzano, Yunqi Zhang, Lingjia Tang, Jason Mars |
Protean Code: Achieving Near-Free Online Code Transformations for Warehouse Scale Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 47th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2014, Cambridge, United Kingdom, December 13-17, 2014, pp. 558-570, 2014, IEEE Computer Society, 978-1-4799-6998-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Kensy Cooperrider, Rafael E. Núñez, James D. Slotta |
The Protean Pointing Gesture: Variation in a Building Block of Human Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 36th Annual Meeting of the Cognitive Science Society, CogSci 2014, Quebec City, Canada, July 23-26, 2014, 2014, cognitivesciencesociety.org, 978-0-9911967-0-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
28 | Anthony Bonato, Jeannette C. M. Janssen, Pawel Pralat |
Geometric Protean Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Math. ![In: Internet Math. 8(1-2), pp. 2-28, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Anthony Bonato, Jeannette C. M. Janssen, Pawel Pralat |
Geometric protean graphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1111.0207, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
28 | Anthony Bonato, Jeannette C. M. Janssen, Pawel Pralat |
The Geometric Protean Model for On-Line Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAW ![In: Algorithms and Models for the Web-Graph - 7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010. Proceedings, pp. 110-121, 2010, Springer, 978-3-642-18008-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Jeannette C. M. Janssen, Pawel Pralat |
Protean graphs with a variety of ranking schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 410(52), pp. 5491-5504, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Pawel Pralat |
The diameter of protean graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 308(15), pp. 3399-3406, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Pawel Pralat, Nicholas C. Wormald |
Growing Protean Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Math. ![In: Internet Math. 4(1), pp. 1-16, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Paul Frenger |
GRANNIE 2: A Ubiquitous, Protean Robotic Guardian Angel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: IEEE Conference on Automation Science and Engineering, CASE 2007, September 22-25, 2007. Scottsdale, Arizona, USA, pp. 857-862, 2007, IEEE, 978-1-4244-1154-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Tomasz Luczak 0001, Pawel Pralat |
Protean Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Math. ![In: Internet Math. 3(1), pp. 21-40, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Sungwon Ha |
The Protean Active Router Architecture and a Scalable Router Mechanism for Load Adaptive Fair Packet Dropping ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
28 | Raghupathy Sivakumar, Narayanan Venkitaraman, Vaduvur Bharghavan |
The Protean Programmable Network Architecture: Design and Initial Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAN ![In: Active Networks, First International Working Conference, IWAN '99, Berlin, Germany, June 30 - July 2, 1999, Proceedings, pp. 37-47, 1999, Springer, 3-540-66238-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Richard Lai 0001 |
Extending PROTEAN with the Partitioning Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aust. Comput. J. ![In: Aust. Comput. J. 28(4), pp. 121-127, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Richard Lai 0001 |
Using PROTEAN for Verifying a Complex Protocol - A Case Study ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 25(9), pp. 1021-1044, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Barbara Hayes-Roth, Bruce G. Buchanan, Olivier Lichtarge, Mike Hewitt, Russ B. Altman, James F. Brinkley, Craig Cornelius, Bruce S. Duncan, Oleg Jardetzky |
PROTEAN: Deriving Protein Structure from Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, PA, USA, August 11-15, 1986. Volume 2: Engineering., pp. 904-909, 1986, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
23 | W. Q. Cheng, Jian Gong, Wei Ding 0001 |
Identifying BT-like P2P Traffic by the Discreteness of Remote Hosts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 15-18 October 2007, Clontarf Castle, Dublin, Ireland, Proceedings, pp. 237-238, 2007, IEEE Computer Society, 0-7695-3000-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
concurrent flows, discreteness of remote hosts, P2P, traffic characteristics, traffic identification |
23 | Damien Joseph, Soon Ang, Sandra Slaughter |
Identifying the prototypical career paths of IT professionals: a sequence and cluster analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2005 ACM SIGMIS CPR conference on Computer personnel research 2005, Atlanta, Georgia, USA, April 14-16, 2005, pp. 94-96, 2005, ACM, 1-59593-011-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
sequence analysis, longitudinal, IT profession, career paths |
23 | D. J. Floreani, Jonathan Billington, A. J. Dadej |
Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 153-171, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Gateway Architecture, Coloured Petri Nets, Protocol Modelling |
23 | Cheng Che Chen, Jaswinder Pal Singh, William B. Poland, Russ B. Altman |
Parallel protein structure determination from uncertain data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '94, Washington, DC, USA, November 14-18, 1994, pp. 570-579, 1994, IEEE Computer Society, 0-8186-6605-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|